Metrics for FastMath test5

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
100%	100%	0%	0%	0%	0%	0%	1

Compiler

Compiled 21 to 10 computations (52.4% saved)

Precisions

Click to see histograms. Total time spent on operations: 0.0ms

ival-mult: 0.0ms (0% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

sample921.0ms (0.6%)

Results

711.0ms

8256×

valid

Precisions

Click to see histograms. Total time spent on operations: 473.0ms

ival-mult: 463.0ms (97.9% of total)

const: 7.0ms (1.5% of total)

backward-pass: 3.0ms (0.6% of total)

Bogosity

preprocess51.0ms (0%)

Algorithm

2×	egg-herbie

Rules

598×	`fma-define`
560×	`fnmadd-define`
520×	`fnmsub-define`
520×	`fmsub-define`
360×	`associate-r`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	19	47
1	83	31
2	332	19
3	805	10
4	1009	10
5	1726	10
6	2195	10
7	2195	10
8	2195	10
0	9	14
1	26	10
2	53	6
3	76	3
4	89	3
5	92	3
0	92	3

Stop Event

1×	iter limit
1×	saturated
1×	saturated

Calls

Call 1

Inputs
(* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)

Outputs
(* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))

Call 2

Inputs

(* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)

(* (* (neg d1) (* (* (* (* (* (neg d1) (* (neg d1) (neg d1))) (neg d1)) (neg d1)) (* (neg d1) (neg d1))) (neg d1))) (neg d1))

(neg (* (* (neg d1) (* (* (* (* (* (neg d1) (* (neg d1) (neg d1))) (neg d1)) (neg d1)) (* (neg d1) (neg d1))) (neg d1))) (neg d1)))

Outputs
(* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)
(pow d1 10)
(* (* (neg d1) (* (* (* (* (* (neg d1) (* (neg d1) (neg d1))) (neg d1)) (neg d1)) (* (neg d1) (neg d1))) (neg d1))) (neg d1))
(pow d1 10)
(neg (* (* (neg d1) (* (* (* (* (* (neg d1) (* (neg d1) (neg d1))) (neg d1)) (neg d1)) (* (neg d1) (neg d1))) (neg d1))) (neg d1)))
(neg (pow d1 10))

Symmetry

(abs d1)

explain132.0ms (0.1%)

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(*.f64 d1 d1)`
-	-	`(.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1)) d1))`
-	-	`(.f64 d1 (.f64 d1 d1))`
-	-	`d1`
-	-	`(.f64 (.f64 d1 (*.f64 d1 d1)) d1)`
-	-	`(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)`
-	-	`(.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))`
-	-	`(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)`
-	-	`(.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)`

Results

89.0ms

512×

valid

Compiler

Compiled 202 to 29 computations (85.6% saved)

Precisions

Click to see histograms. Total time spent on operations: 31.0ms

ival-mult: 31.0ms (98.9% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

eval0.0ms (0%)

Compiler: Compiled 20 to 6 computations (70% saved)

prune25.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
▶	99.9%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))

Status

Accuracy

Program

▶

99.9%

(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

▶

99.9%

(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1))))

Compiler

Compiled 40 to 15 computations (62.5% saved)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Localize:

Found 8 expressions of interest:

New	Metric	Program
✓	cost-diff	(.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))
✓	cost-diff	(.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)
✓	cost-diff	(.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1)) d1))
✓	cost-diff	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
✓	cost-diff	(*.f64 d1 d1)
✓	cost-diff	(.f64 d1 (.f64 d1 d1))
✓	cost-diff	(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
✓	cost-diff	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))

Rules

90×	`-lowering-.f32`
90×	`-lowering-.f64`
56×	`associate-r`
40×	`associate-l`
24×	`pow-lowering-pow.f64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	12	83
1	42	56
2	87	43
3	101	39
4	110	39
5	111	39
0	111	39

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(* (* d1 (* d1 (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
(* d1 (* d1 (* d1 d1)))
d1
(* d1 (* d1 d1))
(* d1 d1)
(* (* d1 (* d1 d1)) (* d1 (* d1 d1)))
(* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)
(* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
d1
(* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)
(* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
(* (* (* d1 (* d1 d1)) d1) d1)
(* (* d1 (* d1 d1)) d1)
(* d1 (* d1 d1))
(* d1 d1)

Outputs
(* (* d1 (* d1 (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(* d1 (* d1 (* d1 d1)))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
d1
(* d1 (* d1 d1))
(.f64 d1 (.f64 d1 d1))
(* d1 d1)
(*.f64 d1 d1)
(* (* d1 (* d1 d1)) (* d1 (* d1 d1)))
(.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))
(* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (.f64 d1 d1)))))
d1
(* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (.f64 d1 d1))))
(* (* (* d1 (* d1 d1)) d1) d1)
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1))))
(* (* d1 (* d1 d1)) d1)
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(* d1 (* d1 d1))
(.f64 d1 (.f64 d1 d1))
(* d1 d1)
(*.f64 d1 d1)

localize69.0ms (0%)

Localize:

Found 8 expressions of interest:

New	Metric	Score	Program
✓	accuracy	99.9%	(.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (.f64 d1 d1))
✓	accuracy	99.9%	(.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)
✓	accuracy	99.9%	(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
✓	accuracy	99.8%	(.f64 d1 (.f64 d1 d1))
✓	accuracy	100.0%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
✓	accuracy	99.9%	(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))
✓	accuracy	99.8%	(.f64 d1 (.f64 d1 d1))

