FastMath repmul

Time bar (total: 2.1s)

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 9 to 5 computations (44.4% saved)

sample723.0ms (34.8%)

Results
374.0ms5180×body256valid
337.0ms3076×body256infinite
Bogosity

preprocess221.0ms (10.6%)

Algorithm
1×egg-herbie
Rules
631×fma-neg
533×unswap-sqr
474×associate-*r*
426×associate-+l-
362×+-commutative
Problems
256×No Errors
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
014128
14080
210744
318744
440544
583344
6180644
7312644
8482844
9583344
10686944
11740844
12799244
Stop Event
1×node limit
Calls
Call 1
Inputs
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
(*.f64 (*.f64 (*.f64 (neg.f64 d1) (neg.f64 d1)) (neg.f64 d1)) (neg.f64 d1))
(neg.f64 (*.f64 (*.f64 (*.f64 (neg.f64 d1) (neg.f64 d1)) (neg.f64 d1)) (neg.f64 d1)))
Outputs
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
(*.f64 d1 (pow.f64 d1 3))
(pow.f64 d1 4)
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
(*.f64 d1 (pow.f64 d1 3))
(pow.f64 d1 4)
(*.f64 (*.f64 (*.f64 (neg.f64 d1) (neg.f64 d1)) (neg.f64 d1)) (neg.f64 d1))
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
(*.f64 d1 (pow.f64 d1 3))
(pow.f64 d1 4)
(neg.f64 (*.f64 (*.f64 (*.f64 (neg.f64 d1) (neg.f64 d1)) (neg.f64 d1)) (neg.f64 d1)))
(neg.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)))
(*.f64 (pow.f64 d1 3) (neg.f64 d1))
(neg.f64 (pow.f64 d1 4))
Symmetry

(abs d1)

Compiler

Compiled 26 to 9 computations (65.4% saved)

eval1.0ms (0%)

Compiler

Compiled 16 to 8 computations (50% saved)

