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)

sample871.0ms (0.6%)

Results

659.0ms

8256×

valid

Precisions

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

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

const: 7.0ms (1.4% of total)

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

Bogosity

preprocess52.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)

explain105.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

61.0ms

512×

valid

Compiler

Compiled 202 to 29 computations (85.6% saved)

Precisions

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

ival-mult: 39.0ms (98.1% of total)

const: 1.0ms (2.5% of total)

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

eval0.0ms (0%)

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

prune1.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.8%	(.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.8%

(*.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)

localize63.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 d1 (*.f64 d1 d1)) d1)
✓	accuracy	99.9%	(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)
✓	accuracy	99.9%	(.f64 d1 (.f64 d1 d1))
✓	accuracy	99.9%	(.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 d1 (.f64 d1 d1))
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))

Results

46.0ms

256×

valid

Compiler

Compiled 137 to 13 computations (90.5% saved)

Precisions

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

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

const: 0.0ms (0% of total)

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

series8.0ms (0%)

Counts

11 → 132

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) 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 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

33 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))
0.0ms	d1	@	0	(* d1 (* (* (* (* (* d1 (* 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))))

rewrite53.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	110
1	45	77
2	112	33
3	286	33
4	1681	11
0	9493	11

Stop Event

1×	iter limit
1×	node limit

Counts

11 → 22

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)

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

simplify20.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	396
1	22	384
2	25	384
3	27	384
0	27	384

Stop Event

1×	iter limit
1×	saturated

Counts

132 → 132

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 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 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 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))

eval39.0ms (0%)

Compiler: Compiled 3441 to 114 computations (96.7% saved)

prune15.0ms (0%)

Pruning

17 alts after pruning (15 fresh and 2 done)

	Pruned	Kept	Total
New	237	15	252
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	237	17	254

Accuracy

100.0%

Counts

254 → 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.1%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
	85.2%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1)) d1)
	84.5%	(.f64 (.f64 d1 (.f64 (.f64 d1 (*.f64 d1 d1)) d1)) d1)
✓	99.8%	(.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)))
▶	88.1%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
	82.1%	(.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))))
▶	78.7%	(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
	88.1%	(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
	72.7%	(.f64 (.f64 d1 d1) d1)
▶	85.2%	(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
	55.7%	(*.f64 d1 d1)
▶	5.6%	d1

Compiler

Compiled 392 to 161 computations (58.9% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Localize:

Found 12 expressions of interest:

New	Metric	Program
✓	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)) 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 (.f64 d1 (*.f64 d1 d1)) d1)
✓	cost-diff	(pow.f64 d1 #s(literal 10 binary64))

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	57
1	28	45
2	54	42
3	66	42
4	68	42
0	68	42

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)

Outputs
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
d1
10
#s(literal 10 binary64)
d1
(* (* d1 (* d1 d1)) d1)
(.f64 (.f64 d1 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 (.f64 d1 d1) (.f64 d1 d1)))
d1
(* (* d1 (* d1 d1)) (* d1 (* d1 d1)))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 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 (.f64 d1 d1)) (.f64 (.f64 d1 d1) (*.f64 d1 d1))))
(* d1 (* d1 (* d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
d1
(* d1 (* d1 d1))
(.f64 d1 (.f64 d1 d1))
(* d1 d1)
(*.f64 d1 d1)
(* (* d1 (* d1 d1)) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))

localize56.0ms (0%)

Localize:

Found 12 expressions of interest:

New	Metric	Score	Program
✓	accuracy	99.9%	(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
✓	accuracy	99.9%	(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
✓	accuracy	99.9%	(.f64 d1 (.f64 d1 d1))
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (*.f64 d1 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 d1 (.f64 d1 d1))
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 d1 d1)) (.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 d1 (.f64 d1 d1))
✓	accuracy	100.0%	(pow.f64 d1 #s(literal 10 binary64))

Results

39.0ms

256×

valid

Compiler

Compiled 95 to 11 computations (88.4% saved)

Precisions

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

ival-mult: 13.0ms (69.3% of total)

ival-pow: 5.0ms (26.6% 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 (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 (* 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 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 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 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

24 calls:

Time	Variable		Point	Expression
0.0ms	d1	@	inf	(pow d1 10)
0.0ms	d1	@	-inf	(* d1 (* (* d1 (* 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 (* d1 d1))))
0.0ms	d1	@	0	(pow d1 10)

rewrite36.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Rules

1100×	`sum4-define`
900×	`sum5-define`
624×	`unpow-prod-down`
568×	`prod-exp`
490×	`prod-diff`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	10	24
1	38	24
2	108	24
3	317	24
4	1743	8
0	10297	8

Stop Event

1×	iter limit
1×	node limit

Counts

8 → 16

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)))

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

simplify11.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	288
1	18	276
2	21	276
3	23	276
0	23	276

Stop Event

1×	iter limit
1×	saturated

Counts

96 → 96

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 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 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 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 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 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))

eval25.0ms (0%)

Compiler: Compiled 2223 to 52 computations (97.7% saved)

prune13.0ms (0%)

Pruning

20 alts after pruning (13 fresh and 7 done)

	Pruned	Kept	Total
New	235	3	238
Fresh	0	10	10
Picked	0	5	5
Done	0	2	2
Total	235	20	255

Accuracy

100.0%

Counts

255 → 20

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.1%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
	85.2%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1)) d1)
	84.5%	(.f64 (.f64 d1 (.f64 (.f64 d1 (*.f64 d1 d1)) d1)) d1)