Results

49.0ms

256×

valid

Compiler

Compiled 137 to 13 computations (90.5% saved)

Precisions

Click to see histograms. Total time spent on operations: 18.0ms

ival-mult: 18.0ms (97.6% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

series7.0ms (0%)

Counts

10 → 120

Calls

Call 1

Inputs
#<alt (* (* d1 (* d1 (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))>
#<alt (* d1 (* d1 (* d1 d1)))>
#<alt (* d1 (* d1 d1))>
#<alt (* d1 d1)>
#<alt (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)>
#<alt (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))>
#<alt (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)>
#<alt (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))>
#<alt (* (* d1 (* d1 d1)) (* d1 (* d1 d1)))>
#<alt (* (* d1 (* d1 d1)) d1)>

Outputs
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>

Calls

30 calls:

Time	Variable		Point	Expression
1.0ms	d1	@	0	(* (* d1 (* d1 (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
0.0ms	d1	@	0	(* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
0.0ms	d1	@	0	(* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
0.0ms	d1	@	-inf	(* d1 (* d1 d1))
0.0ms	d1	@	inf	(* (* d1 (* d1 (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))

rewrite50.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Rules

736×	`sum5-define`
686×	`sum4-define`
510×	`unpow-prod-down`
506×	`prod-exp`
448×	`prod-diff`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	12	100
1	45	70
2	112	30
3	286	30
4	1681	10
0	9493	10

Stop Event

1×	iter limit
1×	node limit

Counts

10 → 20

Calls

Call 1

Inputs
(* (* d1 (* d1 (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
(* d1 (* d1 (* d1 d1)))
(* d1 (* d1 d1))
(* d1 d1)
(* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)
(* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
(* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)
(* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
(* (* d1 (* d1 d1)) (* d1 (* d1 d1)))
(* (* d1 (* d1 d1)) d1)

Outputs
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1

simplify17.0ms (0%)

Algorithm

1×	egg-herbie

Rules

16×	`pow-lowering-pow.f64`
16×	`pow-lowering-pow.f32`
6×	`-lowering-.f32`
6×	`-lowering-.f64`
2×	`cube-mult`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	360
1	20	348
2	23	348
3	25	348
0	25	348

Stop Event

1×	iter limit
1×	saturated

Counts

120 → 120

Calls

Call 1

Inputs
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)

Outputs
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))

eval21.0ms (0%)

Compiler: Compiled 3263 to 102 computations (96.9% saved)

prune15.0ms (0%)

Pruning

17 alts after pruning (15 fresh and 2 done)

	Pruned	Kept	Total
New	223	15	238
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	223	17	240

Accuracy

100.0%

Counts

240 → 17

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(pow.f64 d1 #s(literal 10 binary64))
✓	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
	88.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) d1) d1)) d1)
	88.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) (.f64 d1 d1)) d1)) d1)
▶	87.6%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
▶	86.0%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1)) d1)
✓	99.9%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
	88.8%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1)))
	87.6%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
	80.0%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) d1)
	88.8%	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
