FastMath repmul

Time bar (total: 2.2s)

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)

sample950.0ms (42.7%)

Results
701.0ms5175×body256valid
237.0ms3081×body256infinite
Bogosity

preprocess216.0ms (9.7%)

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

Useful iterations: 2 (0.0ms)

IterNodesCost
01393
13357
27530
320330
442030
584430
6178830
7310330
8480530
9581130
10684730
11738630
12797030
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))
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)
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)

localize41.0ms (1.8%)

Localize:

Found 3 expressions with local error:

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

rewrite290.0ms (13%)

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

simplify88.0ms (4%)

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 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)
(+.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)))
(+.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)))
Outputs
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 d1 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)
(+.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)
(+.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)

eval24.0ms (1.1%)

Compiler

Compiled 1008 to 782 computations (22.4% saved)

prune12.0ms (0.5%)

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)

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

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

regimes4.0ms (0.2%)

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)

simplify3.0ms (0.1%)

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)

soundness540.0ms (24.3%)

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

Useful iterations: 2 (0.0ms)

IterNodesCost
01393
13357
27530
320330
442030
584430
6178830
7310330
8480530
9581130
10684730
11738630
12797030
01393
13357
27530
320330
442030
584430
6178830
7310330
8480530
9581130
10684730
11738630
12797030
Stop Event
1×node limit
1×node limit
Compiler

Compiled 36 to 18 computations (50% saved)

end0.0ms (0%)

preprocess39.0ms (1.7%)

Remove

(abs d1)

Compiler

Compiled 68 to 34 computations (50% saved)

Profiling

Loading profile data...