prune2.0ms (0.1%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(pow.f64 d1 4)
▶99.9%
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
▶99.8%
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
▶100.0%
(pow.f64 d1 4)
▶99.9%
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
▶99.8%
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
Compiler

Compiled 40 to 20 computations (50% saved)

localize40.0ms (1.9%)

Localize:

Found 3 expressions with local error:

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

Compiled 34 to 9 computations (73.5% saved)

series2.0ms (0.1%)

Counts
3 → 36
Calls

9 calls:

TimeVariablePointExpression
0.0ms
d1
@0
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
0.0ms
d1
@-inf
(*.f64 (*.f64 d1 d1) d1)
0.0ms
d1
@inf
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
0.0ms
d1
@0
(*.f64 (*.f64 d1 d1) d1)
0.0ms
d1
@inf
(*.f64 (*.f64 d1 d1) d1)

rewrite294.0ms (14.2%)

Algorithm
1×batch-egg-rewrite
Rules
556×associate-*l*
266×+-commutative
230×pow1
215×*-un-lft-identity
214×add-exp-log
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0942
18730
292330
3769330
Stop Event
1×node limit
Counts
3 → 108
Calls
Call 1
Inputs
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
(*.f64 (*.f64 d1 d1) d1)
Outputs
(+.f64 (pow.f64 d1 4) 0)
(+.f64 1 (-.f64 (pow.f64 d1 4) 1))
(+.f64 (+.f64 (pow.f64 d1 4) 1) -1)
(+.f64 0 (pow.f64 d1 4))
(+.f64 (-.f64 (pow.f64 d1 4) 1) 1)
(+.f64 -1 (+.f64 (pow.f64 d1 4) 1))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 d1 4)) 2))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))))
(+.f64 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 d1 4)) 2))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))))
(-.f64 (+.f64 (pow.f64 d1 4) 1) 1)
(-.f64 (+.f64 0 (+.f64 (pow.f64 d1 4) 1)) 1)
(/.f64 (-.f64 (*.f64 (+.f64 (pow.f64 d1 4) 1) (+.f64 (pow.f64 d1 4) 1)) 1) (+.f64 1 (+.f64 (pow.f64 d1 4) 1)))
(/.f64 (-.f64 (pow.f64 (+.f64 (pow.f64 d1 4) 1) 3) 1) (+.f64 (+.f64 1 (+.f64 (pow.f64 d1 4) 1)) (*.f64 (+.f64 (pow.f64 d1 4) 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 3) 4/3)
(pow.f64 (sqrt.f64 d1) 8)
(pow.f64 (cbrt.f64 d1) 12)
(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)
(pow.f64 (pow.f64 d1 6) 2/3)
(pow.f64 (E.f64) (*.f64 (log.f64 d1) 4))
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (*.f64 (log.f64 d1) 4) 2))) (cbrt.f64 (*.f64 (log.f64 d1) 4)))
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 (log.f64 d1) 4))) (sqrt.f64 (*.f64 (log.f64 d1) 4)))
(pow.f64 (exp.f64 2) (*.f64 (log.f64 d1) 2))
(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))
(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 (pow.f64 d1 4) 0)
(+.f64 1 (-.f64 (pow.f64 d1 4) 1))
(+.f64 (+.f64 (pow.f64 d1 4) 1) -1)
(+.f64 0 (pow.f64 d1 4))
(+.f64 (-.f64 (pow.f64 d1 4) 1) 1)
(+.f64 -1 (+.f64 (pow.f64 d1 4) 1))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 d1 4)) 2))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))))
(+.f64 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 d1 4)) 2))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))))
(-.f64 (+.f64 (pow.f64 d1 4) 1) 1)
(-.f64 (+.f64 0 (+.f64 (pow.f64 d1 4) 1)) 1)
(/.f64 (-.f64 (*.f64 (+.f64 (pow.f64 d1 4) 1) (+.f64 (pow.f64 d1 4) 1)) 1) (+.f64 1 (+.f64 (pow.f64 d1 4) 1)))
(/.f64 (-.f64 (pow.f64 (+.f64 (pow.f64 d1 4) 1) 3) 1) (+.f64 (+.f64 1 (+.f64 (pow.f64 d1 4) 1)) (*.f64 (+.f64 (pow.f64 d1 4) 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 3) 4/3)
(pow.f64 (sqrt.f64 d1) 8)
(pow.f64 (cbrt.f64 d1) 12)
(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)
(pow.f64 (pow.f64 d1 6) 2/3)
(pow.f64 (E.f64) (*.f64 (log.f64 d1) 4))
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (*.f64 (log.f64 d1) 4) 2))) (cbrt.f64 (*.f64 (log.f64 d1) 4)))
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 (log.f64 d1) 4))) (sqrt.f64 (*.f64 (log.f64 d1) 4)))
(pow.f64 (exp.f64 2) (*.f64 (log.f64 d1) 2))
(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))
(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 (pow.f64 d1 3) 0)
(+.f64 1 (-.f64 (pow.f64 d1 3) 1))
(+.f64 (+.f64 (pow.f64 d1 3) 1) -1)
(+.f64 0 (pow.f64 d1 3))
(+.f64 (-.f64 (pow.f64 d1 3) 1) 1)
(+.f64 -1 (+.f64 (pow.f64 d1 3) 1))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 d1 3)) 2))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3)))))
(+.f64 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 d1 3)) 2))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))))
(-.f64 (+.f64 (pow.f64 d1 3) 1) 1)
(-.f64 (+.f64 0 (+.f64 (pow.f64 d1 3) 1)) 1)
(/.f64 (-.f64 (*.f64 (+.f64 (pow.f64 d1 3) 1) (+.f64 (pow.f64 d1 3) 1)) 1) (+.f64 1 (+.f64 (pow.f64 d1 3) 1)))
(/.f64 (-.f64 (pow.f64 (+.f64 (pow.f64 d1 3) 1) 3) 1) (+.f64 (+.f64 1 (+.f64 (pow.f64 d1 3) 1)) (*.f64 (+.f64 (pow.f64 d1 3) 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 (sqrt.f64 d1) 6)
(pow.f64 (pow.f64 d1 3/2) 2)
(pow.f64 (cbrt.f64 d1) 9)
(pow.f64 (pow.f64 d1 6) 1/2)
(pow.f64 (pow.f64 d1 9) 1/3)
(pow.f64 (E.f64) (*.f64 (log.f64 d1) 3))
(pow.f64 (exp.f64 (cbrt.f64 (*.f64 9 (pow.f64 (log.f64 d1) 2)))) (cbrt.f64 (*.f64 (log.f64 d1) 3)))
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 (log.f64 d1) 3))) (sqrt.f64 (*.f64 (log.f64 d1) 3)))
(pow.f64 (exp.f64 3) (log.f64 d1))
(sqrt.f64 (pow.f64 d1 6))
(fabs.f64 (pow.f64 d1 3))
(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 (log.f64 d1) 3))
(exp.f64 (*.f64 (*.f64 3/2 (log.f64 d1)) 2))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1/3))
(log1p.f64 (expm1.f64 (pow.f64 d1 3)))