▶	76.1%	(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
	87.6%	(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
	65.8%	(.f64 (.f64 d1 d1) d1)
	86.0%	(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
	52.6%	(*.f64 d1 d1)
▶	5.5%	d1

Compiler

Compiled 404 to 165 computations (59.2% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Localize:

Found 12 expressions of interest:

New	Metric	Program
✓	cost-diff	(.f64 (.f64 (.f64 d1 d1) d1) (.f64 d1 d1))
✓	cost-diff	(.f64 (.f64 (.f64 (.f64 d1 d1) d1) (*.f64 d1 d1)) d1)
✓	cost-diff	(.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) (.f64 d1 d1)) d1))
✓	cost-diff	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
✓	cost-diff	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
✓	cost-diff	(.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1)
✓	cost-diff	(.f64 d1 (.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) d1))
✓	cost-diff	(.f64 (.f64 d1 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1)) d1)
✓	cost-diff	(*.f64 d1 d1)
✓	cost-diff	(.f64 d1 (.f64 d1 d1))
✓	cost-diff	(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
✓	cost-diff	(pow.f64 d1 #s(literal 10 binary64))

Rules

56×	`-lowering-.f32`
56×	`-lowering-.f64`
20×	`associate-r`
18×	`pow-lowering-pow.f64`
18×	`pow-lowering-pow.f32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	15	80
1	33	59
2	50	50
3	62	48
4	69	48
0	69	48

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(pow d1 10)
d1
10
d1
(* (* d1 (* d1 d1)) d1)
(* d1 (* d1 d1))
d1
(* d1 d1)
(* (* d1 (* (* (* d1 d1) (* d1 d1)) d1)) d1)
(* d1 (* (* (* d1 d1) (* d1 d1)) d1))
d1
(* (* (* d1 d1) (* d1 d1)) d1)
(* (* d1 d1) (* d1 d1))
(* d1 d1)
(* (* d1 (* (* (* (* d1 d1) d1) (* d1 d1)) d1)) d1)
(* d1 (* (* (* (* d1 d1) d1) (* d1 d1)) d1))
d1
(* (* (* (* d1 d1) d1) (* d1 d1)) d1)
(* (* (* d1 d1) d1) (* d1 d1))
(* (* d1 d1) d1)
(* d1 d1)

Outputs
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
d1
10
#s(literal 10 binary64)
d1
(* (* d1 (* d1 d1)) d1)
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(* d1 (* d1 d1))
(.f64 d1 (.f64 d1 d1))
d1
(* d1 d1)
(*.f64 d1 d1)
(* (* d1 (* (* (* d1 d1) (* d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (.f64 d1 d1))))
(* d1 (* (* (* d1 d1) (* d1 d1)) d1))
(.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))
d1
(* (* (* d1 d1) (* d1 d1)) d1)
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1))))
(* (* d1 d1) (* d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(* d1 d1)
(*.f64 d1 d1)
(* (* d1 (* (* (* (* d1 d1) d1) (* d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))
(* d1 (* (* (* (* d1 d1) d1) (* d1 d1)) d1))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (.f64 d1 d1))))
d1
(* (* (* (* d1 d1) d1) (* d1 d1)) d1)
(.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))
(* (* (* d1 d1) d1) (* d1 d1))
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1))))
(* (* d1 d1) d1)
(.f64 d1 (.f64 d1 d1))
(* d1 d1)
(*.f64 d1 d1)

localize86.0ms (0.1%)

Localize:

Found 12 expressions of interest:

New	Metric	Score	Program
✓	accuracy	99.9%	(.f64 (.f64 (.f64 d1 d1) d1) (.f64 d1 d1))
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
✓	accuracy	99.9%	(.f64 (.f64 (.f64 (.f64 d1 d1) d1) (*.f64 d1 d1)) d1)
✓	accuracy	99.8%	(.f64 (.f64 d1 d1) d1)
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1)) d1)
✓	accuracy	99.9%	(.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1)
✓	accuracy	99.9%	(.f64 d1 (.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) d1))
✓	accuracy	99.8%	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
✓	accuracy	100.0%	(*.f64 d1 d1)
✓	accuracy	99.9%	(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
✓	accuracy	99.8%	(.f64 d1 (.f64 d1 d1))
✓	accuracy	100.0%	(pow.f64 d1 #s(literal 10 binary64))

Results

65.0ms

256×

valid

Compiler

Compiled 125 to 16 computations (87.2% saved)

Precisions

Click to see histograms. Total time spent on operations: 26.0ms

ival-mult: 20.0ms (78.2% of total)

ival-pow: 5.0ms (19.6% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

series3.0ms (0%)

Counts

13 → 156

Calls

Call 1

Inputs
#<alt (pow d1 10)>
#<alt (* (* d1 (* d1 d1)) d1)>
#<alt (* d1 (* d1 d1))>
#<alt (* d1 d1)>
#<alt (* (* d1 (* (* (* d1 d1) (* d1 d1)) d1)) d1)>
#<alt (* d1 (* (* (* d1 d1) (* d1 d1)) d1))>
#<alt (* (* (* d1 d1) (* d1 d1)) d1)>
#<alt (* (* d1 d1) (* d1 d1))>
#<alt (* (* d1 (* (* (* (* d1 d1) d1) (* d1 d1)) d1)) d1)>
#<alt (* d1 (* (* (* (* d1 d1) d1) (* d1 d1)) d1))>
#<alt (* (* (* (* d1 d1) d1) (* d1 d1)) d1)>
#<alt (* (* (* d1 d1) d1) (* d1 d1))>
#<alt (* (* d1 d1) d1)>

Outputs
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>

Calls

39 calls:

Time	Variable		Point	Expression
0.0ms	d1	@	0	(* (* (* d1 d1) (* d1 d1)) d1)
0.0ms	d1	@	-inf	(* (* d1 (* (* (* (* d1 d1) d1) (* d1 d1)) d1)) d1)
0.0ms	d1	@	inf	(* (* (* d1 d1) (* d1 d1)) d1)
0.0ms	d1	@	-inf	(* (* (* d1 d1) (* d1 d1)) d1)
0.0ms	d1	@	inf	(* (* d1 (* (* (* (* d1 d1) d1) (* d1 d1)) d1)) d1)

rewrite42.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Rules

646×	`sum4-define`
632×	`sum5-define`
620×	`unpow-prod-down`
540×	`prod-exp`
400×	`prod-diff`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	15	39
1	43	39
2	100	39
3	291	39
4	1602	13
0	8866	13

Stop Event

1×	iter limit
1×	node limit

Counts

13 → 26

Calls

Call 1

Inputs
(pow d1 10)
(* (* d1 (* d1 d1)) d1)
(* d1 (* d1 d1))
(* d1 d1)
(* (* d1 (* (* (* d1 d1) (* d1 d1)) d1)) d1)
(* d1 (* (* (* d1 d1) (* d1 d1)) d1))
(* (* (* d1 d1) (* d1 d1)) d1)
(* (* d1 d1) (* d1 d1))
(* (* d1 (* (* (* (* d1 d1) d1) (* d1 d1)) d1)) d1)
(* d1 (* (* (* (* d1 d1) d1) (* d1 d1)) d1))
(* (* (* (* d1 d1) d1) (* d1 d1)) d1)
(* (* (* d1 d1) d1) (* d1 d1))
(* (* d1 d1) d1)

Outputs
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1

simplify16.0ms (0%)

Algorithm

1×	egg-herbie

Rules

16×	`pow-lowering-pow.f64`
16×	`pow-lowering-pow.f32`
6×	`-lowering-.f32`
6×	`-lowering-.f64`
2×	`cube-mult`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	468
1	20	456
2	23	456
3	25	456
0	25	456

Stop Event

1×	iter limit
1×	saturated

Counts

156 → 156

Calls

Call 1

Inputs
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)

Outputs
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))

eval44.0ms (0%)

Compiler: Compiled 1871 to 71 computations (96.2% saved)

prune13.0ms (0%)

Pruning

19 alts after pruning (12 fresh and 7 done)

	Pruned	Kept	Total
New	236	2	238
Fresh	0	10	10
Picked	0	5	5
Done	0	2	2
Total	236	19	255

Accuracy

100.0%

Counts

255 → 19

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 d1 #s(literal 10 binary64))
✓	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
	88.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) d1) d1)) d1)
	88.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) (.f64 d1 d1)) d1)) d1)
✓	87.6%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
	86.0%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1)) d1)
✓	86.0%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1)) d1)
	82.7%	(.f64 (.f64 d1 (.f64 (.f64 (*.f64 d1 d1) d1) d1)) d1)
✓	99.9%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
	88.8%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1)))
	87.6%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
▶	80.0%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) d1)
▶	88.8%	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
✓	76.1%	(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
▶	87.6%	(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
	65.8%	(.f64 (.f64 d1 d1) d1)
▶	86.0%	(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
▶	52.6%	(*.f64 d1 d1)
✓	5.5%	d1

Compiler

Compiled 412 to 170 computations (58.7% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Localize:

Found 17 expressions of interest:

New	Metric	Program
✓	cost-diff	(.f64 d1 (.f64 d1 d1))
✓	cost-diff	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))
✓	cost-diff	(*.f64 d1 d1)
✓	cost-diff	(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
✓	cost-diff	(*.f64 d1 d1)
✓	cost-diff	(.f64 d1 (.f64 d1 d1))
✓	cost-diff	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))
✓	cost-diff	(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
✓	cost-diff	(*.f64 d1 d1)
✓	cost-diff	(.f64 d1 (.f64 d1 d1))
✓	cost-diff	(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
✓	cost-diff	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) d1)
✓	cost-diff	(*.f64 d1 d1)
✓	cost-diff	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))
✓	cost-diff	(*.f64 d1 d1)
✓	cost-diff	(.f64 d1 (.f64 d1 d1))
✓	cost-diff	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))

Rules

72×	`-lowering-.f32`
72×	`-lowering-.f64`
48×	`associate-r`
20×	`pow-lowering-pow.f64`
20×	`pow-lowering-pow.f32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	9	69
1	33	58
2	64	53
3	76	51
4	81	51
0	81	51

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
(* d1 (* d1 d1))
d1
(* d1 d1)
(* (* d1 (* d1 d1)) (* d1 (* d1 d1)))
(* d1 d1)
d1
(* (* d1 (* d1 (* d1 d1))) d1)
(* d1 (* d1 (* d1 d1)))
d1
(* d1 (* d1 d1))
(* d1 d1)
(* d1 (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
d1
(* (* d1 (* d1 d1)) (* d1 (* d1 d1)))
(* d1 (* d1 d1))
(* d1 d1)
(* (* d1 d1) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
(* d1 d1)
d1
(* (* d1 (* d1 d1)) (* d1 (* d1 d1)))
(* d1 (* d1 d1))

Outputs
(* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1)))))
(* d1 (* d1 d1))
(.f64 d1 (.f64 d1 d1))
d1
(* d1 d1)
(*.f64 d1 d1)
(* (* d1 (* d1 d1)) (* d1 (* d1 d1)))
(.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1))))
(* d1 d1)
(*.f64 d1 d1)
d1
(* (* d1 (* d1 (* d1 d1))) d1)
(.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1)))
(* d1 (* d1 (* d1 d1)))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
d1
(* d1 (* d1 d1))
(.f64 d1 (.f64 d1 d1))
(* d1 d1)
(*.f64 d1 d1)
(* d1 (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1))))
d1
(* (* d1 (* d1 d1)) (* d1 (* d1 d1)))
(.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1))))
(* d1 (* d1 d1))
(.f64 d1 (.f64 d1 d1))
(* d1 d1)
(*.f64 d1 d1)
(* (* d1 d1) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
(.f64 d1 (.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1)))))
(* d1 d1)
(*.f64 d1 d1)
d1
(* (* d1 (* d1 d1)) (* d1 (* d1 d1)))
(.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1))))
(* d1 (* d1 d1))
(.f64 d1 (.f64 d1 d1))

