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)

sample902.0ms (45.6%)

Results

701.0ms

8256×

valid

Precisions

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

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

const: 7.0ms (1.5% of total)

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

Bogosity

preprocess49.0ms (2.5%)

Algorithm

2×	egg-herbie

Rules

598×	`fma-define`
558×	`fnmadd-define`
520×	`fnmsub-define`
520×	`fmsub-define`
358×	`associate-r`

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	19	47
1	83	31
2	330	22
3	804	13
4	1000	13
5	1719	13
6	2192	13
7	2196	10
8	2200	10
9	2200	10
0	9	14
1	26	10
2	53	7
3	72	4
4	78	4
5	82	4
6	85	4
7	88	3
8	91	3
0	91	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)

explain117.0ms (5.9%)

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

79.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: 30.0ms (97.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)

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.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.4%)

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`
44×	`associate-l`
24×	`pow-lowering-pow.f64`

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	12	83
1	40	59
2	81	48
3	89	46
4	93	44
5	97	43
6	100	41
7	103	39
8	106	39
0	106	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 d1 (.f64 (.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 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 (.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)

localize66.0ms (3.3%)

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

Results

47.0ms

256×

valid

Compiler

Compiled 137 to 13 computations (90.5% saved)

Precisions

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

ival-mult: 17.0ms (100.5% of total)

const: 0.0ms (0% of total)

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

series7.0ms (0.4%)

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

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

rewrite63.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

654×	`prod-exp`
520×	`sum5-define`
452×	`sum4-define`
308×	`fma-define`
258×	`sum3-define`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	12	76
1	43	47
2	106	32
3	195	32
4	635	32
5	1182	32
6	1855	32
7	2102	32
8	2171	32
0	2171	32

Stop Event

1×	iter limit
1×	saturated

Counts

11 → 112

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
(exp.f64 (*.f64 (log.f64 d1) #s(literal 10 binary64)))
(pow.f64 d1 #s(literal 10 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 5 binary64))
(pow.f64 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1))) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 5 binary64)))
(pow.f64 (exp.f64 #s(literal 5 binary64)) (*.f64 #s(literal 2 binary64) (log.f64 d1)))
(pow.f64 (exp.f64 #s(literal 10 binary64)) (log.f64 d1))
(.f64 d1 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1))))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1))))))
(.f64 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1))))) (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1)))) (*.f64 d1 d1))
(.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1))))) d1)
(exp.f64 (*.f64 (log.f64 d1) #s(literal 4 binary64)))
(pow.f64 d1 #s(literal 4 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (log.f64 d1)))
(pow.f64 (exp.f64 #s(literal 4 binary64)) (log.f64 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
(exp.f64 (*.f64 #s(literal 3 binary64) (log.f64 d1)))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 (exp.f64 #s(literal 3 binary64)) (log.f64 d1))
(.f64 d1 (.f64 d1 d1))
(.f64 (.f64 d1 d1) d1)
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 d1)))
(pow.f64 d1 #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 d1))
(*.f64 d1 d1)
(exp.f64 (*.f64 (log.f64 d1) #s(literal 10 binary64)))
(pow.f64 d1 #s(literal 10 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 5 binary64))
(pow.f64 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1))) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 5 binary64)))
(pow.f64 (exp.f64 #s(literal 5 binary64)) (*.f64 #s(literal 2 binary64) (log.f64 d1)))
(pow.f64 (exp.f64 #s(literal 10 binary64)) (log.f64 d1))
(.f64 d1 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1))))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1))))))
(.f64 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1))))) (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1)))) (*.f64 d1 d1))
(.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1))))) d1)
(exp.f64 (*.f64 (log.f64 d1) #s(literal 9 binary64)))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 (.f64 d1 (.f64 d1 d1)) #s(literal 3 binary64))
(pow.f64 (exp.f64 #s(literal 3 binary64)) (*.f64 #s(literal 3 binary64) (log.f64 d1)))
(pow.f64 (exp.f64 #s(literal 9 binary64)) (log.f64 d1))
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1))))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1))))
(.f64 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1))))) (.f64 d1 d1))
(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1)))) d1)
(exp.f64 (*.f64 (log.f64 d1) #s(literal 8 binary64)))
(pow.f64 d1 #s(literal 8 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 4 binary64))
(pow.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 4 binary64)))
(pow.f64 (exp.f64 #s(literal 4 binary64)) (*.f64 #s(literal 2 binary64) (log.f64 d1)))
(pow.f64 (exp.f64 #s(literal 8 binary64)) (log.f64 d1))
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1))))))
(.f64 (.f64 d1 d1) (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1)))) (*.f64 d1 d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))
(.f64 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1))) (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1))))) d1)
(exp.f64 (*.f64 (log.f64 d1) #s(literal 7 binary64)))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 (exp.f64 #s(literal 7 binary64)) (log.f64 d1))
(.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1)))) d1)
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 d1)))
(.f64 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1))) (.f64 d1 d1))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 6 binary64)))
(pow.f64 d1 #s(literal 6 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 3 binary64))
(pow.f64 (.f64 d1 (.f64 d1 d1)) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 3 binary64) (log.f64 d1)))
(pow.f64 (exp.f64 #s(literal 3 binary64)) (*.f64 #s(literal 2 binary64) (log.f64 d1)))
(pow.f64 (exp.f64 #s(literal 6 binary64)) (log.f64 d1))
(.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1))))
(.f64 (.f64 d1 d1) (.f64 d1 (.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 d1 d1))
(.f64 (.f64 (.f64 d1 d1) (.f64 d1 (*.f64 d1 d1))) d1)
(exp.f64 (*.f64 (log.f64 d1) #s(literal 4 binary64)))
(pow.f64 d1 #s(literal 4 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (log.f64 d1)))
(pow.f64 (exp.f64 #s(literal 4 binary64)) (log.f64 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
(exp.f64 (*.f64 (log.f64 d1) #s(literal 5 binary64)))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 (exp.f64 #s(literal 5 binary64)) (log.f64 d1))
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1))))
(.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) d1)

simplify13.0ms (0.6%)

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

eval38.0ms (1.9%)

Compiler: Compiled 5354 to 355 computations (93.4% saved)

prune21.0ms (1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	353	6	359
Fresh	0	0	0
Picked	2	0	2
Done	0	0	0
Total	355	6	361

Accuracy

100.0%

Counts

361 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(pow.f64 d1 #s(literal 10 binary64))
	99.9%	(.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1))))) (*.f64 d1 d1)) d1)
▶	99.9%	(.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
▶	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1) (*.f64 d1 d1)) d1)) d1)
▶	99.9%	(.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))) d1)
▶	99.9%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (*.f64 d1 d1)))

Compiler

Compiled 208 to 76 computations (63.5% saved)

simplify10.0ms (0.5%)

Algorithm

1×	egg-herbie

Localize:

Found 17 expressions of interest:

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

Rules

90×	`-lowering-.f32`
90×	`-lowering-.f64`
66×	`associate-r`
30×	`associate-l`
24×	`pow-lowering-pow.f64`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	19	89
1	71	87
2	99	85
3	106	82
4	110	80
5	113	78
6	116	74
7	119	74
8	120	74
0	120	74

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

localize125.0ms (6.3%)

Localize:

Found 17 expressions of interest:

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

Results

91.0ms

256×

valid

Compiler

Compiled 250 to 20 computations (92% saved)

Precisions

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

ival-mult: 23.0ms (84.2% of total)

ival-pow: 3.0ms (11% of total)

const: 0.0ms (0% of total)

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

series3.0ms (0.2%)

Counts

17 → 204

Calls

Call 1

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

Calls

51 calls:

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

rewrite51.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

514×	`prod-exp`
504×	`sum5-define`
420×	`sum4-define`
316×	`fma-define`
240×	`sum3-define`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	19	65
1	79	58
2	129	50
3	260	50
4	614	50
5	1230	50
6	1742	50
7	1939	50
8	1951	50
0	1951	50

Stop Event

1×	iter limit
1×	saturated

Counts

17 → 199

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 d1)) d1) (* d1 d1)) d1))
(* (* (* (* (* d1 d1) (* d1 d1)) d1) (* d1 d1)) d1)
(* (* (* (* d1 d1) (* d1 d1)) d1) (* d1 d1))
(* (* (* d1 d1) (* d1 d1)) (* (* d1 (* d1 d1)) (* 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
(exp.f64 (*.f64 (log.f64 d1) #s(literal 10 binary64)))
(pow.f64 d1 #s(literal 10 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 5 binary64))
(pow.f64 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1)))) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 5 binary64)))
(pow.f64 (exp.f64 #s(literal 5 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 10 binary64)) (log.f64 d1))
(.f64 d1 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (*.f64 d1 d1))
(.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))) d1)
(.f64 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 10 binary64)))
(pow.f64 d1 #s(literal 10 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 5 binary64))
(pow.f64 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1)))) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 5 binary64)))
(pow.f64 (exp.f64 #s(literal 5 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 10 binary64)) (log.f64 d1))
(.f64 d1 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (*.f64 d1 d1))
(.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))) d1)
(.f64 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 4 binary64)))
(pow.f64 d1 #s(literal 4 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 4 binary64)) (log.f64 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
(exp.f64 (*.f64 (log.f64 d1) #s(literal 3 binary64)))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 (exp.f64 #s(literal 3 binary64)) (log.f64 d1))
(.f64 d1 (.f64 d1 d1))
(.f64 (.f64 d1 d1) d1)
(exp.f64 (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 d1 #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 d1))
(*.f64 d1 d1)
(exp.f64 (*.f64 (log.f64 d1) #s(literal 10 binary64)))
(pow.f64 d1 #s(literal 10 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 5 binary64))
(pow.f64 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1)))) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 5 binary64)))
(pow.f64 (exp.f64 #s(literal 5 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 10 binary64)) (log.f64 d1))
(.f64 d1 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (*.f64 d1 d1))
(.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))) d1)
(.f64 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 9 binary64)))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 (.f64 d1 (.f64 d1 d1)) #s(literal 3 binary64))
(pow.f64 (exp.f64 #s(literal 3 binary64)) (*.f64 (log.f64 d1) #s(literal 3 binary64)))
(pow.f64 (exp.f64 #s(literal 9 binary64)) (log.f64 d1))
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (.f64 d1 (.f64 d1 d1))))
(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 d1))
(.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) d1)
(.f64 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (.f64 d1 d1)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 8 binary64)))
(pow.f64 d1 #s(literal 8 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 4 binary64))
(pow.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 4 binary64)))
(pow.f64 (exp.f64 #s(literal 4 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 8 binary64)) (log.f64 d1))
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))) d1)
(.f64 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (*.f64 d1 d1))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 10 binary64)))
(pow.f64 d1 #s(literal 10 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 5 binary64))
(pow.f64 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1)))) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 5 binary64)))
(pow.f64 (exp.f64 #s(literal 5 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 10 binary64)) (log.f64 d1))
(.f64 d1 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (*.f64 d1 d1))
(.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))) d1)
(.f64 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 9 binary64)))
(pow.f64 d1 #s(literal 9 binary64))
(pow.f64 (.f64 d1 (.f64 d1 d1)) #s(literal 3 binary64))
(pow.f64 (exp.f64 #s(literal 3 binary64)) (*.f64 (log.f64 d1) #s(literal 3 binary64)))
(pow.f64 (exp.f64 #s(literal 9 binary64)) (log.f64 d1))
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (.f64 d1 (.f64 d1 d1))))
(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 d1))
(.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) d1)
(.f64 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (.f64 d1 d1)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 8 binary64)))
(pow.f64 d1 #s(literal 8 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 4 binary64))
(pow.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 4 binary64)))
(pow.f64 (exp.f64 #s(literal 4 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 8 binary64)) (log.f64 d1))
(.f64 d1 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))) d1)
(.f64 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (*.f64 d1 d1))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 7 binary64)))
(pow.f64 d1 #s(literal 7 binary64))
(pow.f64 (exp.f64 #s(literal 7 binary64)) (log.f64 d1))
(.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 d1))
(.f64 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) d1)
(exp.f64 (*.f64 (log.f64 d1) #s(literal 10 binary64)))
(pow.f64 d1 #s(literal 10 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 5 binary64))
(pow.f64 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1)))) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 5 binary64)))
(pow.f64 (exp.f64 #s(literal 5 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 10 binary64)) (log.f64 d1))
(.f64 d1 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (*.f64 d1 d1))
(.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))) d1)
(.f64 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 (.f64 d1 d1)))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 4 binary64)))
(pow.f64 d1 #s(literal 4 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 4 binary64)) (log.f64 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
(exp.f64 (*.f64 (log.f64 d1) #s(literal 6 binary64)))
(pow.f64 d1 #s(literal 6 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 3 binary64))
(pow.f64 (.f64 d1 (.f64 d1 d1)) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 3 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 3 binary64)))
(pow.f64 (exp.f64 #s(literal 6 binary64)) (log.f64 d1))
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (.f64 d1 (.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 d1 d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (*.f64 d1 d1)))) d1)
(exp.f64 (*.f64 (log.f64 d1) #s(literal 6 binary64)))
(pow.f64 d1 #s(literal 6 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 3 binary64))
(pow.f64 (.f64 d1 (.f64 d1 d1)) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 3 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 3 binary64)))
(pow.f64 (exp.f64 #s(literal 6 binary64)) (log.f64 d1))
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 (*.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (.f64 d1 (.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 d1 d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (*.f64 d1 d1)))) d1)
(exp.f64 (*.f64 (log.f64 d1) #s(literal 5 binary64)))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 (exp.f64 #s(literal 5 binary64)) (log.f64 d1))
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 d1 d1))))
(.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1)))
(.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 d1))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) d1)

simplify20.0ms (1%)

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	612
1	22	600
2	25	600
3	27	600
0	27	600

Stop Event

1×	iter limit
1×	saturated

Counts

204 → 204

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

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

eval70.0ms (3.5%)

Compiler: Compiled 11047 to 490 computations (95.6% saved)

prune31.0ms (1.6%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	744	0	744
Fresh	0	1	1
Picked	0	5	5
Done	0	0	0
Total	744	6	750

Accuracy

100.0%

Counts

750 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 d1 #s(literal 10 binary64))
▶	99.9%	(.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1))))) (*.f64 d1 d1)) d1)
✓	99.9%	(.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
✓	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1) (*.f64 d1 d1)) d1)) d1)
✓	99.9%	(.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))) d1)
✓	99.9%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (*.f64 d1 d1)))

Compiler

Compiled 104 to 38 computations (63.5% saved)

simplify9.0ms (0.4%)

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Rules

90×	`-lowering-.f32`
90×	`-lowering-.f64`
54×	`associate-r`
26×	`associate-l`
24×	`pow-lowering-pow.f64`

Iterations

Useful iterations: 8 (0.0ms)

Iter	Nodes	Cost
0	8	53
1	26	40
2	54	33
3	65	28
4	73	26
5	77	24
6	80	24
7	83	22
8	86	21
9	89	21
0	89	21

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

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

localize40.0ms (2%)

Localize:

Found 4 expressions of interest:

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

Results

28.0ms

256×

valid

Compiler

Compiled 80 to 9 computations (88.8% saved)

Precisions

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

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

const: 0.0ms (0% of total)

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

series14.0ms (0.7%)

Counts

6 → 72

Calls

Call 1

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

Calls

18 calls:

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

rewrite45.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

576×	`prod-exp`
504×	`sum5-define`
420×	`sum4-define`
292×	`fma-define`
240×	`sum3-define`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	8	50
1	28	30
2	76	20
3	139	18
4	380	18
5	831	18
6	1619	18
7	1893	18
8	1943	18
0	1943	18

Stop Event

1×	iter limit
1×	saturated

Counts

6 → 62

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

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

simplify9.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	216
1	16	216
2	17	216
0	17	216

Stop Event

1×	iter limit
1×	saturated

Counts

72 → 72

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

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

eval12.0ms (0.6%)

Compiler: Compiled 1671 to 193 computations (88.5% saved)

prune13.0ms (0.7%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	134	0	134
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	134	6	140

Accuracy

100.0%

Counts

140 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 d1 #s(literal 10 binary64))
✓	99.9%	(.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 (.f64 d1 d1))))) (*.f64 d1 d1)) d1)
✓	99.9%	(.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (.f64 (.f64 d1 (.f64 d1 d1)) (.f64 d1 (*.f64 d1 d1))))
✓	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1) (*.f64 d1 d1)) d1)) d1)
✓	99.9%	(.f64 (.f64 d1 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 d1 (.f64 d1 (*.f64 d1 d1))))) d1)
✓	99.9%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (.f64 (.f64 d1 (.f64 d1 (.f64 d1 d1))) (*.f64 d1 d1)))

Compiler

Compiled 241 to 69 computations (71.4% saved)

regimes6.0ms (0.3%)

Counts

8 → 1

Calls

Call 1

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

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

Calls

2 calls:

3.0ms	d1
2.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)

regimes5.0ms (0.3%)

Counts

7 → 1

Calls

Call 1

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

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

Calls

2 calls:

3.0ms	d1
2.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)

regimes2.0ms (0.1%)

Counts

2 → 1

Calls

Call 1

Inputs

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

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

Calls

1 calls:

1.0ms

d1

Results

Accuracy	Segments	Branch
99.9%	1	`d1`

Compiler

Compiled 2 to 1 computations (50% saved)

regimes1.0ms (0.1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(.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:

1.0ms

d1

Results

Accuracy	Segments	Branch
99.9%	1	`d1`

Compiler

Compiled 2 to 1 computations (50% saved)

simplify10.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	60
1	20	60

Stop Event

1×

saturated

Calls

Call 1

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

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

soundness151.0ms (7.6%)

Rules

654×	`prod-exp`
520×	`sum5-define`
452×	`sum4-define`
308×	`fma-define`
258×	`sum3-define`

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	12	76
1	43	47
2	106	32
3	195	32
4	635	32
5	1182	32
6	1855	32
7	2102	32
8	2171	32
0	2171	32
0	9	14
1	26	10
2	53	7
3	72	4
4	78	4
5	82	4
6	85	4
7	88	3
8	91	3
0	91	3

Stop Event

1×	done
1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Compiler

Compiled 162 to 45 computations (72.2% saved)

preprocess68.0ms (3.4%)

Remove: (abs d1)
Compiler: Compiled 202 to 74 computations (63.4% saved)

FastMath test5

analyze0.0ms (0%)

sample902.0ms (45.6%)

preprocess49.0ms (2.5%)

explain117.0ms (5.9%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify8.0ms (0.4%)

localize66.0ms (3.3%)

series7.0ms (0.4%)

rewrite63.0ms (3.2%)

simplify13.0ms (0.6%)

eval38.0ms (1.9%)

prune21.0ms (1%)

simplify10.0ms (0.5%)

localize125.0ms (6.3%)

series3.0ms (0.2%)

rewrite51.0ms (2.6%)

simplify20.0ms (1%)

eval70.0ms (3.5%)

prune31.0ms (1.6%)

simplify9.0ms (0.4%)

localize40.0ms (2%)

series14.0ms (0.7%)

rewrite45.0ms (2.3%)

simplify9.0ms (0.5%)

eval12.0ms (0.6%)

prune13.0ms (0.7%)

regimes6.0ms (0.3%)

regimes5.0ms (0.3%)

regimes2.0ms (0.1%)

regimes1.0ms (0.1%)

simplify10.0ms (0.5%)

soundness151.0ms (7.6%)

preprocess68.0ms (3.4%)

end0.0ms (0%)

Profiling