simplify85.0ms (4.1%)

Algorithm
1×egg-herbie
Rules
524×associate-*r*
504×associate--r+
487×distribute-lft-in
474×associate-*l*
407×fma-def
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
016817179871505
13808589936882
212602422
364622422
Stop Event
1×node limit
Counts
144 → 94
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 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(+.f64 (pow.f64 d1 4) 0)
(+.f64 1 (-.f64 (pow.f64 d1 4) 1))
(+.f64 (+.f64 (pow.f64 d1 4) 1) -1)
(+.f64 0 (pow.f64 d1 4))
(+.f64 (-.f64 (pow.f64 d1 4) 1) 1)
(+.f64 -1 (+.f64 (pow.f64 d1 4) 1))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 d1 4)) 2))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))))
(+.f64 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 d1 4)) 2))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))))
(-.f64 (+.f64 (pow.f64 d1 4) 1) 1)
(-.f64 (+.f64 0 (+.f64 (pow.f64 d1 4) 1)) 1)
(/.f64 (-.f64 (*.f64 (+.f64 (pow.f64 d1 4) 1) (+.f64 (pow.f64 d1 4) 1)) 1) (+.f64 1 (+.f64 (pow.f64 d1 4) 1)))
(/.f64 (-.f64 (pow.f64 (+.f64 (pow.f64 d1 4) 1) 3) 1) (+.f64 (+.f64 1 (+.f64 (pow.f64 d1 4) 1)) (*.f64 (+.f64 (pow.f64 d1 4) 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 3) 4/3)
(pow.f64 (sqrt.f64 d1) 8)
(pow.f64 (cbrt.f64 d1) 12)
(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)
(pow.f64 (pow.f64 d1 6) 2/3)
(pow.f64 (E.f64) (*.f64 (log.f64 d1) 4))
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (*.f64 (log.f64 d1) 4) 2))) (cbrt.f64 (*.f64 (log.f64 d1) 4)))
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 (log.f64 d1) 4))) (sqrt.f64 (*.f64 (log.f64 d1) 4)))
(pow.f64 (exp.f64 2) (*.f64 (log.f64 d1) 2))
(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))
(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 (pow.f64 d1 4) 0)
(+.f64 1 (-.f64 (pow.f64 d1 4) 1))
(+.f64 (+.f64 (pow.f64 d1 4) 1) -1)
(+.f64 0 (pow.f64 d1 4))
(+.f64 (-.f64 (pow.f64 d1 4) 1) 1)
(+.f64 -1 (+.f64 (pow.f64 d1 4) 1))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 d1 4)) 2))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))))
(+.f64 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 d1 4)) 2))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))))
(-.f64 (+.f64 (pow.f64 d1 4) 1) 1)
(-.f64 (+.f64 0 (+.f64 (pow.f64 d1 4) 1)) 1)
(/.f64 (-.f64 (*.f64 (+.f64 (pow.f64 d1 4) 1) (+.f64 (pow.f64 d1 4) 1)) 1) (+.f64 1 (+.f64 (pow.f64 d1 4) 1)))
(/.f64 (-.f64 (pow.f64 (+.f64 (pow.f64 d1 4) 1) 3) 1) (+.f64 (+.f64 1 (+.f64 (pow.f64 d1 4) 1)) (*.f64 (+.f64 (pow.f64 d1 4) 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 3) 4/3)
(pow.f64 (sqrt.f64 d1) 8)
(pow.f64 (cbrt.f64 d1) 12)
(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)
(pow.f64 (pow.f64 d1 6) 2/3)
(pow.f64 (E.f64) (*.f64 (log.f64 d1) 4))
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (*.f64 (log.f64 d1) 4) 2))) (cbrt.f64 (*.f64 (log.f64 d1) 4)))
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 (log.f64 d1) 4))) (sqrt.f64 (*.f64 (log.f64 d1) 4)))
(pow.f64 (exp.f64 2) (*.f64 (log.f64 d1) 2))
(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))
(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 (pow.f64 d1 3) 0)
(+.f64 1 (-.f64 (pow.f64 d1 3) 1))
(+.f64 (+.f64 (pow.f64 d1 3) 1) -1)
(+.f64 0 (pow.f64 d1 3))
(+.f64 (-.f64 (pow.f64 d1 3) 1) 1)
(+.f64 -1 (+.f64 (pow.f64 d1 3) 1))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 d1 3)) 2))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3)))))
(+.f64 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 d1 3)) 2))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))))
(-.f64 (+.f64 (pow.f64 d1 3) 1) 1)
(-.f64 (+.f64 0 (+.f64 (pow.f64 d1 3) 1)) 1)
(/.f64 (-.f64 (*.f64 (+.f64 (pow.f64 d1 3) 1) (+.f64 (pow.f64 d1 3) 1)) 1) (+.f64 1 (+.f64 (pow.f64 d1 3) 1)))
(/.f64 (-.f64 (pow.f64 (+.f64 (pow.f64 d1 3) 1) 3) 1) (+.f64 (+.f64 1 (+.f64 (pow.f64 d1 3) 1)) (*.f64 (+.f64 (pow.f64 d1 3) 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 (sqrt.f64 d1) 6)
(pow.f64 (pow.f64 d1 3/2) 2)
(pow.f64 (cbrt.f64 d1) 9)
(pow.f64 (pow.f64 d1 6) 1/2)
(pow.f64 (pow.f64 d1 9) 1/3)
(pow.f64 (E.f64) (*.f64 (log.f64 d1) 3))
(pow.f64 (exp.f64 (cbrt.f64 (*.f64 9 (pow.f64 (log.f64 d1) 2)))) (cbrt.f64 (*.f64 (log.f64 d1) 3)))
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 (log.f64 d1) 3))) (sqrt.f64 (*.f64 (log.f64 d1) 3)))
(pow.f64 (exp.f64 3) (log.f64 d1))
(sqrt.f64 (pow.f64 d1 6))
(fabs.f64 (pow.f64 d1 3))
(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 (log.f64 d1) 3))
(exp.f64 (*.f64 (*.f64 3/2 (log.f64 d1)) 2))
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1/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 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(+.f64 (pow.f64 d1 4) 0)
(pow.f64 d1 4)
(+.f64 1 (-.f64 (pow.f64 d1 4) 1))
(pow.f64 d1 4)
(+.f64 (+.f64 (pow.f64 d1 4) 1) -1)
(pow.f64 d1 4)
(+.f64 0 (pow.f64 d1 4))
(pow.f64 d1 4)
(+.f64 (-.f64 (pow.f64 d1 4) 1) 1)
(pow.f64 d1 4)
(+.f64 -1 (+.f64 (pow.f64 d1 4) 1))
(pow.f64 d1 4)
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 d1 4)) 2))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))))
(+.f64 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 d1 4)) 2))))
(+.f64 (log.f64 (cbrt.f64 (pow.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)))))
(pow.f64 d1 4)
(-.f64 (+.f64 (pow.f64 d1 4) 1) 1)
(pow.f64 d1 4)
(-.f64 (+.f64 0 (+.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 1 (+.f64 (pow.f64 d1 4) 1)))
(/.f64 (*.f64 (+.f64 1 (+.f64 (pow.f64 d1 4) 1)) (pow.f64 d1 4)) (+.f64 1 (+.f64 (pow.f64 d1 4) 1)))
(/.f64 (*.f64 (pow.f64 d1 4) (+.f64 (pow.f64 d1 4) 2)) (+.f64 (pow.f64 d1 4) 2))
(*.f64 (/.f64 (+.f64 (pow.f64 d1 4) 2) (+.f64 (pow.f64 d1 4) 2)) (pow.f64 d1 4))
(/.f64 (-.f64 (pow.f64 (+.f64 (pow.f64 d1 4) 1) 3) 1) (+.f64 (+.f64 1 (+.f64 (pow.f64 d1 4) 1)) (*.f64 (+.f64 (pow.f64 d1 4) 1) (+.f64 (pow.f64 d1 4) 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))))
(/.f64 (+.f64 -1 (pow.f64 (+.f64 (pow.f64 d1 4) 1) 3)) (+.f64 1 (*.f64 (+.f64 (pow.f64 d1 4) 2) (+.f64 (pow.f64 d1 4) 1))))
(/.f64 (+.f64 -1 (pow.f64 (+.f64 (pow.f64 d1 4) 1) 3)) (fma.f64 (+.f64 (pow.f64 d1 4) 2) (+.f64 (pow.f64 d1 4) 1) 1))
(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 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 (sqrt.f64 d1) 8)
(pow.f64 d1 4)
(pow.f64 (cbrt.f64 d1) 12)
(pow.f64 d1 4)
(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)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 6) 2/3)
(*.f64 (pow.f64 (pow.f64 d1 6) 1/3) (pow.f64 (pow.f64 d1 6) 1/3))
(*.f64 (cbrt.f64 (pow.f64 d1 6)) (cbrt.f64 (pow.f64 d1 6)))
(pow.f64 (E.f64) (*.f64 (log.f64 d1) 4))
(pow.f64 (E.f64) (*.f64 4 (log.f64 d1)))
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (*.f64 (log.f64 d1) 4) 2))) (cbrt.f64 (*.f64 (log.f64 d1) 4)))
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (*.f64 4 (log.f64 d1)) 2))) (cbrt.f64 (*.f64 4 (log.f64 d1))))
(pow.f64 (exp.f64 (cbrt.f64 (*.f64 (pow.f64 (log.f64 d1) 2) 16))) (cbrt.f64 (*.f64 4 (log.f64 d1))))
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 (log.f64 d1) 4))) (sqrt.f64 (*.f64 (log.f64 d1) 4)))
(pow.f64 d1 4)
(pow.f64 (exp.f64 2) (*.f64 (log.f64 d1) 2))
(pow.f64 (exp.f64 2) (*.f64 2 (log.f64 d1)))
(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 (log.f64 d1) 4))
(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 (pow.f64 d1 4) 0)
(pow.f64 d1 4)
(+.f64 1 (-.f64 (pow.f64 d1 4) 1))
(pow.f64 d1 4)
(+.f64 (+.f64 (pow.f64 d1 4) 1) -1)
(pow.f64 d1 4)
(+.f64 0 (pow.f64 d1 4))
(pow.f64 d1 4)
(+.f64 (-.f64 (pow.f64 d1 4) 1) 1)
(pow.f64 d1 4)
(+.f64 -1 (+.f64 (pow.f64 d1 4) 1))
(pow.f64 d1 4)
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 d1 4)) 2))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))))
(+.f64 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 d1 4)) 2))))
(+.f64 (log.f64 (cbrt.f64 (pow.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)))))
(pow.f64 d1 4)
(-.f64 (+.f64 (pow.f64 d1 4) 1) 1)
(pow.f64 d1 4)
(-.f64 (+.f64 0 (+.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 1 (+.f64 (pow.f64 d1 4) 1)))
(/.f64 (*.f64 (+.f64 1 (+.f64 (pow.f64 d1 4) 1)) (pow.f64 d1 4)) (+.f64 1 (+.f64 (pow.f64 d1 4) 1)))
(/.f64 (*.f64 (pow.f64 d1 4) (+.f64 (pow.f64 d1 4) 2)) (+.f64 (pow.f64 d1 4) 2))
(*.f64 (/.f64 (+.f64 (pow.f64 d1 4) 2) (+.f64 (pow.f64 d1 4) 2)) (pow.f64 d1 4))
(/.f64 (-.f64 (pow.f64 (+.f64 (pow.f64 d1 4) 1) 3) 1) (+.f64 (+.f64 1 (+.f64 (pow.f64 d1 4) 1)) (*.f64 (+.f64 (pow.f64 d1 4) 1) (+.f64 (pow.f64 d1 4) 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))))
(/.f64 (+.f64 -1 (pow.f64 (+.f64 (pow.f64 d1 4) 1) 3)) (+.f64 1 (*.f64 (+.f64 (pow.f64 d1 4) 2) (+.f64 (pow.f64 d1 4) 1))))
(/.f64 (+.f64 -1 (pow.f64 (+.f64 (pow.f64 d1 4) 1) 3)) (fma.f64 (+.f64 (pow.f64 d1 4) 2) (+.f64 (pow.f64 d1 4) 1) 1))
(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 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 (sqrt.f64 d1) 8)
(pow.f64 d1 4)
(pow.f64 (cbrt.f64 d1) 12)
(pow.f64 d1 4)
(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)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 6) 2/3)
(*.f64 (pow.f64 (pow.f64 d1 6) 1/3) (pow.f64 (pow.f64 d1 6) 1/3))
(*.f64 (cbrt.f64 (pow.f64 d1 6)) (cbrt.f64 (pow.f64 d1 6)))
(pow.f64 (E.f64) (*.f64 (log.f64 d1) 4))
(pow.f64 (E.f64) (*.f64 4 (log.f64 d1)))
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (*.f64 (log.f64 d1) 4) 2))) (cbrt.f64 (*.f64 (log.f64 d1) 4)))
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (*.f64 4 (log.f64 d1)) 2))) (cbrt.f64 (*.f64 4 (log.f64 d1))))
(pow.f64 (exp.f64 (cbrt.f64 (*.f64 (pow.f64 (log.f64 d1) 2) 16))) (cbrt.f64 (*.f64 4 (log.f64 d1))))
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 (log.f64 d1) 4))) (sqrt.f64 (*.f64 (log.f64 d1) 4)))
(pow.f64 d1 4)
(pow.f64 (exp.f64 2) (*.f64 (log.f64 d1) 2))
(pow.f64 (exp.f64 2) (*.f64 2 (log.f64 d1)))
(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 (log.f64 d1) 4))
(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 (pow.f64 d1 3) 0)
(pow.f64 d1 3)
(+.f64 1 (-.f64 (pow.f64 d1 3) 1))
(pow.f64 d1 3)
(+.f64 (+.f64 (pow.f64 d1 3) 1) -1)
(pow.f64 d1 3)
(+.f64 0 (pow.f64 d1 3))
(pow.f64 d1 3)
(+.f64 (-.f64 (pow.f64 d1 3) 1) 1)
(pow.f64 d1 3)
(+.f64 -1 (+.f64 (pow.f64 d1 3) 1))
(pow.f64 d1 3)
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 d1 3)) 2))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3)))))
(+.f64 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 d1 3)) 2))))
(+.f64 (log.f64 (cbrt.f64 (pow.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)))))
(pow.f64 d1 3)
(-.f64 (+.f64 (pow.f64 d1 3) 1) 1)
(pow.f64 d1 3)
(-.f64 (+.f64 0 (+.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 1 (+.f64 (pow.f64 d1 3) 1)))
(/.f64 (*.f64 (+.f64 1 (+.f64 (pow.f64 d1 3) 1)) (pow.f64 d1 3)) (+.f64 1 (+.f64 (pow.f64 d1 3) 1)))
(/.f64 (*.f64 (pow.f64 d1 3) (+.f64 (pow.f64 d1 3) 2)) (+.f64 (pow.f64 d1 3) 2))
(*.f64 (/.f64 (+.f64 (pow.f64 d1 3) 2) (+.f64 (pow.f64 d1 3) 2)) (pow.f64 d1 3))
(/.f64 (-.f64 (pow.f64 (+.f64 (pow.f64 d1 3) 1) 3) 1) (+.f64 (+.f64 1 (+.f64 (pow.f64 d1 3) 1)) (*.f64 (+.f64 (pow.f64 d1 3) 1) (+.f64 (pow.f64 d1 3) 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))))
(/.f64 (+.f64 -1 (pow.f64 (+.f64 (pow.f64 d1 3) 1) 3)) (+.f64 1 (*.f64 (+.f64 (pow.f64 d1 3) 2) (+.f64 (pow.f64 d1 3) 1))))
(/.f64 (+.f64 -1 (pow.f64 (+.f64 (pow.f64 d1 3) 1) 3)) (fma.f64 (+.f64 (pow.f64 d1 3) 2) (+.f64 (pow.f64 d1 3) 1) 1))
(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 (sqrt.f64 d1) 6)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 3/2) 2)
(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 (E.f64) (*.f64 (log.f64 d1) 3))
(pow.f64 (E.f64) (*.f64 3 (log.f64 d1)))
(pow.f64 (exp.f64 (cbrt.f64 (*.f64 9 (pow.f64 (log.f64 d1) 2)))) (cbrt.f64 (*.f64 (log.f64 d1) 3)))
(pow.f64 (exp.f64 (cbrt.f64 (*.f64 9 (pow.f64 (log.f64 d1) 2)))) (cbrt.f64 (*.f64 3 (log.f64 d1))))
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 (log.f64 d1) 3))) (sqrt.f64 (*.f64 (log.f64 d1) 3)))
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 3 (log.f64 d1)))) (sqrt.f64 (*.f64 3 (log.f64 d1))))
(pow.f64 (exp.f64 3) (log.f64 d1))
(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 d1 9))
(pow.f64 d1 3)
(expm1.f64 (log1p.f64 (pow.f64 d1 3)))
(pow.f64 d1 3)
(exp.f64 (*.f64 (log.f64 d1) 3))
(pow.f64 d1 3)
(exp.f64 (*.f64 (*.f64 3/2 (log.f64 d1)) 2))
(pow.f64 d1 3)
(exp.f64 (*.f64 (log.f64 (pow.f64 d1 9)) 1/3))
(pow.f64 d1 3)
(log1p.f64 (expm1.f64 (pow.f64 d1 3)))
(pow.f64 d1 3)