localize79.0ms (0.1%)

Localize:

Found 17 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(*.f64 d1 d1)
✓	accuracy	99.9%	(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))
✓	accuracy	99.8%	(.f64 d1 (.f64 d1 d1))
✓	accuracy	100.0%	(*.f64 d1 d1)
✓	accuracy	99.9%	(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))
✓	accuracy	99.8%	(.f64 d1 (.f64 d1 d1))
✓	accuracy	100.0%	(*.f64 d1 d1)
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) d1)
✓	accuracy	99.9%	(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
✓	accuracy	99.8%	(.f64 d1 (.f64 d1 d1))
✓	accuracy	100.0%	(*.f64 d1 d1)
✓	accuracy	100.0%	(*.f64 d1 d1)
✓	accuracy	100.0%	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))
✓	accuracy	99.8%	(.f64 d1 (.f64 d1 d1))

Results

54.0ms

256×

valid

Compiler

Compiled 136 to 10 computations (92.6% saved)

Precisions

Click to see histograms. Total time spent on operations: 16.0ms

ival-mult: 15.0ms (95.2% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

series1.0ms (0%)

Counts

8 → 96

Calls

Call 1

Inputs
#<alt (* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))>
#<alt (* d1 (* d1 d1))>
#<alt (* d1 d1)>
#<alt (* (* d1 (* d1 d1)) (* d1 (* d1 d1)))>
#<alt (* (* d1 (* d1 (* d1 d1))) d1)>
#<alt (* d1 (* d1 (* d1 d1)))>
#<alt (* d1 (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))>
#<alt (* (* d1 d1) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))>

Outputs
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>

Calls

24 calls:

Time	Variable		Point	Expression
0.0ms	d1	@	-inf	(* (* d1 d1) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
0.0ms	d1	@	0	(* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
0.0ms	d1	@	inf	(* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
0.0ms	d1	@	-inf	(* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
0.0ms	d1	@	inf	(* (* d1 d1) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))

rewrite40.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Rules

1414×	`prod-exp`
722×	`sum4-define`
658×	`sum5-define`
560×	`unpow-prod-down`
448×	`prod-diff`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	9	40
1	36	24
2	104	24
3	286	24
4	1466	8
0	10217	8

Stop Event

1×	iter limit
1×	node limit

Counts

8 → 16

Calls

Call 1

Inputs
(* (* d1 (* d1 d1)) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
(* d1 (* d1 d1))
(* d1 d1)
(* (* d1 (* d1 d1)) (* d1 (* d1 d1)))
(* (* d1 (* d1 (* d1 d1))) d1)
(* d1 (* d1 (* d1 d1)))
(* d1 (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))
(* (* d1 d1) (* (* d1 (* d1 d1)) (* d1 (* d1 d1))))

Outputs
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1

simplify12.0ms (0%)

Algorithm

1×	egg-herbie

Rules

16×	`pow-lowering-pow.f64`
16×	`pow-lowering-pow.f32`
6×	`-lowering-.f32`
6×	`-lowering-.f64`
2×	`cube-mult`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	288
1	20	276
2	23	276
3	25	276
0	25	276

Stop Event

1×	iter limit
1×	saturated

Counts

96 → 96

Calls

Call 1

Inputs
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)

Outputs
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))

eval32.0ms (0%)

Compiler: Compiled 3897 to 66 computations (98.3% saved)

prune21.0ms (0%)

Pruning

24 alts after pruning (12 fresh and 12 done)

	Pruned	Kept	Total
New	359	5	364
Fresh	0	7	7
Picked	0	5	5
Done	0	7	7
Total	359	24	383

Accuracy

100.0%

Counts

383 → 24

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 d1 #s(literal 10 binary64))
✓	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
	88.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) d1) d1)) d1)
	88.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) (.f64 d1 d1)) d1)) d1)