✓	99.8%	(.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)))
✓	88.1%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
▶	85.2%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 d1) d1))
	84.5%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (*.f64 d1 d1))
	82.1%	(.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))))
✓	78.7%	(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
	88.1%	(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
	72.7%	(.f64 (.f64 d1 d1) d1)
✓	85.2%	(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
▶	84.5%	(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
▶	55.7%	(*.f64 d1 d1)
✓	5.6%	d1

Compiler

Compiled 424 to 174 computations (59% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Localize:

Found 17 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 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 d1) d1))
✓	cost-diff	(*.f64 d1 d1)
✓	cost-diff	(.f64 d1 (.f64 d1 d1))
✓	cost-diff	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1))
✓	cost-diff	(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 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`
40×	`associate-r`
20×	`pow-lowering-pow.f64`
20×	`pow-lowering-pow.f32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	14	84
1	45	73
2	68	62
3	81	60
4	86	60
0	86	60

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 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))
(.f64 d1 (.f64 d1 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)
(*.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 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 (.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)
(.f64 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)

localize71.0ms (0%)

Localize:

Found 17 expressions of interest:

New	Metric	Score	Program
✓	accuracy	99.9%	(.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) (.f64 d1 d1)) d1))
✓	accuracy	99.9%	(.f64 (.f64 (.f64 (.f64 d1 d1) d1) (*.f64 d1 d1)) d1)
✓	accuracy	99.9%	(.f64 (.f64 d1 d1) d1)
✓	accuracy	99.9%	(.f64 (.f64 (.f64 d1 d1) d1) (.f64 d1 d1))
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 d1) d1))
✓	accuracy	99.9%	(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
✓	accuracy	99.9%	(.f64 (.f64 d1 d1) d1)
✓	accuracy	99.9%	(.f64 d1 (.f64 d1 d1))
✓	accuracy	100.0%	(*.f64 d1 d1)
✓	accuracy	99.9%	(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
✓	accuracy	99.9%	(.f64 d1 (.f64 d1 d1))
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 d1 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 d1 (.f64 d1 d1))
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1)))

Results

46.0ms

256×

valid

Compiler

Compiled 163 to 15 computations (90.8% saved)

Precisions

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

ival-mult: 24.0ms (98% 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))>
#<alt (* d1 d1)>
#<alt (* (* d1 (* d1 d1)) (* d1 (* d1 d1)))>
#<alt (* 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)))>
#<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 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 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 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 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	@	inf	(* (* d1 (* (* (* (* d1 d1) d1) (* d1 d1)) d1)) d1)
0.0ms	d1	@	0	(* 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)
0.0ms	d1	@	inf	(* d1 (* (* d1 (* d1 d1)) (* d1 d1)))

