FastMath test5

Time bar (total: 1.9s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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)

sample964.0ms (50.2%)

Results
546.0ms4516×body256valid
407.0ms3740×body256infinite
Bogosity

preprocess200.0ms (10.4%)

Algorithm
1×egg-herbie
Rules
1524×unswap-sqr
1114×fma-def
900×fma-neg
862×cancel-sign-sub-inv
612×distribute-lft-neg-out
Problems
255×No Errors
1×(*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1))
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
024264
186176
2329104
391944
4189744
5476444
6657444
7756044
8795444
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 111 to 19 computations (82.9% saved)

eval1.0ms (0%)

Compiler

Compiled 37 to 24 computations (35.1% saved)

prune4.0ms (0.2%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶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)
▶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 48 to 24 computations (50% saved)

localize56.0ms (2.9%)

Localize:

Found 4 expressions with local error:

NewAccuracyProgram
✓99.9%
(*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)
✓99.9%
(*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1)
✓99.9%
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
✓99.9%
(*.f64 d1 (*.f64 d1 d1))
Compiler

Compiled 96 to 13 computations (86.5% saved)

series4.0ms (0.2%)

Counts
4 → 48
Calls

12 calls:

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

rewrite197.0ms (10.3%)

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)

IterNodesCost
01194
115246
2175240
Stop Event
1×node limit
Counts
4 → 189
Calls
Call 1
Inputs
(*.f64 d1 (*.f64 d1 d1))
(*.f64 (*.f64 d1 (*.f64 d1 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)
Outputs
(+.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 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 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)))
(+.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)))

simplify107.0ms (5.6%)

Algorithm
1×egg-herbie
Rules
1698×fma-def
1260×prod-exp
844×exp-prod
778×distribute-lft-in
738×distribute-rgt-in
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
040112884904562
18864294969962
218802696
362312678
Stop Event
1×node limit
Counts
237 → 210
Calls
Call 1
Inputs
(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 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 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)
(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)
(+.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 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 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)))
(+.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)))
Outputs
(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 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 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)
(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)
(+.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 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3))))) (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 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 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 (*.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 (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 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)
(+.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 (pow.f64 (pow.f64 d1 6) 2/3) (pow.f64 (pow.f64 d1 6) 2/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)

eval63.0ms (3.3%)

Compiler

Compiled 3763 to 2122 computations (43.6% saved)

prune29.0ms (1.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New2100210
Fresh000
Picked022
Done000
Total2102212
Accuracy
100.0%
Counts
212 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓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.4%)

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
AccuracySegmentsBranch
100.0%1d1
100.0%1(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Compiler

Compiled 45 to 21 computations (53.3% saved)

regimes5.0ms (0.3%)

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
AccuracySegmentsBranch
99.9%1d1
99.9%1(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Compiler

Compiled 42 to 19 computations (54.8% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
14×*-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01595
12295
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)

soundness242.0ms (12.6%)

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)

IterNodesCost
024264
186176
2329104
391944
4189744
5476444
6657444
7756044
8795444
Stop Event
1×node limit
Compiler

Compiled 218 to 31 computations (85.8% saved)

end0.0ms (0%)

preprocess39.0ms (2%)

Remove

(abs d1)

Compiler

Compiled 118 to 64 computations (45.8% saved)

Profiling

Loading profile data...