✓	87.6%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
▶	86.0%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1)) d1)
✓	86.0%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1)) d1)
	82.7%	(.f64 (.f64 d1 (.f64 (.f64 (*.f64 d1 d1) d1) d1)) d1)
✓	99.9%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
▶	88.8%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1)))
	87.6%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
✓	80.0%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) d1)
✓	88.8%	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
	87.6%	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
	86.0%	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) d1))
✓	76.1%	(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
✓	87.6%	(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
▶	86.0%	(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1)))
▶	82.7%	(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
▶	65.8%	(.f64 (.f64 d1 d1) d1)
✓	86.0%	(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
	82.7%	(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
✓	52.6%	(*.f64 d1 d1)
✓	5.5%	d1

Compiler

Compiled 486 to 198 computations (59.3% saved)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Localize:

Found 18 expressions of interest:

New	Metric	Program
✓	cost-diff	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
✓	cost-diff	(.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1)
✓	cost-diff	(.f64 d1 (.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) d1))
✓	cost-diff	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1)) d1)
✓	cost-diff	(.f64 d1 (.f64 d1 d1))
✓	cost-diff	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1))
✓	cost-diff	(*.f64 d1 d1)
✓	cost-diff	(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1)))
✓	cost-diff	(.f64 d1 (.f64 d1 d1))
✓	cost-diff	(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
✓	cost-diff	(*.f64 d1 d1)
✓	cost-diff	(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
✓	cost-diff	(*.f64 d1 d1)
✓	cost-diff	(.f64 (.f64 d1 d1) d1)
✓	cost-diff	(*.f64 d1 d1)
✓	cost-diff	(.f64 d1 (.f64 d1 d1))
✓	cost-diff	(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
✓	cost-diff	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1)))

Rules