rewrite38.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Rules

1418×	`prod-exp`
722×	`sum4-define`
658×	`sum5-define`
564×	`unpow-prod-down`
448×	`prod-diff`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	14	65
1	46	39
2	108	39
3	290	39
4	1478	13
0	10231	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) 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

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	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 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 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 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 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 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 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 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 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))

eval37.0ms (0%)

Compiler: Compiled 3939 to 101 computations (97.4% saved)

prune17.0ms (0%)

Pruning

24 alts after pruning (12 fresh and 12 done)

	Pruned	Kept	Total
New	374	4	378
Fresh	0	8	8
Picked	0	5	5
Done	0	7	7
Total	374	24	398

Accuracy

100.0%

Counts

398 → 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.1%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
	85.2%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1)) d1)
▶	85.2%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1)) d1)
	84.5%	(.f64 (.f64 d1 (.f64 (.f64 d1 (*.f64 d1 d1)) d1)) d1)
✓	99.8%	(.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)))
✓	88.1%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
✓	85.2%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 d1) d1))
▶	84.5%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (*.f64 d1 d1))
▶	82.1%	(.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))))
	88.1%	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
	84.5%	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (*.f64 d1 d1) d1))
✓	78.7%	(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
	88.1%	(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
▶	72.7%	(.f64 (.f64 d1 d1) d1)
✓	85.2%	(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
✓	84.5%	(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
	82.1%	(.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 d1)))
✓	55.7%	(*.f64 d1 d1)
✓	5.6%	d1

Compiler

Compiled 464 to 191 computations (58.8% saved)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Localize:

Found 18 expressions of interest:

New	Metric	Program
✓	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 d1 (.f64 d1 (*.f64 d1 d1)))
✓	cost-diff	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 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 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`
40×	`associate-r`
20×	`pow-lowering-pow.f64`
20×	`pow-lowering-pow.f32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	13	83
1	35	76
2	59	64
3	75	60
4	82	60
5	83	60
0	83	60

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)

Outputs
(* (* 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 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 (.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)
(.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))
(.f64 (.f64 d1 (.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 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
(* d1 (* (* (* d1 d1) (* d1 d1)) d1))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 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)
(*.f64 d1 d1)

localize70.0ms (0%)

Localize:

Found 18 expressions of interest:

New	Metric	Score	Program
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1)) d1)
✓	accuracy	99.9%	(.f64 d1 (.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) d1))
✓	accuracy	99.9%	(.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 (.f64 d1 d1))) (*.f64 d1 d1))
✓	accuracy	99.9%	(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
✓	accuracy	99.9%	(.f64 d1 (.f64 d1 d1))
✓	accuracy	100.0%	(*.f64 d1 d1)
✓	accuracy	99.9%	(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) d1)
✓	accuracy	99.9%	(.f64 d1 (.f64 d1 d1))
✓	accuracy	100.0%	(*.f64 d1 d1)
✓	accuracy	99.9%	(.f64 (.f64 d1 d1) d1)
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1)))
✓	accuracy	99.9%	(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
✓	accuracy	99.9%	(.f64 d1 (.f64 d1 d1))
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1))

Results

45.0ms

256×

valid

Compiler

Compiled 149 to 14 computations (90.6% saved)

Precisions

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

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

const: 0.0ms (0% of total)

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

series2.0ms (0%)

Counts

12 → 144

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)>
#<alt (* (* 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 d1))>
#<alt (* (* 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 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 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 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 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 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)>

Calls

36 calls:

Time	Variable		Point	Expression
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	@	0	(* (* (* 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)

rewrite35.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Rules

1628×	`prod-exp`
522×	`sum5-define`
388×	`unpow-prod-down`
376×	`sum4-define`
328×	`prod-diff`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	13	108
1	38	84
2	87	36
3	237	36
4	1287	12
0	8048	12

Stop Event

1×	iter limit
1×	node limit

Counts

12 → 24

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))

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

