FastMath test5

Time bar (total: 1.6s)

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)

sample810.0ms (51.4%)

Results
431.0ms4538×body256valid
369.0ms3718×body256infinite
Bogosity

preprocess154.0ms (9.8%)

Algorithm
1×egg-herbie
Rules
1524×unswap-sqr
1112×fma-def
900×fma-neg
838×cancel-sign-sub-inv
608×distribute-lft-neg-out
Problems
256×No Errors
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
023183
179129
231575
383130
4180130
5469230
6650430
7749030
8788430
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))
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)
Symmetry

(abs d1)

Compiler

Compiled 111 to 19 computations (82.9% saved)

eval1.0ms (0.1%)

Compiler

Compiled 37 to 24 computations (35.1% saved)

prune2.0ms (0.1%)

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)

localize43.0ms (2.7%)

Localize:

Found 4 expressions with local error:

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

rewrite117.0ms (7.5%)

Algorithm
1×batch-egg-rewrite
Rules
862×log-prod
696×pow-prod-down
622×pow-unpow
575×log1p-expm1-u
575×expm1-log1p-u
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
012103
117346
2202640
Stop Event
1×node limit
Counts
4 → 120
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 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 (pow.f64 d1 9) 1/3)
(pow.f64 (cbrt.f64 d1) 9)
(pow.f64 (pow.f64 d1 6) 1/2)
(pow.f64 (pow.f64 (pow.f64 d1 3) 9) 1/9)
(pow.f64 (sqrt.f64 d1) 6)
(pow.f64 (pow.f64 d1 3/2) 2)
(pow.f64 (pow.f64 d1 9/2) 2/3)
(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 (log.f64 (pow.f64 d1 3)))
(exp.f64 (*.f64 (log.f64 d1) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 3)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 1) 3))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 3) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 3)) 1) 1))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1/3))
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1) 1/3))
(exp.f64 (*.f64 (*.f64 3/2 (log.f64 d1)) 2))
(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 (cbrt.f64 d1) 12)
(pow.f64 (cbrt.f64 (pow.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 (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))
(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 (cbrt.f64 d1) 15)
(pow.f64 (cbrt.f64 (pow.f64 d1 5)) 3)
(pow.f64 (pow.f64 d1 10) 1/2)
(pow.f64 (pow.f64 d1 15) 1/3)
(pow.f64 (sqrt.f64 d1) 10)
(pow.f64 (pow.f64 d1 5/2) 2)
(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 (cbrt.f64 (pow.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))
(log1p.f64 (expm1.f64 (pow.f64 d1 5)))
(+.f64 0 (pow.f64 d1 9))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 9))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 9)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 9)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 9)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 9))) 1)
(pow.f64 d1 9)
(pow.f64 (pow.f64 d1 3) 3)
(pow.f64 (pow.f64 d1 9) 1)
(pow.f64 (pow.f64 (pow.f64 d1 3) 6) 1/2)
(pow.f64 (pow.f64 (pow.f64 d1 3) 9) 1/3)
(pow.f64 (pow.f64 d1 3/2) 6)
(pow.f64 (pow.f64 d1 9/2) 2)
(pow.f64 (*.f64 (pow.f64 d1 6) (pow.f64 (pow.f64 d1 7) 3)) 1/3)
(pow.f64 (*.f64 (pow.f64 d1 12) (pow.f64 d1 15)) 1/3)
(pow.f64 (*.f64 (cbrt.f64 (pow.f64 d1 5)) (pow.f64 (cbrt.f64 d1) 4)) 3)
(pow.f64 (*.f64 (pow.f64 d1 15) (pow.f64 d1 12)) 1/3)
(pow.f64 (*.f64 (pow.f64 (pow.f64 d1 7) 3) (pow.f64 d1 6)) 1/3)
(sqrt.f64 (pow.f64 (pow.f64 d1 3) 6))
(log.f64 (exp.f64 (pow.f64 d1 9)))
(cbrt.f64 (pow.f64 (pow.f64 d1 3) 9))
(expm1.f64 (log1p.f64 (pow.f64 d1 9)))
(exp.f64 (log.f64 (pow.f64 d1 9)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 3)) 3))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 3) 3))
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 3)) 1) 3))
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1) 1))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (pow.f64 d1 9))) 1/3))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9/2)) 2))
(log1p.f64 (expm1.f64 (pow.f64 d1 9)))

simplify67.0ms (4.3%)