eval53.0ms (2.5%)

Compiler

Compiled 1008 to 782 computations (22.4% saved)

prune14.0ms (0.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New94094
Fresh000
Picked033
Done000
Total94397
Accuracy
100.0%
Counts
97 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(pow.f64 d1 4)
✓99.9%
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
✓99.8%
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
Compiler

Compiled 38 to 17 computations (55.3% saved)

regimes7.0ms (0.3%)

Counts
3 → 1
Calls
Call 1
Inputs
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
(pow.f64 d1 4)
Outputs
(pow.f64 d1 4)
Calls

2 calls:

4.0ms
d1
2.0ms
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
Results
AccuracySegmentsBranch
100.0%1d1
100.0%1(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
Compiler

Compiled 28 to 12 computations (57.1% saved)

regimes6.0ms (0.3%)

Counts
2 → 1
Calls
Call 1
Inputs
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
Outputs
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
Calls

2 calls:

3.0ms
d1
2.0ms
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
Results
AccuracySegmentsBranch
99.9%1d1
99.9%1(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
Compiler

Compiled 25 to 10 computations (60% saved)

regimes3.0ms (0.1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts
1 → 1
Calls
Call 1
Inputs
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
Outputs
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
Calls

1 calls:

3.0ms
d1
Results
AccuracySegmentsBranch
99.8%1d1
Compiler

Compiled 10 to 4 computations (60% saved)

simplify4.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01172
11372
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(pow.f64 d1 4)
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
Outputs
(pow.f64 d1 4)
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
(*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
Compiler

Compiled 20 to 10 computations (50% saved)

soundness573.0ms (27.6%)

Rules
631×fma-neg
631×fma-neg
533×unswap-sqr
533×unswap-sqr
474×associate-*r*
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
014128
14080
210744
318744
440544
583344
6180644
7312644
8482844
9583344
10686944
11740844
12799244
014128
14080
210744
318744
440544
583344
6180644
7312644
8482844
9583344
10686944
11740844
12799244
Stop Event
1×node limit
1×node limit
Compiler

Compiled 36 to 18 computations (50% saved)

end0.0ms (0%)

preprocess49.0ms (2.3%)

Remove

(abs d1)

Compiler

Compiled 92 to 52 computations (43.5% saved)

Profiling

Loading profile data...