simplify16.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	432
1	18	420
2	21	420
3	23	420
0	23	420

Stop Event

1×	iter limit
1×	saturated

Counts

144 → 144

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 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 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 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 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)

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 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 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 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 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))

eval33.0ms (0%)

Compiler: Compiled 3255 to 70 computations (97.8% saved)

prune18.0ms (0%)

Pruning

26 alts after pruning (9 fresh and 17 done)

	Pruned	Kept	Total
New	346	4	350
Fresh	2	5	7
Picked	0	5	5
Done	0	12	12
Total	348	26	374

Accuracy

100.0%

Counts

374 → 26

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.1%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
	85.2%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1)) d1)
✓	85.2%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1)) d1)
	84.5%	(.f64 (.f64 d1 (.f64 (.f64 (*.f64 d1 d1) d1) d1)) d1)
✓	99.8%	(.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)))
✓	88.1%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (*.f64 d1 d1)) d1))
	88.1%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 d1) (*.f64 d1 d1)))
✓	85.2%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 d1) d1))
✓	84.5%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (*.f64 d1 d1))
✓	82.1%	(.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))))
	84.5%	(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (*.f64 d1 d1) d1))
✓	78.7%	(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
	88.1%	(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
	85.2%	(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1)))
	78.7%	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
✓	72.7%	(.f64 (.f64 d1 d1) d1)
✓	85.2%	(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 d1))))
✓	84.5%	(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (*.f64 d1 d1)))
	82.1%	(.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 d1)))
✓	55.7%	(*.f64 d1 d1)
✓	5.6%	d1

Compiler

Compiled 657 to 184 computations (72% saved)

