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

Operation ival-mult, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

sample1.1s (50.7%)

Results

521.0ms	4505×	valid
450.0ms	3750×	infinite
0.0ms	1×	valid

Precisions

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

Operation ival-mult, time spent: 461.0ms, 98.0% of total-time

Operation const, time spent: 11.0ms, 2.0% of total-time

Bogosity

preprocess259.0ms (12.1%)

Algorithm

1×	egg-herbie

Rules

1524×	`unswap-sqr`
1114×	`fma-def`
900×	`fma-neg`
862×	`cancel-sign-sub-inv`
612×	`distribute-lft-neg-out`

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

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	24	264
1	86	176
2	329	104
3	919	44
4	1897	44
5	4764	44
6	6574	44
7	7560	44
8	7954	44

Stop Event

1×	node limit

Calls

Call 1

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

Outputs
(.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 (pow.f64 d1 3)) (pow.f64 d1 3)))))
(.f64 d1 (.f64 d1 (*.f64 (pow.f64 d1 4) (pow.f64 d1 4))))
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
(pow.f64 d1 10)
(.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 (pow.f64 d1 3)) (pow.f64 d1 3)))))
(.f64 d1 (.f64 d1 (*.f64 (pow.f64 d1 4) (pow.f64 d1 4))))
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
(pow.f64 d1 10)
(.f64 (.f64 (neg.f64 d1) (.f64 (.f64 (.f64 (.f64 (.f64 (neg.f64 d1) (.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1)) (neg.f64 d1)) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1))) (neg.f64 d1))
(.f64 d1 (.f64 d1 (.f64 d1 (.f64 (*.f64 d1 (pow.f64 d1 3)) (pow.f64 d1 3)))))
(.f64 d1 (.f64 d1 (*.f64 (pow.f64 d1 4) (pow.f64 d1 4))))
(*.f64 (pow.f64 d1 5) (pow.f64 d1 5))
(pow.f64 d1 10)
(neg.f64 (.f64 (.f64 (neg.f64 d1) (.f64 (.f64 (.f64 (.f64 (.f64 (neg.f64 d1) (.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1)) (neg.f64 d1)) (*.f64 (neg.f64 d1) (neg.f64 d1))) (neg.f64 d1))) (neg.f64 d1)))
(.f64 (.f64 (neg.f64 d1) (.f64 (.f64 (pow.f64 (neg.f64 d1) 3) (*.f64 d1 d1)) (pow.f64 (neg.f64 d1) 3))) (neg.f64 (neg.f64 d1)))
(.f64 d1 (.f64 (neg.f64 d1) (*.f64 (pow.f64 d1 4) (pow.f64 d1 4))))
(*.f64 (pow.f64 d1 4) (neg.f64 (pow.f64 d1 6)))
(neg.f64 (pow.f64 d1 10))

Symmetry

(abs d1)

Compiler

Compiled 202 to 29 computations (85.6% saved)

Precisions

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

Operation ival-mult, time spent: 32.0ms, 97.0% of total-time

Operation const, time spent: 1.0ms, 3.0% of total-time

eval1.0ms (0%)

Compiler: Compiled 37 to 24 computations (35.1% saved)

prune1.0ms (0.1%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 24 to 12 computations (50% saved)

localize73.0ms (3.4%)

Localize:

Found 4 expressions with local error:

New	Accuracy	Program
✓	100.0%	(.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1)
✓	100.0%	(.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)
✓	100.0%	(.f64 d1 (.f64 d1 d1))
✓	100.0%	(.f64 (.f64 d1 (*.f64 d1 d1)) d1)

Compiler

Compiled 96 to 13 computations (86.5% saved)

Precisions

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

Operation ival-mult, time spent: 20.0ms, 78.0% of total-time

Operation ival-pow, time spent: 5.0ms, 20.0% of total-time

Operation const, time spent: 1.0ms, 4.0% of total-time

series7.0ms (0.3%)

Counts

4 → 48

Calls

12 calls:

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

rewrite226.0ms (10.6%)

Algorithm

1×	batch-egg-rewrite

Rules

974×	`prod-exp`
760×	`log-prod`
600×	`pow-prod-down`
522×	`pow-unpow`
514×	`log1p-expm1-u`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	94
1	152	46
2	1752	40

Stop Event

1×	node limit

Counts

4 → 189

Calls

Call 1

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

Outputs
(+.f64 0 (pow.f64 d1 4))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 4))) 1)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 2) 2)
(pow.f64 (pow.f64 d1 3) 4/3)
(pow.f64 (pow.f64 d1 4) 1)
(pow.f64 (pow.f64 d1 8) 1/2)
(pow.f64 (pow.f64 (cbrt.f64 d1) 2) 6)
(pow.f64 (cbrt.f64 (pow.f64 d1 8)) 3/2)
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 3)
(pow.f64 (cbrt.f64 d1) 12)
(pow.f64 (pow.f64 d1 6) 2/3)
(pow.f64 (pow.f64 (pow.f64 d1 12) 2) 1/6)
(pow.f64 (pow.f64 d1 12) 1/3)
(pow.f64 (sqrt.f64 d1) 8)
(sqrt.f64 (pow.f64 d1 8))
(fabs.f64 (pow.f64 d1 4))
(log.f64 (exp.f64 (pow.f64 d1 4)))
(cbrt.f64 (pow.f64 d1 12))
(expm1.f64 (log1p.f64 (pow.f64 d1 4)))
(exp.f64 (*.f64 4 (log.f64 d1)))
(exp.f64 (.f64 (.f64 4 (log.f64 d1)) 1))
(exp.f64 (*.f64 (log.f64 d1) 4))
(exp.f64 (.f64 (.f64 (log.f64 d1) 1) 4))
(exp.f64 (.f64 (.f64 2 (log.f64 d1)) 2))
(exp.f64 (.f64 (.f64 (log.f64 d1) 2) 2))
(exp.f64 (.f64 (.f64 (*.f64 2 (log.f64 d1)) 1) 2))
(exp.f64 (.f64 (.f64 (*.f64 4 (log.f64 d1)) 1) 1))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 8)) 1/2))
(exp.f64 (.f64 (.f64 (log.f64 (pow.f64 d1 8)) 1) 1/2))
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) 4)) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 12)) 1/3))
(exp.f64 (+.f64 (log.f64 d1) (*.f64 (log.f64 d1) 3)))
(exp.f64 (+.f64 (log.f64 d1) (.f64 (.f64 3 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 3 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 (log.f64 d1) 3)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 (*.f64 3 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 2 (log.f64 d1)) (.f64 (log.f64 d1) 2)))
(exp.f64 (+.f64 (.f64 2 (log.f64 d1)) (.f64 (*.f64 2 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 2 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 (log.f64 d1) 2)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 (*.f64 2 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (*.f64 2 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (*.f64 (log.f64 d1) 2)))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (.f64 (.f64 2 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 3 (log.f64 d1)) (.f64 (log.f64 d1) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 d1) 3) (log.f64 d1)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 3) (.f64 (log.f64 d1) 1)))
(exp.f64 (+.f64 (.f64 (.f64 3 (log.f64 d1)) 1) (log.f64 d1)))
(exp.f64 (+.f64 (.f64 (.f64 3 (log.f64 d1)) 1) (*.f64 (log.f64 d1) 1)))
(log1p.f64 (expm1.f64 (pow.f64 d1 4)))
(+.f64 0 (pow.f64 d1 3))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 3))) 1)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 2) 3/2)
(pow.f64 (pow.f64 d1 3) 1)
(pow.f64 (cbrt.f64 d1) 9)
(pow.f64 (pow.f64 d1 6) 1/2)
(pow.f64 (pow.f64 d1 9) 1/3)
(pow.f64 (pow.f64 d1 3/2) 2)
(pow.f64 (sqrt.f64 d1) 6)
(sqrt.f64 (pow.f64 d1 6))
(log.f64 (exp.f64 (pow.f64 d1 3)))
(cbrt.f64 (pow.f64 d1 9))
(expm1.f64 (log1p.f64 (pow.f64 d1 3)))
(exp.f64 (*.f64 3 (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 d1) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 d1)) 1))
(exp.f64 (.f64 (.f64 (log.f64 d1) 1) 3))
(exp.f64 (.f64 (.f64 (log.f64 d1) 3) 1))
(exp.f64 (.f64 (.f64 (*.f64 3 (log.f64 d1)) 1) 1))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1/3))
(exp.f64 (.f64 (.f64 3/2 (log.f64 d1)) 2))
(exp.f64 (+.f64 (log.f64 d1) (*.f64 (log.f64 d1) 2)))
(exp.f64 (+.f64 (log.f64 d1) (.f64 (.f64 2 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 2 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 (log.f64 d1) 2)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 (*.f64 2 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 2 (log.f64 d1)) (.f64 (log.f64 d1) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 d1) 2) (log.f64 d1)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 (log.f64 d1) 1)))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (log.f64 d1)))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (*.f64 (log.f64 d1) 1)))
(log1p.f64 (expm1.f64 (pow.f64 d1 3)))
(+.f64 0 (pow.f64 d1 8))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 8))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 8)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 8)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 8)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 8))) 1)
(pow.f64 d1 8)
(pow.f64 (pow.f64 d1 2) 4)
(pow.f64 (pow.f64 d1 4) 2)
(pow.f64 (pow.f64 d1 8) 1)
(pow.f64 (cbrt.f64 (pow.f64 d1 8)) 3)
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 6)
(pow.f64 (pow.f64 d1 6) 4/3)
(pow.f64 (pow.f64 (pow.f64 d1 4) 4) 1/2)
(pow.f64 (pow.f64 (pow.f64 d1 12) 2) 1/3)
(pow.f64 (pow.f64 d1 12) 2/3)
(pow.f64 (*.f64 d1 (pow.f64 (cbrt.f64 d1) 5)) 3)
(pow.f64 (*.f64 (pow.f64 d1 9) (pow.f64 d1 15)) 1/3)
(sqrt.f64 (pow.f64 (pow.f64 d1 4) 4))
(log.f64 (exp.f64 (pow.f64 d1 8)))
(cbrt.f64 (pow.f64 (pow.f64 d1 12) 2))
(expm1.f64 (log1p.f64 (pow.f64 d1 8)))
(exp.f64 (log.f64 (pow.f64 d1 8)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 8)) 1))
(exp.f64 (.f64 (.f64 4 (log.f64 d1)) 2))
(exp.f64 (.f64 (.f64 (*.f64 4 (log.f64 d1)) 1) 2))
(exp.f64 (.f64 (.f64 (log.f64 (pow.f64 d1 8)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (pow.f64 d1 8))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (pow.f64 d1 12) 2)) 1/3))
(exp.f64 (+.f64 (log.f64 d1) (*.f64 (log.f64 (pow.f64 d1 7)) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 d1) 1) (log.f64 (pow.f64 d1 7))))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 (log.f64 (pow.f64 d1 7)) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 6 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (*.f64 6 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 3 (log.f64 d1)) (.f64 (*.f64 5 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 3) (.f64 5 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 3) (.f64 (*.f64 5 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (.f64 3 (log.f64 d1)) 1) (*.f64 5 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (.f64 3 (log.f64 d1)) 1) (.f64 (.f64 5 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 4 (log.f64 d1)) (.f64 (*.f64 4 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (.f64 4 (log.f64 d1)) 1) (*.f64 4 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (.f64 4 (log.f64 d1)) 1) (.f64 (.f64 4 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 5 (log.f64 d1)) (.f64 (log.f64 d1) 3)))
(exp.f64 (+.f64 (.f64 5 (log.f64 d1)) (.f64 (*.f64 3 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (.f64 5 (log.f64 d1)) 1) (*.f64 3 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (.f64 5 (log.f64 d1)) 1) (*.f64 (log.f64 d1) 3)))
(exp.f64 (+.f64 (.f64 (.f64 5 (log.f64 d1)) 1) (.f64 (.f64 3 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (log.f64 (pow.f64 d1 7)) (*.f64 (log.f64 d1) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 (pow.f64 d1 7)) 1) (log.f64 d1)))
(exp.f64 (+.f64 (.f64 (log.f64 (pow.f64 d1 7)) 1) (.f64 (log.f64 d1) 1)))
(exp.f64 (+.f64 (.f64 6 (log.f64 d1)) (.f64 (log.f64 d1) 2)))
(exp.f64 (+.f64 (.f64 6 (log.f64 d1)) (.f64 (*.f64 2 (log.f64 d1)) 1)))
(log1p.f64 (expm1.f64 (pow.f64 d1 8)))
(+.f64 0 (pow.f64 d1 5))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 5))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 5)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 5)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 5)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 5))) 1)
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 2) 5/2)
(pow.f64 (pow.f64 d1 3) 5/3)
(pow.f64 (pow.f64 d1 5) 1)
(pow.f64 (pow.f64 (cbrt.f64 d1) 5) 3)
(pow.f64 (cbrt.f64 d1) 15)
(pow.f64 (pow.f64 d1 10) 1/2)
(pow.f64 (pow.f64 d1 15) 1/3)
(pow.f64 (pow.f64 d1 5/2) 2)
(pow.f64 (sqrt.f64 d1) 10)
(pow.f64 (*.f64 (pow.f64 d1 6) (pow.f64 d1 9)) 1/3)
(sqrt.f64 (pow.f64 d1 10))
(log.f64 (exp.f64 (pow.f64 d1 5)))
(cbrt.f64 (pow.f64 d1 15))
(expm1.f64 (log1p.f64 (pow.f64 d1 5)))
(exp.f64 (*.f64 5 (log.f64 d1)))
(exp.f64 (.f64 (.f64 5 (log.f64 d1)) 1))
(exp.f64 (*.f64 (log.f64 d1) 5))
(exp.f64 (.f64 (.f64 (log.f64 d1) 1) 5))
(exp.f64 (.f64 (.f64 (*.f64 5 (log.f64 d1)) 1) 1))
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) 5)) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 15)) 1/3))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 5/2)) 2))
(exp.f64 (+.f64 (log.f64 d1) (.f64 (.f64 4 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 4 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 (*.f64 4 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 2 (log.f64 d1)) (.f64 (log.f64 d1) 3)))
(exp.f64 (+.f64 (.f64 2 (log.f64 d1)) (.f64 (*.f64 3 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 3 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 (log.f64 d1) 3)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 (*.f64 3 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (*.f64 3 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (*.f64 (log.f64 d1) 3)))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (.f64 (.f64 3 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 3 (log.f64 d1)) (.f64 (log.f64 d1) 2)))
(exp.f64 (+.f64 (.f64 3 (log.f64 d1)) (.f64 (*.f64 2 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 3) (.f64 2 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 3) (.f64 (log.f64 d1) 2)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 3) (.f64 (*.f64 2 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (.f64 3 (log.f64 d1)) 1) (*.f64 2 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (.f64 3 (log.f64 d1)) 1) (*.f64 (log.f64 d1) 2)))
(exp.f64 (+.f64 (.f64 (.f64 3 (log.f64 d1)) 1) (.f64 (.f64 2 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 4 (log.f64 d1)) (.f64 (log.f64 d1) 1)))
(exp.f64 (+.f64 (.f64 (.f64 4 (log.f64 d1)) 1) (log.f64 d1)))
(exp.f64 (+.f64 (.f64 (.f64 4 (log.f64 d1)) 1) (*.f64 (log.f64 d1) 1)))
(log1p.f64 (expm1.f64 (pow.f64 d1 5)))

simplify102.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

1698×	`fma-def`
1260×	`prod-exp`
844×	`exp-prod`
770×	`distribute-lft-in`
738×	`distribute-rgt-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	401	12884904562
1	887	4294969962
2	1884	2696
3	6237	2678

Stop Event

1×	node limit

Counts

237 → 211

Calls

Call 1

Inputs
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(+.f64 0 (pow.f64 d1 4))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 4))) 1)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 2) 2)
(pow.f64 (pow.f64 d1 3) 4/3)
(pow.f64 (pow.f64 d1 4) 1)
(pow.f64 (pow.f64 d1 8) 1/2)
(pow.f64 (pow.f64 (cbrt.f64 d1) 2) 6)
(pow.f64 (cbrt.f64 (pow.f64 d1 8)) 3/2)
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 3)
(pow.f64 (cbrt.f64 d1) 12)
(pow.f64 (pow.f64 d1 6) 2/3)
(pow.f64 (pow.f64 (pow.f64 d1 12) 2) 1/6)
(pow.f64 (pow.f64 d1 12) 1/3)
(pow.f64 (sqrt.f64 d1) 8)
(sqrt.f64 (pow.f64 d1 8))
(fabs.f64 (pow.f64 d1 4))
(log.f64 (exp.f64 (pow.f64 d1 4)))
(cbrt.f64 (pow.f64 d1 12))
(expm1.f64 (log1p.f64 (pow.f64 d1 4)))
(exp.f64 (*.f64 4 (log.f64 d1)))
(exp.f64 (.f64 (.f64 4 (log.f64 d1)) 1))
(exp.f64 (*.f64 (log.f64 d1) 4))
(exp.f64 (.f64 (.f64 (log.f64 d1) 1) 4))
(exp.f64 (.f64 (.f64 2 (log.f64 d1)) 2))
(exp.f64 (.f64 (.f64 (log.f64 d1) 2) 2))
(exp.f64 (.f64 (.f64 (*.f64 2 (log.f64 d1)) 1) 2))
(exp.f64 (.f64 (.f64 (*.f64 4 (log.f64 d1)) 1) 1))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 8)) 1/2))
(exp.f64 (.f64 (.f64 (log.f64 (pow.f64 d1 8)) 1) 1/2))
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) 4)) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 12)) 1/3))
(exp.f64 (+.f64 (log.f64 d1) (*.f64 (log.f64 d1) 3)))
(exp.f64 (+.f64 (log.f64 d1) (.f64 (.f64 3 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 3 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 (log.f64 d1) 3)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 (*.f64 3 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 2 (log.f64 d1)) (.f64 (log.f64 d1) 2)))
(exp.f64 (+.f64 (.f64 2 (log.f64 d1)) (.f64 (*.f64 2 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 2 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 (log.f64 d1) 2)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 (*.f64 2 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (*.f64 2 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (*.f64 (log.f64 d1) 2)))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (.f64 (.f64 2 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 3 (log.f64 d1)) (.f64 (log.f64 d1) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 d1) 3) (log.f64 d1)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 3) (.f64 (log.f64 d1) 1)))
(exp.f64 (+.f64 (.f64 (.f64 3 (log.f64 d1)) 1) (log.f64 d1)))
(exp.f64 (+.f64 (.f64 (.f64 3 (log.f64 d1)) 1) (*.f64 (log.f64 d1) 1)))
(log1p.f64 (expm1.f64 (pow.f64 d1 4)))
(+.f64 0 (pow.f64 d1 3))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 3))) 1)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 2) 3/2)
(pow.f64 (pow.f64 d1 3) 1)
(pow.f64 (cbrt.f64 d1) 9)
(pow.f64 (pow.f64 d1 6) 1/2)
(pow.f64 (pow.f64 d1 9) 1/3)
(pow.f64 (pow.f64 d1 3/2) 2)
(pow.f64 (sqrt.f64 d1) 6)
(sqrt.f64 (pow.f64 d1 6))
(log.f64 (exp.f64 (pow.f64 d1 3)))
(cbrt.f64 (pow.f64 d1 9))
(expm1.f64 (log1p.f64 (pow.f64 d1 3)))
(exp.f64 (*.f64 3 (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 d1) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 d1)) 1))
(exp.f64 (.f64 (.f64 (log.f64 d1) 1) 3))
(exp.f64 (.f64 (.f64 (log.f64 d1) 3) 1))
(exp.f64 (.f64 (.f64 (*.f64 3 (log.f64 d1)) 1) 1))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1/3))
(exp.f64 (.f64 (.f64 3/2 (log.f64 d1)) 2))
(exp.f64 (+.f64 (log.f64 d1) (*.f64 (log.f64 d1) 2)))
(exp.f64 (+.f64 (log.f64 d1) (.f64 (.f64 2 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 2 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 (log.f64 d1) 2)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 (*.f64 2 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 2 (log.f64 d1)) (.f64 (log.f64 d1) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 d1) 2) (log.f64 d1)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 (log.f64 d1) 1)))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (log.f64 d1)))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (*.f64 (log.f64 d1) 1)))
(log1p.f64 (expm1.f64 (pow.f64 d1 3)))
(+.f64 0 (pow.f64 d1 8))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 8))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 8)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 8)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 8)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 8))) 1)
(pow.f64 d1 8)
(pow.f64 (pow.f64 d1 2) 4)
(pow.f64 (pow.f64 d1 4) 2)
(pow.f64 (pow.f64 d1 8) 1)
(pow.f64 (cbrt.f64 (pow.f64 d1 8)) 3)
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 6)
(pow.f64 (pow.f64 d1 6) 4/3)
(pow.f64 (pow.f64 (pow.f64 d1 4) 4) 1/2)
(pow.f64 (pow.f64 (pow.f64 d1 12) 2) 1/3)
(pow.f64 (pow.f64 d1 12) 2/3)
(pow.f64 (*.f64 d1 (pow.f64 (cbrt.f64 d1) 5)) 3)
(pow.f64 (*.f64 (pow.f64 d1 9) (pow.f64 d1 15)) 1/3)
(sqrt.f64 (pow.f64 (pow.f64 d1 4) 4))
(log.f64 (exp.f64 (pow.f64 d1 8)))
(cbrt.f64 (pow.f64 (pow.f64 d1 12) 2))
(expm1.f64 (log1p.f64 (pow.f64 d1 8)))
(exp.f64 (log.f64 (pow.f64 d1 8)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 8)) 1))
(exp.f64 (.f64 (.f64 4 (log.f64 d1)) 2))
(exp.f64 (.f64 (.f64 (*.f64 4 (log.f64 d1)) 1) 2))
(exp.f64 (.f64 (.f64 (log.f64 (pow.f64 d1 8)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (pow.f64 d1 8))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (pow.f64 d1 12) 2)) 1/3))
(exp.f64 (+.f64 (log.f64 d1) (*.f64 (log.f64 (pow.f64 d1 7)) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 d1) 1) (log.f64 (pow.f64 d1 7))))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 (log.f64 (pow.f64 d1 7)) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 6 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (*.f64 6 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 3 (log.f64 d1)) (.f64 (*.f64 5 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 3) (.f64 5 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 3) (.f64 (*.f64 5 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (.f64 3 (log.f64 d1)) 1) (*.f64 5 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (.f64 3 (log.f64 d1)) 1) (.f64 (.f64 5 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 4 (log.f64 d1)) (.f64 (*.f64 4 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (.f64 4 (log.f64 d1)) 1) (*.f64 4 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (.f64 4 (log.f64 d1)) 1) (.f64 (.f64 4 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 5 (log.f64 d1)) (.f64 (log.f64 d1) 3)))
(exp.f64 (+.f64 (.f64 5 (log.f64 d1)) (.f64 (*.f64 3 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (.f64 5 (log.f64 d1)) 1) (*.f64 3 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (.f64 5 (log.f64 d1)) 1) (*.f64 (log.f64 d1) 3)))
(exp.f64 (+.f64 (.f64 (.f64 5 (log.f64 d1)) 1) (.f64 (.f64 3 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (log.f64 (pow.f64 d1 7)) (*.f64 (log.f64 d1) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 (pow.f64 d1 7)) 1) (log.f64 d1)))
(exp.f64 (+.f64 (.f64 (log.f64 (pow.f64 d1 7)) 1) (.f64 (log.f64 d1) 1)))
(exp.f64 (+.f64 (.f64 6 (log.f64 d1)) (.f64 (log.f64 d1) 2)))
(exp.f64 (+.f64 (.f64 6 (log.f64 d1)) (.f64 (*.f64 2 (log.f64 d1)) 1)))
(log1p.f64 (expm1.f64 (pow.f64 d1 8)))
(+.f64 0 (pow.f64 d1 5))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 5))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 5)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 5)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 5)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 5))) 1)
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 2) 5/2)
(pow.f64 (pow.f64 d1 3) 5/3)
(pow.f64 (pow.f64 d1 5) 1)
(pow.f64 (pow.f64 (cbrt.f64 d1) 5) 3)
(pow.f64 (cbrt.f64 d1) 15)
(pow.f64 (pow.f64 d1 10) 1/2)
(pow.f64 (pow.f64 d1 15) 1/3)
(pow.f64 (pow.f64 d1 5/2) 2)
(pow.f64 (sqrt.f64 d1) 10)
(pow.f64 (*.f64 (pow.f64 d1 6) (pow.f64 d1 9)) 1/3)
(sqrt.f64 (pow.f64 d1 10))
(log.f64 (exp.f64 (pow.f64 d1 5)))
(cbrt.f64 (pow.f64 d1 15))
(expm1.f64 (log1p.f64 (pow.f64 d1 5)))
(exp.f64 (*.f64 5 (log.f64 d1)))
(exp.f64 (.f64 (.f64 5 (log.f64 d1)) 1))
(exp.f64 (*.f64 (log.f64 d1) 5))
(exp.f64 (.f64 (.f64 (log.f64 d1) 1) 5))
(exp.f64 (.f64 (.f64 (*.f64 5 (log.f64 d1)) 1) 1))
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) 5)) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 15)) 1/3))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 5/2)) 2))
(exp.f64 (+.f64 (log.f64 d1) (.f64 (.f64 4 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 4 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 (*.f64 4 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 2 (log.f64 d1)) (.f64 (log.f64 d1) 3)))
(exp.f64 (+.f64 (.f64 2 (log.f64 d1)) (.f64 (*.f64 3 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 3 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 (log.f64 d1) 3)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 (*.f64 3 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (*.f64 3 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (*.f64 (log.f64 d1) 3)))
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (.f64 (.f64 3 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 3 (log.f64 d1)) (.f64 (log.f64 d1) 2)))
(exp.f64 (+.f64 (.f64 3 (log.f64 d1)) (.f64 (*.f64 2 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 3) (.f64 2 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 3) (.f64 (log.f64 d1) 2)))
(exp.f64 (+.f64 (.f64 (log.f64 d1) 3) (.f64 (*.f64 2 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 (.f64 3 (log.f64 d1)) 1) (*.f64 2 (log.f64 d1))))
(exp.f64 (+.f64 (.f64 (.f64 3 (log.f64 d1)) 1) (*.f64 (log.f64 d1) 2)))
(exp.f64 (+.f64 (.f64 (.f64 3 (log.f64 d1)) 1) (.f64 (.f64 2 (log.f64 d1)) 1)))
(exp.f64 (+.f64 (.f64 4 (log.f64 d1)) (.f64 (log.f64 d1) 1)))
(exp.f64 (+.f64 (.f64 (.f64 4 (log.f64 d1)) 1) (log.f64 d1)))
(exp.f64 (+.f64 (.f64 (.f64 4 (log.f64 d1)) 1) (*.f64 (log.f64 d1) 1)))
(log1p.f64 (expm1.f64 (pow.f64 d1 5)))

Outputs
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(+.f64 0 (pow.f64 d1 4))
(pow.f64 d1 4)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 4))) 1)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 2) 2)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 3) 4/3)
(*.f64 (pow.f64 (pow.f64 d1 3) 2/3) (pow.f64 (pow.f64 d1 3) 2/3))
(.f64 (.f64 (cbrt.f64 (pow.f64 d1 3)) (cbrt.f64 (pow.f64 d1 3))) (*.f64 (cbrt.f64 (pow.f64 d1 3)) (cbrt.f64 (pow.f64 d1 3))))
(pow.f64 (pow.f64 d1 4) 1)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 8) 1/2)
(pow.f64 d1 4)
(pow.f64 (pow.f64 (cbrt.f64 d1) 2) 6)
(pow.f64 d1 4)
(pow.f64 (cbrt.f64 (pow.f64 d1 8)) 3/2)
(pow.f64 d1 4)
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 3)
(pow.f64 d1 4)
(pow.f64 (cbrt.f64 d1) 12)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 6) 2/3)
(*.f64 (pow.f64 (pow.f64 d1 6) 1/3) (pow.f64 (pow.f64 d1 6) 1/3))
(*.f64 (cbrt.f64 (pow.f64 d1 6)) (cbrt.f64 (pow.f64 d1 6)))
(pow.f64 (pow.f64 (pow.f64 d1 12) 2) 1/6)
(pow.f64 (pow.f64 d1 24) 1/6)
(pow.f64 (pow.f64 d1 12) 1/3)
(pow.f64 d1 4)
(pow.f64 (sqrt.f64 d1) 8)
(pow.f64 d1 4)
(sqrt.f64 (pow.f64 d1 8))
(pow.f64 d1 4)
(fabs.f64 (pow.f64 d1 4))
(pow.f64 d1 4)
(log.f64 (exp.f64 (pow.f64 d1 4)))
(pow.f64 d1 4)
(cbrt.f64 (pow.f64 d1 12))
(pow.f64 d1 4)
(expm1.f64 (log1p.f64 (pow.f64 d1 4)))
(pow.f64 d1 4)
(exp.f64 (*.f64 4 (log.f64 d1)))
(pow.f64 d1 4)
(exp.f64 (.f64 (.f64 4 (log.f64 d1)) 1))
(pow.f64 d1 4)
(exp.f64 (*.f64 (log.f64 d1) 4))
(pow.f64 d1 4)
(exp.f64 (.f64 (.f64 (log.f64 d1) 1) 4))
(pow.f64 d1 4)
(exp.f64 (.f64 (.f64 2 (log.f64 d1)) 2))
(pow.f64 d1 4)
(exp.f64 (.f64 (.f64 (log.f64 d1) 2) 2))
(pow.f64 d1 4)
(exp.f64 (.f64 (.f64 (*.f64 2 (log.f64 d1)) 1) 2))
(pow.f64 d1 4)
(exp.f64 (.f64 (.f64 (*.f64 4 (log.f64 d1)) 1) 1))
(pow.f64 d1 4)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 8)) 1/2))
(pow.f64 d1 4)
(exp.f64 (.f64 (.f64 (log.f64 (pow.f64 d1 8)) 1) 1/2))
(pow.f64 d1 4)
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) 4)) 3))
(pow.f64 d1 4)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 12)) 1/3))
(pow.f64 d1 4)
(exp.f64 (+.f64 (log.f64 d1) (*.f64 (log.f64 d1) 3)))
(pow.f64 d1 4)
(exp.f64 (+.f64 (log.f64 d1) (.f64 (.f64 3 (log.f64 d1)) 1)))
(pow.f64 d1 4)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 3 (log.f64 d1))))
(pow.f64 d1 4)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 (log.f64 d1) 3)))
(pow.f64 d1 4)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 (*.f64 3 (log.f64 d1)) 1)))
(pow.f64 d1 4)
(exp.f64 (+.f64 (.f64 2 (log.f64 d1)) (.f64 (log.f64 d1) 2)))
(pow.f64 d1 4)
(exp.f64 (+.f64 (.f64 2 (log.f64 d1)) (.f64 (*.f64 2 (log.f64 d1)) 1)))
(pow.f64 d1 4)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 2 (log.f64 d1))))
(pow.f64 d1 4)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 (log.f64 d1) 2)))
(pow.f64 d1 4)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 (*.f64 2 (log.f64 d1)) 1)))
(pow.f64 d1 4)
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (*.f64 2 (log.f64 d1))))
(pow.f64 d1 4)
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (*.f64 (log.f64 d1) 2)))
(pow.f64 d1 4)
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (.f64 (.f64 2 (log.f64 d1)) 1)))
(pow.f64 d1 4)
(exp.f64 (+.f64 (.f64 3 (log.f64 d1)) (.f64 (log.f64 d1) 1)))
(pow.f64 d1 4)
(exp.f64 (+.f64 (*.f64 (log.f64 d1) 3) (log.f64 d1)))
(pow.f64 d1 4)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 3) (.f64 (log.f64 d1) 1)))
(pow.f64 d1 4)
(exp.f64 (+.f64 (.f64 (.f64 3 (log.f64 d1)) 1) (log.f64 d1)))
(pow.f64 d1 4)
(exp.f64 (+.f64 (.f64 (.f64 3 (log.f64 d1)) 1) (*.f64 (log.f64 d1) 1)))
(pow.f64 d1 4)
(log1p.f64 (expm1.f64 (pow.f64 d1 4)))
(pow.f64 d1 4)
(+.f64 0 (pow.f64 d1 3))
(pow.f64 d1 3)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 3))) 1)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 2) 3/2)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 3) 1)
(pow.f64 d1 3)
(pow.f64 (cbrt.f64 d1) 9)
(pow.f64 (pow.f64 d1 6) 1/2)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 9) 1/3)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 3/2) 2)
(pow.f64 d1 3)
(pow.f64 (sqrt.f64 d1) 6)
(pow.f64 d1 3)
(sqrt.f64 (pow.f64 d1 6))
(pow.f64 d1 3)
(log.f64 (exp.f64 (pow.f64 d1 3)))
(pow.f64 d1 3)
(cbrt.f64 (pow.f64 d1 9))
(pow.f64 d1 3)
(expm1.f64 (log1p.f64 (pow.f64 d1 3)))
(pow.f64 d1 3)
(exp.f64 (*.f64 3 (log.f64 d1)))
(pow.f64 d1 3)
(exp.f64 (*.f64 (log.f64 d1) 3))
(pow.f64 d1 3)
(exp.f64 (.f64 (.f64 3 (log.f64 d1)) 1))
(pow.f64 d1 3)
(exp.f64 (.f64 (.f64 (log.f64 d1) 1) 3))
(pow.f64 d1 3)
(exp.f64 (.f64 (.f64 (log.f64 d1) 3) 1))
(pow.f64 d1 3)
(exp.f64 (.f64 (.f64 (*.f64 3 (log.f64 d1)) 1) 1))
(pow.f64 d1 3)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1/3))
(pow.f64 d1 3)
(exp.f64 (.f64 (.f64 3/2 (log.f64 d1)) 2))
(pow.f64 d1 3)
(exp.f64 (+.f64 (log.f64 d1) (*.f64 (log.f64 d1) 2)))
(pow.f64 d1 3)
(exp.f64 (+.f64 (log.f64 d1) (.f64 (.f64 2 (log.f64 d1)) 1)))
(pow.f64 d1 3)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 2 (log.f64 d1))))
(pow.f64 d1 3)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 (log.f64 d1) 2)))
(pow.f64 d1 3)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 (*.f64 2 (log.f64 d1)) 1)))
(pow.f64 d1 3)
(exp.f64 (+.f64 (.f64 2 (log.f64 d1)) (.f64 (log.f64 d1) 1)))
(pow.f64 d1 3)
(exp.f64 (+.f64 (*.f64 (log.f64 d1) 2) (log.f64 d1)))
(pow.f64 d1 3)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 (log.f64 d1) 1)))
(pow.f64 d1 3)
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (log.f64 d1)))
(pow.f64 d1 3)
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (*.f64 (log.f64 d1) 1)))
(pow.f64 d1 3)
(log1p.f64 (expm1.f64 (pow.f64 d1 3)))
(pow.f64 d1 3)
(+.f64 0 (pow.f64 d1 8))
(pow.f64 d1 8)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 8))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 8)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 8)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 8)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 8)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 8)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 8))) 1)
(pow.f64 d1 8)
(pow.f64 d1 8)
(pow.f64 (pow.f64 d1 2) 4)
(pow.f64 d1 8)
(pow.f64 (pow.f64 d1 4) 2)
(pow.f64 d1 8)
(pow.f64 (pow.f64 d1 8) 1)
(pow.f64 d1 8)
(pow.f64 (cbrt.f64 (pow.f64 d1 8)) 3)
(pow.f64 d1 8)
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 6)
(pow.f64 d1 8)
(pow.f64 (pow.f64 d1 6) 4/3)
(.f64 (.f64 (cbrt.f64 (pow.f64 d1 6)) (cbrt.f64 (pow.f64 d1 6))) (*.f64 (cbrt.f64 (pow.f64 d1 6)) (cbrt.f64 (pow.f64 d1 6))))
(*.f64 (pow.f64 d1 6) (cbrt.f64 (pow.f64 d1 6)))
(pow.f64 (cbrt.f64 (pow.f64 d1 6)) 4)
(pow.f64 (pow.f64 (pow.f64 d1 4) 4) 1/2)
(pow.f64 d1 8)
(pow.f64 (pow.f64 (pow.f64 d1 12) 2) 1/3)
(pow.f64 d1 8)
(pow.f64 (pow.f64 d1 12) 2/3)
(pow.f64 d1 8)
(pow.f64 (*.f64 d1 (pow.f64 (cbrt.f64 d1) 5)) 3)
(pow.f64 d1 8)
(pow.f64 (*.f64 (pow.f64 d1 9) (pow.f64 d1 15)) 1/3)
(cbrt.f64 (*.f64 (pow.f64 d1 9) (pow.f64 d1 15)))
(sqrt.f64 (pow.f64 (pow.f64 d1 4) 4))
(pow.f64 d1 8)
(log.f64 (exp.f64 (pow.f64 d1 8)))
(pow.f64 d1 8)
(cbrt.f64 (pow.f64 (pow.f64 d1 12) 2))
(pow.f64 d1 8)
(expm1.f64 (log1p.f64 (pow.f64 d1 8)))
(pow.f64 d1 8)
(exp.f64 (log.f64 (pow.f64 d1 8)))
(pow.f64 d1 8)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 8)) 1))
(pow.f64 d1 8)
(exp.f64 (.f64 (.f64 4 (log.f64 d1)) 2))
(pow.f64 d1 8)
(exp.f64 (.f64 (.f64 (*.f64 4 (log.f64 d1)) 1) 2))
(pow.f64 d1 8)
(exp.f64 (.f64 (.f64 (log.f64 (pow.f64 d1 8)) 1) 1))
(pow.f64 d1 8)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (pow.f64 d1 8))) 3))
(pow.f64 d1 8)
(exp.f64 (*.f64 (log.f64 (pow.f64 (pow.f64 d1 12) 2)) 1/3))
(pow.f64 d1 8)
(exp.f64 (+.f64 (log.f64 d1) (*.f64 (log.f64 (pow.f64 d1 7)) 1)))
(pow.f64 d1 8)
(exp.f64 (+.f64 (*.f64 (log.f64 d1) 1) (log.f64 (pow.f64 d1 7))))
(pow.f64 d1 8)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 (log.f64 (pow.f64 d1 7)) 1)))
(pow.f64 d1 8)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 6 (log.f64 d1))))
(pow.f64 d1 8)
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (*.f64 6 (log.f64 d1))))
(pow.f64 d1 8)
(exp.f64 (+.f64 (.f64 3 (log.f64 d1)) (.f64 (*.f64 5 (log.f64 d1)) 1)))
(pow.f64 d1 8)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 3) (.f64 5 (log.f64 d1))))
(pow.f64 d1 8)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 3) (.f64 (*.f64 5 (log.f64 d1)) 1)))
(pow.f64 d1 8)
(exp.f64 (+.f64 (.f64 (.f64 3 (log.f64 d1)) 1) (*.f64 5 (log.f64 d1))))
(pow.f64 d1 8)
(exp.f64 (+.f64 (.f64 (.f64 3 (log.f64 d1)) 1) (.f64 (.f64 5 (log.f64 d1)) 1)))
(pow.f64 d1 8)
(exp.f64 (+.f64 (.f64 4 (log.f64 d1)) (.f64 (*.f64 4 (log.f64 d1)) 1)))
(pow.f64 d1 8)
(exp.f64 (+.f64 (.f64 (.f64 4 (log.f64 d1)) 1) (*.f64 4 (log.f64 d1))))
(pow.f64 d1 8)
(exp.f64 (+.f64 (.f64 (.f64 4 (log.f64 d1)) 1) (.f64 (.f64 4 (log.f64 d1)) 1)))
(pow.f64 d1 8)
(exp.f64 (+.f64 (.f64 5 (log.f64 d1)) (.f64 (log.f64 d1) 3)))
(pow.f64 d1 8)
(exp.f64 (+.f64 (.f64 5 (log.f64 d1)) (.f64 (*.f64 3 (log.f64 d1)) 1)))
(pow.f64 d1 8)
(exp.f64 (+.f64 (.f64 (.f64 5 (log.f64 d1)) 1) (*.f64 3 (log.f64 d1))))
(pow.f64 d1 8)
(exp.f64 (+.f64 (.f64 (.f64 5 (log.f64 d1)) 1) (*.f64 (log.f64 d1) 3)))
(pow.f64 d1 8)
(exp.f64 (+.f64 (.f64 (.f64 5 (log.f64 d1)) 1) (.f64 (.f64 3 (log.f64 d1)) 1)))
(pow.f64 d1 8)
(exp.f64 (+.f64 (log.f64 (pow.f64 d1 7)) (*.f64 (log.f64 d1) 1)))
(pow.f64 d1 8)
(exp.f64 (+.f64 (*.f64 (log.f64 (pow.f64 d1 7)) 1) (log.f64 d1)))
(pow.f64 d1 8)
(exp.f64 (+.f64 (.f64 (log.f64 (pow.f64 d1 7)) 1) (.f64 (log.f64 d1) 1)))
(pow.f64 d1 8)
(exp.f64 (+.f64 (.f64 6 (log.f64 d1)) (.f64 (log.f64 d1) 2)))
(pow.f64 d1 8)
(exp.f64 (+.f64 (.f64 6 (log.f64 d1)) (.f64 (*.f64 2 (log.f64 d1)) 1)))
(pow.f64 d1 8)
(log1p.f64 (expm1.f64 (pow.f64 d1 8)))
(pow.f64 d1 8)
(+.f64 0 (pow.f64 d1 5))
(pow.f64 d1 5)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 5))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 5)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 5)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 5)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 5)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 5)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 5))) 1)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 2) 5/2)
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 3) 5/3)
(*.f64 (pow.f64 (pow.f64 d1 3) 5/6) (pow.f64 (pow.f64 d1 3) 5/6))
(pow.f64 (pow.f64 d1 5) 1)
(pow.f64 d1 5)
(pow.f64 (pow.f64 (cbrt.f64 d1) 5) 3)
(pow.f64 d1 5)
(pow.f64 (cbrt.f64 d1) 15)
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 10) 1/2)
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 15) 1/3)
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 5/2) 2)
(pow.f64 d1 5)
(pow.f64 (sqrt.f64 d1) 10)
(pow.f64 (*.f64 (pow.f64 d1 6) (pow.f64 d1 9)) 1/3)
(cbrt.f64 (*.f64 (pow.f64 d1 6) (pow.f64 d1 9)))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 d1 12)))
(cbrt.f64 (pow.f64 (pow.f64 d1 3) 5))
(sqrt.f64 (pow.f64 d1 10))
(pow.f64 d1 5)
(log.f64 (exp.f64 (pow.f64 d1 5)))
(pow.f64 d1 5)
(cbrt.f64 (pow.f64 d1 15))
(pow.f64 d1 5)
(expm1.f64 (log1p.f64 (pow.f64 d1 5)))
(pow.f64 d1 5)
(exp.f64 (*.f64 5 (log.f64 d1)))
(pow.f64 d1 5)
(exp.f64 (.f64 (.f64 5 (log.f64 d1)) 1))
(pow.f64 d1 5)
(exp.f64 (*.f64 (log.f64 d1) 5))
(pow.f64 d1 5)
(exp.f64 (.f64 (.f64 (log.f64 d1) 1) 5))
(pow.f64 d1 5)
(exp.f64 (.f64 (.f64 (*.f64 5 (log.f64 d1)) 1) 1))
(pow.f64 d1 5)
(exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 d1) 5)) 3))
(pow.f64 d1 5)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 15)) 1/3))
(pow.f64 d1 5)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 5/2)) 2))
(pow.f64 d1 5)
(exp.f64 (+.f64 (log.f64 d1) (.f64 (.f64 4 (log.f64 d1)) 1)))
(pow.f64 d1 5)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 4 (log.f64 d1))))
(pow.f64 d1 5)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 1) (.f64 (*.f64 4 (log.f64 d1)) 1)))
(pow.f64 d1 5)
(exp.f64 (+.f64 (.f64 2 (log.f64 d1)) (.f64 (log.f64 d1) 3)))
(pow.f64 d1 5)
(exp.f64 (+.f64 (.f64 2 (log.f64 d1)) (.f64 (*.f64 3 (log.f64 d1)) 1)))
(pow.f64 d1 5)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 3 (log.f64 d1))))
(pow.f64 d1 5)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 (log.f64 d1) 3)))
(pow.f64 d1 5)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 2) (.f64 (*.f64 3 (log.f64 d1)) 1)))
(pow.f64 d1 5)
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (*.f64 3 (log.f64 d1))))
(pow.f64 d1 5)
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (*.f64 (log.f64 d1) 3)))
(pow.f64 d1 5)
(exp.f64 (+.f64 (.f64 (.f64 2 (log.f64 d1)) 1) (.f64 (.f64 3 (log.f64 d1)) 1)))
(pow.f64 d1 5)
(exp.f64 (+.f64 (.f64 3 (log.f64 d1)) (.f64 (log.f64 d1) 2)))
(pow.f64 d1 5)
(exp.f64 (+.f64 (.f64 3 (log.f64 d1)) (.f64 (*.f64 2 (log.f64 d1)) 1)))
(pow.f64 d1 5)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 3) (.f64 2 (log.f64 d1))))
(pow.f64 d1 5)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 3) (.f64 (log.f64 d1) 2)))
(pow.f64 d1 5)
(exp.f64 (+.f64 (.f64 (log.f64 d1) 3) (.f64 (*.f64 2 (log.f64 d1)) 1)))
(pow.f64 d1 5)
(exp.f64 (+.f64 (.f64 (.f64 3 (log.f64 d1)) 1) (*.f64 2 (log.f64 d1))))
(pow.f64 d1 5)
(exp.f64 (+.f64 (.f64 (.f64 3 (log.f64 d1)) 1) (*.f64 (log.f64 d1) 2)))
(pow.f64 d1 5)
(exp.f64 (+.f64 (.f64 (.f64 3 (log.f64 d1)) 1) (.f64 (.f64 2 (log.f64 d1)) 1)))
(pow.f64 d1 5)
(exp.f64 (+.f64 (.f64 4 (log.f64 d1)) (.f64 (log.f64 d1) 1)))
(pow.f64 d1 5)
(exp.f64 (+.f64 (.f64 (.f64 4 (log.f64 d1)) 1) (log.f64 d1)))
(pow.f64 d1 5)
(exp.f64 (+.f64 (.f64 (.f64 4 (log.f64 d1)) 1) (*.f64 (log.f64 d1) 1)))
(pow.f64 d1 5)
(log1p.f64 (expm1.f64 (pow.f64 d1 5)))
(pow.f64 d1 5)

eval63.0ms (2.9%)

Compiler: Compiled 3792 to 2138 computations (43.6% saved)

prune31.0ms (1.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	211	0	211
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	211	2	213

Accuracy

100.0%

Counts

213 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 d1 10)
✓	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Compiler

Compiled 47 to 23 computations (51.1% saved)

regimes7.0ms (0.3%)

Counts

2 → 1

Calls

Call 1

Inputs
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(pow.f64 d1 10)

Outputs
(pow.f64 d1 10)

Calls

2 calls:

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

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

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

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	95
1	22	95

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(pow.f64 d1 10)
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Outputs

(pow.f64 d1 10)

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

Compiler

Compiled 24 to 12 computations (50% saved)

soundness239.0ms (11.2%)

Rules

1524×	`unswap-sqr`
1114×	`fma-def`
900×	`fma-neg`
862×	`cancel-sign-sub-inv`
612×	`distribute-lft-neg-out`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	24	264
1	86	176
2	329	104
3	919	44
4	1897	44
5	4764	44
6	6574	44
7	7560	44
8	7954	44

Stop Event

1×	node limit

Compiler

Compiled 218 to 31 computations (85.8% saved)

end0.0ms (0%)

preprocess39.0ms (1.8%)

Remove: (abs d1)
Compiler: Compiled 118 to 64 computations (45.8% saved)

analyze0.0ms (0%)

sample1.1s (50.7%)

preprocess259.0ms (12.1%)

eval1.0ms (0%)

prune1.0ms (0.1%)

localize73.0ms (3.4%)

series7.0ms (0.3%)

rewrite226.0ms (10.6%)

simplify102.0ms (4.8%)

eval63.0ms (2.9%)

prune31.0ms (1.4%)

regimes7.0ms (0.3%)

regimes5.0ms (0.2%)

simplify3.0ms (0.1%)

soundness239.0ms (11.2%)

end0.0ms (0%)

preprocess39.0ms (1.8%)

Profiling