FastMath test5

Time bar (total: 1.7s)

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)

sample826.0ms (50%)

Results
447.0ms4552×body256valid
368.0ms3704×body256infinite
Bogosity

preprocess148.0ms (8.9%)

Algorithm
1×egg-herbie
Rules
551×unswap-sqr
532×distribute-lft-in
471×fma-def
427×distribute-rgt-in
347×associate-+l+
Problems
256×No Errors
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
024264
182176
2280104
380344
4259044
5511344
6721144
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 (*.f64 d1 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 (*.f64 d1 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 (*.f64 d1 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 5) (pow.f64 (neg.f64 d1) 5))
(neg.f64 (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)

localize44.0ms (2.7%)

Localize:

Found 4 expressions with local error:

NewAccuracyProgram
✓99.9%
(*.f64 d1 (*.f64 d1 d1))
✓99.9%
(*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1))
✓99.9%
(*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1)
✓99.9%
(*.f64 (*.f64 d1 (*.f64 d1 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
@0
(*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1))
0.0ms
d1
@0
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
0.0ms
d1
@-inf
(*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1)
0.0ms
d1
@0
(*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1)
0.0ms
d1
@inf
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)

rewrite177.0ms (10.7%)

Algorithm
1×batch-egg-rewrite
Rules
404×*-un-lft-identity
369×add-exp-log
359×add-sqr-sqrt
357×add-cube-cbrt
351×add-cbrt-cube
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01088
113049
2151149
Stop Event
1×node limit
Counts
4 → 72
Calls
Call 1
Inputs
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1)
(*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1))
(*.f64 d1 (*.f64 d1 d1))
Outputs
(+.f64 (+.f64 (pow.f64 d1 4) 1) -1)
(-.f64 (+.f64 (pow.f64 d1 4) 1) 1)
(/.f64 (-.f64 (*.f64 (+.f64 (pow.f64 d1 4) 1) (+.f64 (pow.f64 d1 4) 1)) 1) (+.f64 (+.f64 (pow.f64 d1 4) 1) 1))
(/.f64 (-.f64 (pow.f64 (+.f64 (pow.f64 d1 4) 1) 3) 1) (+.f64 (*.f64 (+.f64 (pow.f64 d1 4) 1) (+.f64 (pow.f64 d1 4) 1)) (+.f64 1 (+.f64 (pow.f64 d1 4) 1))))
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 2) 2)
(pow.f64 (pow.f64 d1 4) 1)
(pow.f64 (pow.f64 d1 6) 2/3)
(pow.f64 (pow.f64 (cbrt.f64 d1) 2) 6)
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 3)
(pow.f64 (pow.f64 d1 8) 1/2)
(pow.f64 (pow.f64 d1 12) 1/3)
(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 (log.f64 d1) 4))
(log1p.f64 (expm1.f64 (pow.f64 d1 4)))
(+.f64 (+.f64 (pow.f64 d1 5) 1) -1)
(-.f64 (+.f64 (pow.f64 d1 5) 1) 1)
(/.f64 (-.f64 (*.f64 (+.f64 (pow.f64 d1 5) 1) (+.f64 (pow.f64 d1 5) 1)) 1) (+.f64 (+.f64 (pow.f64 d1 5) 1) 1))
(/.f64 (-.f64 (pow.f64 (+.f64 (pow.f64 d1 5) 1) 3) 1) (+.f64 (*.f64 (+.f64 (pow.f64 d1 5) 1) (+.f64 (pow.f64 d1 5) 1)) (+.f64 1 (+.f64 (pow.f64 d1 5) 1))))
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 2) 5/2)
(pow.f64 (pow.f64 d1 5) 1)
(pow.f64 (pow.f64 d1 5/2) 2)
(pow.f64 (cbrt.f64 (pow.f64 d1 5)) 3)
(pow.f64 (pow.f64 d1 10) 1/2)
(pow.f64 (pow.f64 (pow.f64 d1 5) 3) 1/3)
(sqrt.f64 (pow.f64 d1 10))
(fabs.f64 (pow.f64 d1 5))
(log.f64 (exp.f64 (pow.f64 d1 5)))
(cbrt.f64 (pow.f64 (pow.f64 d1 5) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 8) (*.f64 d1 (pow.f64 d1 6))))
(expm1.f64 (log1p.f64 (pow.f64 d1 5)))
(exp.f64 (*.f64 (log.f64 d1) 5))
(log1p.f64 (expm1.f64 (pow.f64 d1 5)))
(+.f64 (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1) -1)
(-.f64 (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1) 1)
(/.f64 (-.f64 (*.f64 (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1) (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1)) 1) (+.f64 (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1) 1))
(/.f64 (-.f64 (pow.f64 (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1) 3) 1) (+.f64 (*.f64 (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1) (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1)) (+.f64 1 (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1))))
(pow.f64 (*.f64 d1 (pow.f64 d1 6)) 1)
(pow.f64 (*.f64 d1 (pow.f64 d1 5/2)) 2)
(pow.f64 (*.f64 d1 (pow.f64 (cbrt.f64 d1) 4)) 3)
(pow.f64 (*.f64 (pow.f64 d1 2) (pow.f64 d1 12)) 1/2)
(pow.f64 (*.f64 d1 (pow.f64 (pow.f64 d1 5) 4)) 1/3)
(sqrt.f64 (*.f64 (pow.f64 d1 2) (pow.f64 d1 12)))
(fabs.f64 (*.f64 d1 (pow.f64 d1 6)))
(log.f64 (pow.f64 (exp.f64 (pow.f64 d1 6)) d1))
(cbrt.f64 (*.f64 d1 (pow.f64 (pow.f64 d1 5) 4)))
(expm1.f64 (log1p.f64 (*.f64 d1 (pow.f64 d1 6))))
(exp.f64 (log.f64 (*.f64 d1 (pow.f64 d1 6))))
(log1p.f64 (expm1.f64 (*.f64 d1 (pow.f64 d1 6))))
(+.f64 (+.f64 (pow.f64 d1 3) 1) -1)
(-.f64 (+.f64 (pow.f64 d1 3) 1) 1)
(/.f64 (-.f64 (*.f64 (+.f64 (pow.f64 d1 3) 1) (+.f64 (pow.f64 d1 3) 1)) 1) (+.f64 (+.f64 (pow.f64 d1 3) 1) 1))
(/.f64 (-.f64 (pow.f64 (+.f64 (pow.f64 d1 3) 1) 3) 1) (+.f64 (*.f64 (+.f64 (pow.f64 d1 3) 1) (+.f64 (pow.f64 d1 3) 1)) (+.f64 1 (+.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 6) 1/2)
(pow.f64 (sqrt.f64 d1) 6)
(pow.f64 (pow.f64 d1 3/2) 2)
(pow.f64 (pow.f64 (pow.f64 d1 3) 3) 1/3)
(sqrt.f64 (pow.f64 d1 6))
(fabs.f64 (pow.f64 d1 3))
(log.f64 (exp.f64 (pow.f64 d1 3)))
(cbrt.f64 (pow.f64 (pow.f64 d1 3) 3))
(expm1.f64 (log1p.f64 (pow.f64 d1 3)))
(exp.f64 (log.f64 (pow.f64 d1 3)))
(log1p.f64 (expm1.f64 (pow.f64 d1 3)))

simplify77.0ms (4.7%)

Algorithm
1×egg-herbie
Rules
530×fma-def
512×distribute-lft-in
460×*-commutative
445×distribute-rgt-in
415×associate-+r-
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01664294969116
14291776
216531714
362031714
Stop Event
1×node limit
Counts
120 → 104
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 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 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(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)
(+.f64 (+.f64 (pow.f64 d1 4) 1) -1)
(-.f64 (+.f64 (pow.f64 d1 4) 1) 1)
(/.f64 (-.f64 (*.f64 (+.f64 (pow.f64 d1 4) 1) (+.f64 (pow.f64 d1 4) 1)) 1) (+.f64 (+.f64 (pow.f64 d1 4) 1) 1))
(/.f64 (-.f64 (pow.f64 (+.f64 (pow.f64 d1 4) 1) 3) 1) (+.f64 (*.f64 (+.f64 (pow.f64 d1 4) 1) (+.f64 (pow.f64 d1 4) 1)) (+.f64 1 (+.f64 (pow.f64 d1 4) 1))))
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 2) 2)
(pow.f64 (pow.f64 d1 4) 1)
(pow.f64 (pow.f64 d1 6) 2/3)
(pow.f64 (pow.f64 (cbrt.f64 d1) 2) 6)
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 3)
(pow.f64 (pow.f64 d1 8) 1/2)
(pow.f64 (pow.f64 d1 12) 1/3)
(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 (log.f64 d1) 4))
(log1p.f64 (expm1.f64 (pow.f64 d1 4)))
(+.f64 (+.f64 (pow.f64 d1 5) 1) -1)
(-.f64 (+.f64 (pow.f64 d1 5) 1) 1)
(/.f64 (-.f64 (*.f64 (+.f64 (pow.f64 d1 5) 1) (+.f64 (pow.f64 d1 5) 1)) 1) (+.f64 (+.f64 (pow.f64 d1 5) 1) 1))
(/.f64 (-.f64 (pow.f64 (+.f64 (pow.f64 d1 5) 1) 3) 1) (+.f64 (*.f64 (+.f64 (pow.f64 d1 5) 1) (+.f64 (pow.f64 d1 5) 1)) (+.f64 1 (+.f64 (pow.f64 d1 5) 1))))
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 2) 5/2)
(pow.f64 (pow.f64 d1 5) 1)
(pow.f64 (pow.f64 d1 5/2) 2)
(pow.f64 (cbrt.f64 (pow.f64 d1 5)) 3)
(pow.f64 (pow.f64 d1 10) 1/2)
(pow.f64 (pow.f64 (pow.f64 d1 5) 3) 1/3)
(sqrt.f64 (pow.f64 d1 10))
(fabs.f64 (pow.f64 d1 5))
(log.f64 (exp.f64 (pow.f64 d1 5)))
(cbrt.f64 (pow.f64 (pow.f64 d1 5) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 8) (*.f64 d1 (pow.f64 d1 6))))
(expm1.f64 (log1p.f64 (pow.f64 d1 5)))
(exp.f64 (*.f64 (log.f64 d1) 5))
(log1p.f64 (expm1.f64 (pow.f64 d1 5)))
(+.f64 (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1) -1)
(-.f64 (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1) 1)
(/.f64 (-.f64 (*.f64 (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1) (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1)) 1) (+.f64 (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1) 1))
(/.f64 (-.f64 (pow.f64 (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1) 3) 1) (+.f64 (*.f64 (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1) (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1)) (+.f64 1 (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1))))
(pow.f64 (*.f64 d1 (pow.f64 d1 6)) 1)
(pow.f64 (*.f64 d1 (pow.f64 d1 5/2)) 2)
(pow.f64 (*.f64 d1 (pow.f64 (cbrt.f64 d1) 4)) 3)
(pow.f64 (*.f64 (pow.f64 d1 2) (pow.f64 d1 12)) 1/2)
(pow.f64 (*.f64 d1 (pow.f64 (pow.f64 d1 5) 4)) 1/3)
(sqrt.f64 (*.f64 (pow.f64 d1 2) (pow.f64 d1 12)))
(fabs.f64 (*.f64 d1 (pow.f64 d1 6)))
(log.f64 (pow.f64 (exp.f64 (pow.f64 d1 6)) d1))
(cbrt.f64 (*.f64 d1 (pow.f64 (pow.f64 d1 5) 4)))
(expm1.f64 (log1p.f64 (*.f64 d1 (pow.f64 d1 6))))
(exp.f64 (log.f64 (*.f64 d1 (pow.f64 d1 6))))
(log1p.f64 (expm1.f64 (*.f64 d1 (pow.f64 d1 6))))
(+.f64 (+.f64 (pow.f64 d1 3) 1) -1)
(-.f64 (+.f64 (pow.f64 d1 3) 1) 1)
(/.f64 (-.f64 (*.f64 (+.f64 (pow.f64 d1 3) 1) (+.f64 (pow.f64 d1 3) 1)) 1) (+.f64 (+.f64 (pow.f64 d1 3) 1) 1))
(/.f64 (-.f64 (pow.f64 (+.f64 (pow.f64 d1 3) 1) 3) 1) (+.f64 (*.f64 (+.f64 (pow.f64 d1 3) 1) (+.f64 (pow.f64 d1 3) 1)) (+.f64 1 (+.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 6) 1/2)
(pow.f64 (sqrt.f64 d1) 6)
(pow.f64 (pow.f64 d1 3/2) 2)
(pow.f64 (pow.f64 (pow.f64 d1 3) 3) 1/3)
(sqrt.f64 (pow.f64 d1 6))
(fabs.f64 (pow.f64 d1 3))
(log.f64 (exp.f64 (pow.f64 d1 3)))
(cbrt.f64 (pow.f64 (pow.f64 d1 3) 3))
(expm1.f64 (log1p.f64 (pow.f64 d1 3)))
(exp.f64 (log.f64 (pow.f64 d1 3)))
(log1p.f64 (expm1.f64 (pow.f64 d1 3)))
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 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 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(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)
(+.f64 (+.f64 (pow.f64 d1 4) 1) -1)
(pow.f64 d1 4)
(-.f64 (+.f64 (pow.f64 d1 4) 1) 1)
(pow.f64 d1 4)
(/.f64 (-.f64 (*.f64 (+.f64 (pow.f64 d1 4) 1) (+.f64 (pow.f64 d1 4) 1)) 1) (+.f64 (+.f64 (pow.f64 d1 4) 1) 1))
(/.f64 (*.f64 (+.f64 (pow.f64 d1 4) 2) (+.f64 (pow.f64 d1 4) 0)) (+.f64 (pow.f64 d1 4) 2))
(/.f64 (+.f64 (pow.f64 d1 4) 2) (/.f64 (+.f64 (pow.f64 d1 4) 2) (pow.f64 d1 4)))
(*.f64 (/.f64 (+.f64 (pow.f64 d1 4) 2) (+.f64 (pow.f64 d1 4) 2)) (pow.f64 d1 4))
(*.f64 (pow.f64 d1 4) (/.f64 (+.f64 (pow.f64 d1 4) 2) (+.f64 (pow.f64 d1 4) 2)))
(/.f64 (-.f64 (pow.f64 (+.f64 (pow.f64 d1 4) 1) 3) 1) (+.f64 (*.f64 (+.f64 (pow.f64 d1 4) 1) (+.f64 (pow.f64 d1 4) 1)) (+.f64 1 (+.f64 (pow.f64 d1 4) 1))))
(/.f64 (+.f64 (pow.f64 (+.f64 (pow.f64 d1 4) 1) 3) -1) (fma.f64 (+.f64 (pow.f64 d1 4) 1) (+.f64 (pow.f64 d1 4) 1) (+.f64 (pow.f64 d1 4) 2)))
(/.f64 (+.f64 -1 (pow.f64 (+.f64 (pow.f64 d1 4) 1) 3)) (fma.f64 (+.f64 (pow.f64 d1 4) 1) (+.f64 (pow.f64 d1 4) 1) (+.f64 (pow.f64 d1 4) 2)))
(/.f64 (+.f64 -1 (pow.f64 (+.f64 (pow.f64 d1 4) 1) 3)) (+.f64 1 (*.f64 (+.f64 (pow.f64 d1 4) 1) (+.f64 (pow.f64 d1 4) 2))))
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 2) 2)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 4) 1)
(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 (cbrt.f64 d1) 2) 6)
(pow.f64 d1 4)
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 3)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 8) 1/2)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 12) 1/3)
(cbrt.f64 (pow.f64 d1 12))
(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))
(expm1.f64 (log1p.f64 (pow.f64 d1 4)))
(pow.f64 d1 4)
(exp.f64 (*.f64 (log.f64 d1) 4))
(pow.f64 d1 4)
(log1p.f64 (expm1.f64 (pow.f64 d1 4)))
(pow.f64 d1 4)
(+.f64 (+.f64 (pow.f64 d1 5) 1) -1)
(pow.f64 d1 5)
(-.f64 (+.f64 (pow.f64 d1 5) 1) 1)
(pow.f64 d1 5)
(/.f64 (-.f64 (*.f64 (+.f64 (pow.f64 d1 5) 1) (+.f64 (pow.f64 d1 5) 1)) 1) (+.f64 (+.f64 (pow.f64 d1 5) 1) 1))
(/.f64 (*.f64 (+.f64 (pow.f64 d1 5) 2) (+.f64 (pow.f64 d1 5) 0)) (+.f64 (pow.f64 d1 5) 2))
(/.f64 (+.f64 (pow.f64 d1 5) 2) (/.f64 (+.f64 (pow.f64 d1 5) 2) (pow.f64 d1 5)))
(*.f64 (pow.f64 d1 5) (/.f64 (+.f64 (pow.f64 d1 5) 2) (+.f64 (pow.f64 d1 5) 2)))
(/.f64 (-.f64 (pow.f64 (+.f64 (pow.f64 d1 5) 1) 3) 1) (+.f64 (*.f64 (+.f64 (pow.f64 d1 5) 1) (+.f64 (pow.f64 d1 5) 1)) (+.f64 1 (+.f64 (pow.f64 d1 5) 1))))
(/.f64 (+.f64 (pow.f64 (+.f64 (pow.f64 d1 5) 1) 3) -1) (fma.f64 (+.f64 (pow.f64 d1 5) 1) (+.f64 (pow.f64 d1 5) 1) (+.f64 (pow.f64 d1 5) 2)))
(/.f64 (+.f64 -1 (pow.f64 (+.f64 (pow.f64 d1 5) 1) 3)) (fma.f64 (+.f64 (pow.f64 d1 5) 1) (+.f64 (pow.f64 d1 5) 1) (+.f64 (pow.f64 d1 5) 2)))
(/.f64 (+.f64 -1 (pow.f64 (+.f64 (pow.f64 d1 5) 1) 3)) (+.f64 1 (*.f64 (+.f64 (pow.f64 d1 5) 1) (+.f64 (pow.f64 d1 5) 2))))
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 2) 5/2)
(pow.f64 (pow.f64 d1 5) 1)
(pow.f64 d1 5)
(pow.f64 (pow.f64 d1 5/2) 2)
(pow.f64 d1 5)
(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 (pow.f64 d1 5) 3) 1/3)
(pow.f64 d1 5)
(sqrt.f64 (pow.f64 d1 10))
(pow.f64 d1 5)
(fabs.f64 (pow.f64 d1 5))
(pow.f64 d1 5)
(log.f64 (exp.f64 (pow.f64 d1 5)))
(pow.f64 d1 5)
(cbrt.f64 (pow.f64 (pow.f64 d1 5) 3))
(pow.f64 d1 5)
(cbrt.f64 (*.f64 (pow.f64 d1 8) (*.f64 d1 (pow.f64 d1 6))))
(cbrt.f64 (*.f64 (pow.f64 d1 6) (pow.f64 d1 9)))
(cbrt.f64 (*.f64 d1 (pow.f64 d1 14)))
(expm1.f64 (log1p.f64 (pow.f64 d1 5)))
(pow.f64 d1 5)
(exp.f64 (*.f64 (log.f64 d1) 5))
(pow.f64 d1 5)
(log1p.f64 (expm1.f64 (pow.f64 d1 5)))
(pow.f64 d1 5)
(+.f64 (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1) -1)
(pow.f64 d1 7)
(-.f64 (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1) 1)
(pow.f64 d1 7)
(/.f64 (-.f64 (*.f64 (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1) (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1)) 1) (+.f64 (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1) 1))
(/.f64 (fma.f64 (fma.f64 d1 (pow.f64 d1 6) 1) (fma.f64 d1 (pow.f64 d1 6) 1) -1) (+.f64 (*.f64 d1 (pow.f64 d1 6)) 2))
(/.f64 (+.f64 2 (pow.f64 d1 7)) (/.f64 (+.f64 2 (pow.f64 d1 7)) (pow.f64 d1 7)))
(*.f64 (/.f64 (+.f64 2 (pow.f64 d1 7)) (+.f64 2 (pow.f64 d1 7))) (pow.f64 d1 7))
(*.f64 (pow.f64 d1 7) (/.f64 (+.f64 2 (pow.f64 d1 7)) (+.f64 2 (pow.f64 d1 7))))
(/.f64 (-.f64 (pow.f64 (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1) 3) 1) (+.f64 (*.f64 (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1) (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1)) (+.f64 1 (+.f64 (*.f64 d1 (pow.f64 d1 6)) 1))))
(/.f64 (+.f64 (pow.f64 (fma.f64 d1 (pow.f64 d1 6) 1) 3) -1) (fma.f64 (fma.f64 d1 (pow.f64 d1 6) 1) (fma.f64 d1 (pow.f64 d1 6) 1) (+.f64 (*.f64 d1 (pow.f64 d1 6)) 2)))
(/.f64 (+.f64 -1 (pow.f64 (+.f64 1 (pow.f64 d1 7)) 3)) (fma.f64 (+.f64 1 (pow.f64 d1 7)) (+.f64 1 (pow.f64 d1 7)) (+.f64 2 (pow.f64 d1 7))))
(/.f64 (+.f64 -1 (pow.f64 (+.f64 1 (pow.f64 d1 7)) 3)) (+.f64 1 (*.f64 (+.f64 1 (pow.f64 d1 7)) (+.f64 2 (pow.f64 d1 7)))))
(pow.f64 (*.f64 d1 (pow.f64 d1 6)) 1)
(pow.f64 d1 7)
(pow.f64 (*.f64 d1 (pow.f64 d1 5/2)) 2)
(pow.f64 d1 7)
(pow.f64 (*.f64 d1 (pow.f64 (cbrt.f64 d1) 4)) 3)
(pow.f64 d1 7)
(pow.f64 (*.f64 (pow.f64 d1 2) (pow.f64 d1 12)) 1/2)
(pow.f64 d1 7)
(pow.f64 (*.f64 d1 (pow.f64 (pow.f64 d1 5) 4)) 1/3)
(cbrt.f64 (*.f64 d1 (pow.f64 (pow.f64 d1 5) 4)))
(cbrt.f64 (*.f64 d1 (pow.f64 d1 20)))
(sqrt.f64 (*.f64 (pow.f64 d1 2) (pow.f64 d1 12)))
(pow.f64 d1 7)
(fabs.f64 (*.f64 d1 (pow.f64 d1 6)))
(pow.f64 d1 7)
(log.f64 (pow.f64 (exp.f64 (pow.f64 d1 6)) d1))
(pow.f64 d1 7)
(cbrt.f64 (*.f64 d1 (pow.f64 (pow.f64 d1 5) 4)))
(cbrt.f64 (*.f64 d1 (pow.f64 d1 20)))
(expm1.f64 (log1p.f64 (*.f64 d1 (pow.f64 d1 6))))
(pow.f64 d1 7)
(exp.f64 (log.f64 (*.f64 d1 (pow.f64 d1 6))))
(pow.f64 d1 7)
(log1p.f64 (expm1.f64 (*.f64 d1 (pow.f64 d1 6))))
(pow.f64 d1 7)
(+.f64 (+.f64 (pow.f64 d1 3) 1) -1)
(pow.f64 d1 3)
(-.f64 (+.f64 (pow.f64 d1 3) 1) 1)
(pow.f64 d1 3)
(/.f64 (-.f64 (*.f64 (+.f64 (pow.f64 d1 3) 1) (+.f64 (pow.f64 d1 3) 1)) 1) (+.f64 (+.f64 (pow.f64 d1 3) 1) 1))
(/.f64 (*.f64 (+.f64 (pow.f64 d1 3) 2) (+.f64 (pow.f64 d1 3) 0)) (+.f64 (pow.f64 d1 3) 2))
(/.f64 (+.f64 (pow.f64 d1 3) 2) (/.f64 (+.f64 (pow.f64 d1 3) 2) (pow.f64 d1 3)))
(*.f64 (/.f64 (+.f64 (pow.f64 d1 3) 2) (+.f64 (pow.f64 d1 3) 2)) (pow.f64 d1 3))
(/.f64 (+.f64 (pow.f64 d1 6) (*.f64 (pow.f64 d1 3) 2)) (+.f64 (pow.f64 d1 3) 2))
(/.f64 (-.f64 (pow.f64 (+.f64 (pow.f64 d1 3) 1) 3) 1) (+.f64 (*.f64 (+.f64 (pow.f64 d1 3) 1) (+.f64 (pow.f64 d1 3) 1)) (+.f64 1 (+.f64 (pow.f64 d1 3) 1))))
(/.f64 (+.f64 (pow.f64 (+.f64 (pow.f64 d1 3) 1) 3) -1) (fma.f64 (+.f64 (pow.f64 d1 3) 1) (+.f64 (pow.f64 d1 3) 1) (+.f64 (pow.f64 d1 3) 2)))
(/.f64 (+.f64 -1 (pow.f64 (+.f64 (pow.f64 d1 3) 1) 3)) (fma.f64 (+.f64 (pow.f64 d1 3) 1) (+.f64 (pow.f64 d1 3) 1) (+.f64 (pow.f64 d1 3) 2)))
(/.f64 (+.f64 -1 (pow.f64 (+.f64 (pow.f64 d1 3) 1) 3)) (+.f64 1 (*.f64 (+.f64 (pow.f64 d1 3) 1) (+.f64 (pow.f64 d1 3) 2))))
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 2) 3/2)
(pow.f64 (pow.f64 d1 3) 1)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 6) 1/2)
(pow.f64 d1 3)
(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 (pow.f64 d1 3) 3) 1/3)
(pow.f64 d1 3)
(sqrt.f64 (pow.f64 d1 6))
(pow.f64 d1 3)
(fabs.f64 (pow.f64 d1 3))
(pow.f64 d1 3)
(log.f64 (exp.f64 (pow.f64 d1 3)))
(pow.f64 d1 3)
(cbrt.f64 (pow.f64 (pow.f64 d1 3) 3))
(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)
(log1p.f64 (expm1.f64 (pow.f64 d1 3)))
(pow.f64 d1 3)

eval37.0ms (2.2%)

Compiler

Compiled 2254 to 1406 computations (37.6% saved)

prune19.0ms (1.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1040104
Fresh000
Picked022
Done000
Total1042106
Accuracy
100.0%
Counts
106 → 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)

regimes6.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:

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

soundness266.0ms (16.1%)

Rules
551×unswap-sqr
532×distribute-lft-in
471×fma-def
427×distribute-rgt-in
347×associate-+l+
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
024264
182176
2280104
380344
4259044
5511344
6721144
Stop Event
1×node limit
Compiler

Compiled 222 to 30 computations (86.5% saved)

end0.0ms (0%)

preprocess36.0ms (2.2%)

Remove

(abs d1)

Compiler

Compiled 118 to 64 computations (45.8% saved)

Profiling

Loading profile data...