regimes19.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 d1 (.f64 (.f64 d1 d1) (.f64 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 (.f64 d1 d1)) (.f64 (*.f64 d1 d1) d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (*.f64 d1 d1))
(.f64 (.f64 d1 (.f64 (.f64 d1 (*.f64 d1 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 (.f64 d1 d1))) (.f64 (.f64 d1 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 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 (.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:

9.0ms	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
8.0ms	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 d1 (.f64 (.f64 d1 d1) (.f64 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 (.f64 d1 d1)) (.f64 (*.f64 d1 d1) d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (*.f64 d1 d1))
(.f64 (.f64 d1 (.f64 (.f64 d1 (*.f64 d1 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 (.f64 d1 d1))) (.f64 (.f64 d1 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 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 (.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)

regimes9.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 d1 (.f64 (.f64 d1 d1) (.f64 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 (.f64 d1 d1)) (.f64 (*.f64 d1 d1) d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (*.f64 d1 d1))
(.f64 (.f64 d1 (.f64 (.f64 d1 (*.f64 d1 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 (.f64 d1 d1))) (.f64 (.f64 d1 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 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 (.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.8%	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 d1 (.f64 (.f64 d1 d1) (.f64 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 (.f64 d1 d1)) (.f64 (*.f64 d1 d1) d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (*.f64 d1 d1))
(.f64 (.f64 d1 (.f64 (.f64 d1 (*.f64 d1 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 (.f64 d1 d1))) (.f64 (.f64 d1 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 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 (.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)

regimes8.0ms (0%)

Counts

22 → 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 d1 (.f64 (.f64 d1 d1) (.f64 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 (.f64 d1 d1)) (.f64 (*.f64 d1 d1) d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (*.f64 d1 d1))
(.f64 (.f64 d1 (.f64 (.f64 d1 (*.f64 d1 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 (.f64 d1 d1))) (.f64 (.f64 d1 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 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:

7.0ms

d1

Results

Accuracy	Segments	Branch
88.1%	1	`d1`

Compiler

Compiled 2 to 1 computations (50% saved)

regimes50.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 d1 (.f64 (.f64 d1 d1) (.f64 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 (.f64 d1 d1)) (.f64 (*.f64 d1 d1) d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (*.f64 d1 d1))
(.f64 (.f64 d1 (.f64 (.f64 d1 (*.f64 d1 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 (.f64 d1 d1))) (.f64 (.f64 d1 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:

49.0ms

d1

Results

Accuracy	Segments	Branch
85.2%	1	`d1`

Compiler

Compiled 2 to 1 computations (50% saved)

regimes5.0ms (0%)

Counts

12 → 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 d1 (.f64 (.f64 d1 d1) (.f64 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 (.f64 d1 d1)) (.f64 (*.f64 d1 d1) d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (*.f64 d1 d1))
(.f64 (.f64 d1 (.f64 (.f64 d1 (*.f64 d1 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
84.5%	1	`d1`

Compiler

Compiled 2 to 1 computations (50% saved)

regimes4.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 d1 (.f64 (.f64 d1 d1) (.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) d1)

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

Calls

1 calls:

3.0ms

d1

Results

Accuracy	Segments	Branch
82.1%	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:

2.0ms

d1

Results

Accuracy	Segments	Branch
78.7%	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
72.7%	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
55.7%	1	`d1`

Compiler

Compiled 2 to 1 computations (50% saved)

regimes1.0ms (0%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
d1

Outputs
d1

Calls

1 calls:

1.0ms

d1

Results

Accuracy	Segments	Branch
5.6%	1	`d1`

Compiler

Compiled 2 to 1 computations (50% saved)

simplify8.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 d1 (.f64 (.f64 d1 d1) (.f64 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 d1 (.f64 (.f64 d1 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.3min (98.6%)

Rules

1628×	`prod-exp`
1418×	`prod-exp`
1100×	`sum4-define`
900×	`sum5-define`
736×	`sum5-define`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	13	108
1	38	84
2	87	36
3	237	36
4	1287	12
0	8048	12
0	12	110
1	45	77
2	112	33
3	286	33
4	1681	11
0	9493	11
0	14	65
1	46	39
2	108	39
3	290	39
4	1478	13
0	10231	13
0	10	24
1	38	24
2	108	24
3	317	24
4	1743	8
0	10297	8
0	19	396
1	22	384
2	25	384
3	27	384
0	27	384
0	9	14
1	26	10
2	53	6
3	76	3
4	89	3
5	92	3
0	92	3

Stop Event

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

Compiler

Compiled 307 to 77 computations (74.9% saved)

preprocess73.0ms (0.1%)

Remove: (abs d1)
Compiler: Compiled 334 to 94 computations (71.9% saved)

analyze0.0ms (0%)

sample871.0ms (0.6%)

preprocess52.0ms (0%)

explain105.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify8.0ms (0%)

localize63.0ms (0%)

series8.0ms (0%)

rewrite53.0ms (0%)

simplify20.0ms (0%)

eval39.0ms (0%)

prune15.0ms (0%)

simplify7.0ms (0%)

localize56.0ms (0%)

series1.0ms (0%)

rewrite36.0ms (0%)

simplify11.0ms (0%)

eval25.0ms (0%)

prune13.0ms (0%)

simplify7.0ms (0%)

localize71.0ms (0%)

series2.0ms (0%)

rewrite38.0ms (0%)

simplify17.0ms (0%)

eval37.0ms (0%)

prune17.0ms (0%)

simplify8.0ms (0%)

localize70.0ms (0%)

series2.0ms (0%)

rewrite35.0ms (0%)

simplify16.0ms (0%)

eval33.0ms (0%)

prune18.0ms (0%)

regimes19.0ms (0%)

regimes17.0ms (0%)

regimes9.0ms (0%)

regimes9.0ms (0%)

regimes8.0ms (0%)

regimes50.0ms (0%)

regimes5.0ms (0%)

regimes4.0ms (0%)

regimes3.0ms (0%)

regimes2.0ms (0%)

regimes2.0ms (0%)

regimes1.0ms (0%)

simplify8.0ms (0%)

soundness2.3min (98.6%)

preprocess73.0ms (0.1%)

end0.0ms (0%)

Profiling