72×	`-lowering-.f32`
72×	`-lowering-.f64`
36×	`associate-r`
22×	`associate-l`
20×	`pow-lowering-pow.f64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	14	109
1	41	82
2	64	69
3	80	63
4	87	63
5	88	63
0	88	63

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(* (* d1 (* d1 (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1)))
(* d1 (* d1 (* d1 d1)))
d1
(* d1 (* d1 d1))
(* d1 d1)
(* (* d1 (* d1 d1)) (* d1 d1))
(* (* d1 d1) d1)
(* d1 d1)
d1
(* (* d1 d1) (* (* d1 (* d1 d1)) d1))
(* d1 d1)
d1
(* (* d1 (* d1 d1)) d1)
(* d1 (* d1 d1))
(* (* d1 d1) (* (* d1 (* d1 d1)) (* d1 d1)))
(* d1 d1)
d1
(* (* d1 (* d1 d1)) (* d1 d1))
(* d1 (* d1 d1))
(* (* d1 (* (* (* (* d1 d1) d1) d1) d1)) d1)
(* d1 (* (* (* (* d1 d1) d1) d1) d1))
d1
(* (* (* (* d1 d1) d1) d1) d1)
(* (* (* d1 d1) d1) d1)
(* (* d1 d1) d1)
(* d1 d1)

Outputs
(* (* d1 (* d1 (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1)))
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (.f64 d1 d1)))))
(* d1 (* d1 (* d1 d1)))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
d1
(* d1 (* d1 d1))
(.f64 d1 (.f64 d1 d1))
(* d1 d1)
(*.f64 d1 d1)
(* (* d1 (* d1 d1)) (* d1 d1))
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1))))
(* (* d1 d1) d1)
(.f64 d1 (.f64 d1 d1))
(* d1 d1)
(*.f64 d1 d1)
d1
(* (* d1 d1) (* (* d1 (* d1 d1)) d1))
(.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))
(* d1 d1)
(*.f64 d1 d1)
d1
(* (* d1 (* d1 d1)) d1)
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(* d1 (* d1 d1))
(.f64 d1 (.f64 d1 d1))
(* (* d1 d1) (* (* d1 (* d1 d1)) (* d1 d1)))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (.f64 d1 d1))))
(* d1 d1)
(*.f64 d1 d1)
d1
(* (* d1 (* d1 d1)) (* d1 d1))
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1))))
(* d1 (* d1 d1))
(.f64 d1 (.f64 d1 d1))
(* (* d1 (* (* (* (* d1 d1) d1) d1) d1)) d1)
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (.f64 d1 d1))))
(* d1 (* (* (* (* d1 d1) d1) d1) d1))
(.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))
d1
(* (* (* (* d1 d1) d1) d1) d1)
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1))))
(* (* (* d1 d1) d1) d1)
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(* (* d1 d1) d1)
(.f64 d1 (.f64 d1 d1))
(* d1 d1)
(*.f64 d1 d1)

localize102.0ms (0.1%)

Localize:

Found 18 expressions of interest:

New	Metric	Score	Program
✓	accuracy	99.9%	(.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1)
✓	accuracy	99.9%	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
✓	accuracy	99.9%	(.f64 d1 (.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) d1))
✓	accuracy	99.8%	(.f64 (.f64 d1 d1) d1)
✓	accuracy	100.0%	(*.f64 d1 d1)
✓	accuracy	99.9%	(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1)))
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1))
✓	accuracy	99.8%	(.f64 d1 (.f64 d1 d1))
✓	accuracy	100.0%	(*.f64 d1 d1)
✓	accuracy	99.9%	(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
✓	accuracy	99.9%	(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
✓	accuracy	99.8%	(.f64 d1 (.f64 d1 d1))
✓	accuracy	100.0%	(*.f64 d1 d1)
✓	accuracy	99.8%	(.f64 (.f64 d1 d1) d1)
✓	accuracy	100.0%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1)))
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1))
✓	accuracy	99.9%	(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
✓	accuracy	99.8%	(.f64 d1 (.f64 d1 d1))

Results

75.0ms

256×

valid

Compiler

Compiled 160 to 15 computations (90.6% saved)

Precisions

Click to see histograms. Total time spent on operations: 21.0ms

ival-mult: 21.0ms (99% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

series2.0ms (0%)

Counts

13 → 156

Calls

Call 1

Inputs
#<alt (* (* d1 (* d1 (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1)))>
#<alt (* d1 (* d1 (* d1 d1)))>
#<alt (* d1 (* d1 d1))>
#<alt (* d1 d1)>
#<alt (* (* d1 d1) d1)>
#<alt (* (* d1 d1) (* (* d1 (* d1 d1)) d1))>
#<alt (* (* d1 (* d1 d1)) d1)>
#<alt (* (* d1 d1) (* (* d1 (* d1 d1)) (* d1 d1)))>
#<alt (* (* d1 (* d1 d1)) (* d1 d1))>
#<alt (* (* d1 (* (* (* (* d1 d1) d1) d1) d1)) d1)>
#<alt (* d1 (* (* (* (* d1 d1) d1) d1) d1))>
#<alt (* (* (* (* d1 d1) d1) d1) d1)>
#<alt (* (* (* d1 d1) d1) d1)>

Outputs
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>

Calls

39 calls:

Time	Variable		Point	Expression
0.0ms	d1	@	-inf	(* (* d1 (* d1 (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1)))
0.0ms	d1	@	0	(* (* d1 (* d1 (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1)))
0.0ms	d1	@	inf	(* (* d1 (* d1 (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1)))
0.0ms	d1	@	-inf	(* (* d1 (* (* (* (* d1 d1) d1) d1) d1)) d1)
0.0ms	d1	@	-inf	(* (* d1 d1) (* (* d1 (* d1 d1)) (* d1 d1)))

rewrite54.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Rules

1936×	`fma-define`
1876×	`prod-exp`
1320×	`pow-exp`
940×	`fmsub-define`
940×	`fmm-def`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	14	156
1	43	91
2	85	39
3	204	39
4	1040	39
5	4750	13
0	10373	13

Stop Event

1×	iter limit
1×	node limit

Counts

13 → 26

Calls

Call 1

Inputs
(* (* d1 (* d1 (* d1 d1))) (* (* d1 (* d1 d1)) (* d1 d1)))
(* d1 (* d1 (* d1 d1)))
(* d1 (* d1 d1))
(* d1 d1)
(* (* d1 d1) d1)
(* (* d1 d1) (* (* d1 (* d1 d1)) d1))
(* (* d1 (* d1 d1)) d1)
(* (* d1 d1) (* (* d1 (* d1 d1)) (* d1 d1)))
(* (* d1 (* d1 d1)) (* d1 d1))
(* (* d1 (* (* (* (* d1 d1) d1) d1) d1)) d1)
(* d1 (* (* (* (* d1 d1) d1) d1) d1))
(* (* (* (* d1 d1) d1) d1) d1)
(* (* (* d1 d1) d1) d1)

Outputs
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1

simplify20.0ms (0%)

Algorithm

1×	egg-herbie

Rules

14×	`pow-lowering-pow.f64`
14×	`pow-lowering-pow.f32`
6×	`-lowering-.f32`
6×	`-lowering-.f64`
2×	`cube-mult`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	468
1	18	456
2	21	456
3	23	456
0	23	456

Stop Event

1×	iter limit
1×	saturated

Counts

156 → 156

Calls

Call 1

Inputs
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)

Outputs
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))

eval34.0ms (0%)

Compiler: Compiled 3747 to 82 computations (97.8% saved)

prune28.0ms (0%)

Pruning

27 alts after pruning (10 fresh and 17 done)

	Pruned	Kept	Total
New	374	4	378
Fresh	1	6	7
Picked	0	5	5
Done	0	12	12
Total	375	27	402

Accuracy

100.0%

Counts

402 → 27

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 d1 #s(literal 10 binary64))
✓	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
	88.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) d1) d1)) d1)
	88.8%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) (.f64 d1 d1)) d1)) d1)
✓	87.6%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
✓	86.0%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1)) d1)
✓	86.0%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1)) d1)
	82.7%	(.f64 (.f64 d1 (.f64 (.f64 (*.f64 d1 d1) d1) d1)) d1)
✓	99.9%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
✓	88.8%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1)))
	87.6%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
	86.0%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 d1)))
✓	80.0%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) d1)
✓	88.8%	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
	87.6%	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
✓	76.1%	(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
✓	87.6%	(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
✓	86.0%	(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1)))
✓	82.7%	(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
	82.7%	(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) (*.f64 d1 d1)))
	80.0%	(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) d1))
	76.1%	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
✓	65.8%	(.f64 (.f64 d1 d1) d1)
✓	86.0%	(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
	82.7%	(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
✓	52.6%	(*.f64 d1 d1)
✓	5.5%	d1

Compiler

Compiled 679 to 191 computations (71.9% saved)

regimes22.0ms (0%)

Counts

28 → 1

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)
(.f64 (.f64 d1 d1) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) d1)
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
(.f64 (.f64 d1 (.f64 (.f64 (*.f64 d1 d1) d1) d1)) d1)
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1)) d1)
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) (.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) d1) d1)) d1)
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(pow.f64 d1 #s(literal 10 binary64))

Outputs
(pow.f64 d1 #s(literal 10 binary64))

Calls

2 calls:

14.0ms	d1
6.0ms	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Results

Accuracy	Segments	Branch
100.0%	1	`d1`
100.0%	1	`(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)`

Compiler

Compiled 22 to 10 computations (54.5% saved)

regimes17.0ms (0%)

Counts

27 → 1

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)
(.f64 (.f64 d1 d1) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) d1)
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
(.f64 (.f64 d1 (.f64 (.f64 (*.f64 d1 d1) d1) d1)) d1)
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1)) d1)
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) (.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) d1) d1)) d1)
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Outputs
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Calls

2 calls:

9.0ms	d1
6.0ms	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Results

Accuracy	Segments	Branch
99.9%	1	`d1`
99.9%	1	`(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)`

Compiler

Compiled 22 to 10 computations (54.5% saved)

regimes15.0ms (0%)

Counts

26 → 1

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)
(.f64 (.f64 d1 d1) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) d1)
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
(.f64 (.f64 d1 (.f64 (.f64 (*.f64 d1 d1) d1) d1)) d1)
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1)) d1)
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) (.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) d1) d1)) d1)
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))

Outputs
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))

Calls

1 calls:

8.0ms

d1

Results

Accuracy	Segments	Branch
99.9%	1	`d1`

Compiler

Compiled 2 to 1 computations (50% saved)

regimes9.0ms (0%)

Counts

25 → 1

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)
(.f64 (.f64 d1 d1) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) d1)
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
(.f64 (.f64 d1 (.f64 (.f64 (*.f64 d1 d1) d1) d1)) d1)
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1)) d1)
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) (.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) d1) d1)) d1)

Outputs
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))

Calls

1 calls:

7.0ms

d1

Results

Accuracy	Segments	Branch
88.8%	1	`d1`

Compiler

Compiled 2 to 1 computations (50% saved)

regimes9.0ms (0%)

Counts

21 → 1

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)
(.f64 (.f64 d1 d1) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) d1)
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
(.f64 (.f64 d1 (.f64 (.f64 (*.f64 d1 d1) d1) d1)) d1)
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1)) d1)
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)

Outputs
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))

Calls

1 calls:

6.0ms

d1

Results

Accuracy	Segments	Branch
87.6%	1	`d1`

Compiler

Compiled 2 to 1 computations (50% saved)

regimes6.0ms (0%)

Counts

17 → 1

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)
(.f64 (.f64 d1 d1) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) d1)
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
(.f64 (.f64 d1 (.f64 (.f64 (*.f64 d1 d1) d1) d1)) d1)
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1)) d1)

Outputs
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))

Calls

1 calls:

5.0ms

d1

Results

Accuracy	Segments	Branch
86.0%	1	`d1`

Compiler

Compiled 2 to 1 computations (50% saved)

regimes5.0ms (0%)

Counts

11 → 1

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)
(.f64 (.f64 d1 d1) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) d1)
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
(.f64 (.f64 d1 (.f64 (.f64 (*.f64 d1 d1) d1) d1)) d1)

Outputs
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))

Calls

1 calls:

4.0ms

d1

Results

Accuracy	Segments	Branch
82.7%	1	`d1`

Compiler

Compiled 2 to 1 computations (50% saved)

regimes5.0ms (0%)

Counts

7 → 1

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)
(.f64 (.f64 d1 d1) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) d1)

Outputs
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) d1))

Calls

1 calls:

3.0ms

d1

Results

Accuracy	Segments	Branch
80.0%	1	`d1`

Compiler

Compiled 2 to 1 computations (50% saved)

regimes3.0ms (0%)

Counts

5 → 1

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)
(.f64 (.f64 d1 d1) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 d1 (*.f64 d1 d1)) d1)

Outputs
(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Calls

1 calls:

3.0ms

d1

Results

Accuracy	Segments	Branch
76.1%	1	`d1`

Compiler

Compiled 2 to 1 computations (50% saved)

regimes2.0ms (0%)

Counts

3 → 1

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)
(.f64 (.f64 d1 d1) d1)

Outputs
(.f64 (.f64 d1 d1) d1)

Calls

1 calls:

2.0ms

d1

Results

Accuracy	Segments	Branch
65.8%	1	`d1`

Compiler

Compiled 2 to 1 computations (50% saved)

regimes2.0ms (0%)

Counts

2 → 1

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)

Outputs
(*.f64 d1 d1)

Calls

1 calls:

2.0ms

d1

Results

Accuracy	Segments	Branch
52.6%	1	`d1`

Compiler

Compiled 2 to 1 computations (50% saved)

regimes1.0ms (0%)

Counts

1 → 1

Calls

Call 1

Inputs
d1

Outputs
d1

Calls

1 calls:

1.0ms

d1

Results

Accuracy	Segments	Branch
5.5%	1	`d1`

Compiler

Compiled 2 to 1 computations (50% saved)

simplify9.0ms (0%)

Algorithm

1×	egg-herbie

Rules

28×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	122
1	35	122

Stop Event

1×

saturated

Calls

Call 1

Inputs
(pow.f64 d1 #s(literal 10 binary64))
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) d1))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 d1 d1) d1)
(*.f64 d1 d1)
d1

Outputs
(pow.f64 d1 #s(literal 10 binary64))
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (.f64 d1 (*.f64 d1 d1))))))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
(.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) d1))
(.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 d1 d1) d1)
(.f64 d1 (.f64 d1 d1))
(*.f64 d1 d1)
d1

soundness2.6min (98.7%)

Rules

1936×	`fma-define`
1876×	`prod-exp`
1414×	`prod-exp`
1320×	`pow-exp`
940×	`fmsub-define`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	26	10
2	53	6
3	76	3
4	89	3
5	92	3
0	92	3
0	9	40
1	36	24
2	104	24
3	286	24
4	1466	8
0	10217	8
0	14	156
1	43	91
2	85	39
3	204	39
4	1040	39
5	4750	13
0	10373	13
0	12	100
1	45	70
2	112	30
3	286	30
4	1681	10
0	9493	10

Stop Event

1×	iter limit
1×	node limit
1×	iter limit
1×	node limit
1×	iter limit
1×	node limit
1×	iter limit
1×	saturated

analyze0.0ms (0%)

sample921.0ms (0.6%)

preprocess51.0ms (0%)

explain132.0ms (0.1%)

eval0.0ms (0%)

prune25.0ms (0%)

simplify8.0ms (0%)

localize69.0ms (0%)

series7.0ms (0%)

rewrite50.0ms (0%)

simplify17.0ms (0%)

eval21.0ms (0%)

prune15.0ms (0%)

simplify7.0ms (0%)

localize86.0ms (0.1%)

series3.0ms (0%)

rewrite42.0ms (0%)

simplify16.0ms (0%)

eval44.0ms (0%)

prune13.0ms (0%)

simplify7.0ms (0%)

localize79.0ms (0.1%)

series1.0ms (0%)

rewrite40.0ms (0%)

simplify12.0ms (0%)

eval32.0ms (0%)

prune21.0ms (0%)

simplify8.0ms (0%)

localize102.0ms (0.1%)

series2.0ms (0%)

rewrite54.0ms (0%)

simplify20.0ms (0%)

eval34.0ms (0%)

prune28.0ms (0%)

regimes22.0ms (0%)

regimes17.0ms (0%)

regimes15.0ms (0%)

regimes9.0ms (0%)

regimes9.0ms (0%)

regimes6.0ms (0%)

regimes5.0ms (0%)

regimes5.0ms (0%)

regimes3.0ms (0%)

regimes2.0ms (0%)

regimes2.0ms (0%)

regimes1.0ms (0%)

simplify9.0ms (0%)

soundness2.6min (98.7%)

end0.0ms (0%)

Profiling