Algorithm
1×egg-herbie
Rules
1176×unswap-sqr
976×log-prod
960×exp-prod
748×prod-exp
622×fma-def
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
026712884903969
15744294969331
213582097
353692076
Stop Event
1×node limit
Counts
168 → 143
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 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(+.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 (pow.f64 d1 9) 1/3)
(pow.f64 (cbrt.f64 d1) 9)
(pow.f64 (pow.f64 d1 6) 1/2)
(pow.f64 (pow.f64 (pow.f64 d1 3) 9) 1/9)
(pow.f64 (sqrt.f64 d1) 6)
(pow.f64 (pow.f64 d1 3/2) 2)
(pow.f64 (pow.f64 d1 9/2) 2/3)
(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 (log.f64 (pow.f64 d1 3)))
(exp.f64 (*.f64 (log.f64 d1) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 3)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 1) 3))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 3) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 3)) 1) 1))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1/3))
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1) 1/3))
(exp.f64 (*.f64 (*.f64 3/2 (log.f64 d1)) 2))
(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 (cbrt.f64 d1) 12)
(pow.f64 (cbrt.f64 (pow.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 (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))
(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 (cbrt.f64 d1) 15)
(pow.f64 (cbrt.f64 (pow.f64 d1 5)) 3)
(pow.f64 (pow.f64 d1 10) 1/2)
(pow.f64 (pow.f64 d1 15) 1/3)
(pow.f64 (sqrt.f64 d1) 10)
(pow.f64 (pow.f64 d1 5/2) 2)
(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 (cbrt.f64 (pow.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))
(log1p.f64 (expm1.f64 (pow.f64 d1 5)))
(+.f64 0 (pow.f64 d1 9))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 9))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 9)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 9)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 9)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 9))) 1)
(pow.f64 d1 9)
(pow.f64 (pow.f64 d1 3) 3)
(pow.f64 (pow.f64 d1 9) 1)
(pow.f64 (pow.f64 (pow.f64 d1 3) 6) 1/2)
(pow.f64 (pow.f64 (pow.f64 d1 3) 9) 1/3)
(pow.f64 (pow.f64 d1 3/2) 6)
(pow.f64 (pow.f64 d1 9/2) 2)
(pow.f64 (*.f64 (pow.f64 d1 6) (pow.f64 (pow.f64 d1 7) 3)) 1/3)
(pow.f64 (*.f64 (pow.f64 d1 12) (pow.f64 d1 15)) 1/3)
(pow.f64 (*.f64 (cbrt.f64 (pow.f64 d1 5)) (pow.f64 (cbrt.f64 d1) 4)) 3)
(pow.f64 (*.f64 (pow.f64 d1 15) (pow.f64 d1 12)) 1/3)
(pow.f64 (*.f64 (pow.f64 (pow.f64 d1 7) 3) (pow.f64 d1 6)) 1/3)
(sqrt.f64 (pow.f64 (pow.f64 d1 3) 6))
(log.f64 (exp.f64 (pow.f64 d1 9)))
(cbrt.f64 (pow.f64 (pow.f64 d1 3) 9))
(expm1.f64 (log1p.f64 (pow.f64 d1 9)))
(exp.f64 (log.f64 (pow.f64 d1 9)))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 3)) 3))
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 3) 3))
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 3)) 1) 3))
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1) 1))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (pow.f64 d1 9))) 1/3))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9/2)) 2))
(log1p.f64 (expm1.f64 (pow.f64 d1 9)))
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 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 d1 9)
(+.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 (pow.f64 d1 9) 1/3)
(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 (pow.f64 d1 3) 9) 1/9)
(*.f64 (pow.f64 (pow.f64 (pow.f64 d1 3) 9) 1/18) (pow.f64 (pow.f64 (pow.f64 d1 3) 9) 1/18))
(*.f64 (pow.f64 (pow.f64 d1 27) 1/18) (pow.f64 (pow.f64 d1 27) 1/18))
(pow.f64 (sqrt.f64 d1) 6)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 3/2) 2)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 9/2) 2/3)
(*.f64 (cbrt.f64 (pow.f64 d1 9/2)) (cbrt.f64 (pow.f64 d1 9/2)))
(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 (log.f64 (pow.f64 d1 3)))
(pow.f64 d1 3)
(exp.f64 (*.f64 (log.f64 d1) 3))
(pow.f64 d1 3)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 3)) 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 (log.f64 (pow.f64 d1 3)) 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 (log.f64 (pow.f64 d1 9)) 1) 1/3))
(pow.f64 d1 3)
(exp.f64 (*.f64 (*.f64 3/2 (log.f64 d1)) 2))
(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 (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 (cbrt.f64 d1) 12)
(pow.f64 d1 4)
(pow.f64 (cbrt.f64 (pow.f64 d1 2)) 6)
(pow.f64 d1 4)
(pow.f64 (cbrt.f64 (pow.f64 d1 8)) 3/2)
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 3)
(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)
(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 (cbrt.f64 d1) 15)
(pow.f64 (cbrt.f64 (pow.f64 d1 5)) 3)
(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 (sqrt.f64 d1) 10)
(pow.f64 (pow.f64 d1 5/2) 2)
(pow.f64 d1 5)
(pow.f64 (*.f64 (pow.f64 d1 6) (pow.f64 d1 9)) 1/3)
(cbrt.f64 (*.f64 (pow.f64 d1 9) (pow.f64 d1 6)))
(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 (cbrt.f64 (pow.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)
(log1p.f64 (expm1.f64 (pow.f64 d1 5)))
(pow.f64 d1 5)
(+.f64 0 (pow.f64 d1 9))
(pow.f64 d1 9)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 9))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 9)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 9)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 9)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 9)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 9)))))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 d1 9))) 1)
(pow.f64 d1 9)
(pow.f64 d1 9)
(pow.f64 (pow.f64 d1 3) 3)
(pow.f64 d1 9)
(pow.f64 (pow.f64 d1 9) 1)
(pow.f64 d1 9)
(pow.f64 (pow.f64 (pow.f64 d1 3) 6) 1/2)
(pow.f64 d1 9)
(pow.f64 (pow.f64 (pow.f64 d1 3) 9) 1/3)
(pow.f64 d1 9)
(pow.f64 (pow.f64 d1 3/2) 6)
(pow.f64 d1 9)
(pow.f64 (pow.f64 d1 9/2) 2)
(pow.f64 d1 9)
(pow.f64 (*.f64 (pow.f64 d1 6) (pow.f64 (pow.f64 d1 7) 3)) 1/3)
(pow.f64 d1 9)
(pow.f64 (*.f64 (pow.f64 d1 12) (pow.f64 d1 15)) 1/3)
(cbrt.f64 (*.f64 (pow.f64 d1 12) (pow.f64 d1 15)))
(pow.f64 (*.f64 (cbrt.f64 (pow.f64 d1 5)) (pow.f64 (cbrt.f64 d1) 4)) 3)
(*.f64 (pow.f64 d1 5) (pow.f64 (pow.f64 (cbrt.f64 d1) 4) 3))
(*.f64 (pow.f64 d1 4) (pow.f64 d1 5))
(pow.f64 (*.f64 (pow.f64 d1 15) (pow.f64 d1 12)) 1/3)
(cbrt.f64 (*.f64 (pow.f64 d1 12) (pow.f64 d1 15)))
(pow.f64 (*.f64 (pow.f64 (pow.f64 d1 7) 3) (pow.f64 d1 6)) 1/3)
(pow.f64 d1 9)
(sqrt.f64 (pow.f64 (pow.f64 d1 3) 6))
(pow.f64 d1 9)
(log.f64 (exp.f64 (pow.f64 d1 9)))
(pow.f64 d1 9)
(cbrt.f64 (pow.f64 (pow.f64 d1 3) 9))
(pow.f64 d1 9)
(expm1.f64 (log1p.f64 (pow.f64 d1 9)))
(pow.f64 d1 9)
(exp.f64 (log.f64 (pow.f64 d1 9)))
(pow.f64 d1 9)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1))
(pow.f64 d1 9)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 3)) 3))
(pow.f64 d1 9)
(exp.f64 (*.f64 (*.f64 (log.f64 d1) 3) 3))
(pow.f64 d1 9)
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 3)) 1) 3))
(pow.f64 d1 9)
(exp.f64 (*.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1) 1))
(pow.f64 d1 9)
(exp.f64 (*.f64 (*.f64 3 (log.f64 (pow.f64 d1 9))) 1/3))
(pow.f64 d1 9)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9/2)) 2))
(pow.f64 d1 9)
(log1p.f64 (expm1.f64 (pow.f64 d1 9)))
(pow.f64 d1 9)

eval51.0ms (3.2%)

Compiler

Compiled 2376 to 1383 computations (41.8% saved)

prune18.0ms (1.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1430143
Fresh000
Picked022
Done000
Total1432145
Accuracy
100.0%
Counts
145 → 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:

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

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

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)

soundness256.0ms (16.3%)

Rules
1524×unswap-sqr
1112×fma-def
900×fma-neg
838×cancel-sign-sub-inv
608×distribute-lft-neg-out
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
023183
179129
231575
383130
4180130
5469230
6650430
7749030
8788430
Stop Event
1×node limit

end0.0ms (0%)

preprocess37.0ms (2.3%)

Remove

(abs d1)

Compiler

Compiled 102 to 52 computations (49% saved)

Profiling

Loading profile data...