FastMath repmul

Time bar (total: 1.9s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 9 to 5 computations (44.4% saved)

sample873.0ms (45.6%)

Results
438.0ms5120×body256valid
424.0ms3136×body256infinite
Bogosity

preprocess140.0ms (7.3%)

Algorithm
1×egg-herbie
Rules
1604×fma-def
1548×unswap-sqr
1480×fma-neg
688×neg-mul-1
664×neg-sub0
Problems
256×No Errors
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01393
13257
29430
318730
429330
566030
6149830
7308030
8530730
9634030
10740030
11793930
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)

localize31.0ms (1.6%)

Localize:

Found 4 expressions with local error:

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

Compiled 34 to 9 computations (73.5% saved)

series8.0ms (0.4%)

Counts
4 → 36
Calls

12 calls:

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

rewrite100.0ms (5.2%)

Algorithm
1×batch-egg-rewrite
Rules
948×associate-*l*
526×unpow-prod-down
458×prod-exp
334×log-prod
312×cbrt-prod
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01140
113240
293040
Stop Event
1×node limit
Counts
4 → 144
Calls
Call 1
Inputs
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
(*.f64 (*.f64 d1 d1) d1)
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
(pow.f64 d1 4)
Outputs
(+.f64 (+.f64 1 (pow.f64 d1 4)) -1)
(+.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 (+.f64 1 (pow.f64 d1 4)) 1)
(/.f64 (-.f64 (pow.f64 (+.f64 1 (pow.f64 d1 4)) 3) 1) (+.f64 (*.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) (+.f64 1 (*.f64 (+.f64 1 (pow.f64 d1 4)) 1))))
(/.f64 (-.f64 (*.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) 1) (+.f64 (+.f64 1 (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 (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 6) 2/3)
(pow.f64 (pow.f64 d1 8) 1/2)
(pow.f64 (pow.f64 d1 12) 1/3)
(pow.f64 (sqrt.f64 d1) 8)
(pow.f64 (E.f64) (*.f64 4 (log.f64 d1)))
(pow.f64 (exp.f64 4) (log.f64 d1))
(pow.f64 (exp.f64 2) (*.f64 (log.f64 d1) 2))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (*.f64 4 (log.f64 d1))) 2)) (cbrt.f64 (*.f64 4 (log.f64 d1))))
(pow.f64 (exp.f64 (*.f64 2 (sqrt.f64 (log.f64 d1)))) (*.f64 2 (sqrt.f64 (log.f64 d1))))
(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 (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 (+.f64 1 (pow.f64 d1 3)) -1)
(+.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 (+.f64 1 (pow.f64 d1 3)) 1)
(/.f64 (-.f64 (pow.f64 (+.f64 1 (pow.f64 d1 3)) 3) 1) (+.f64 (*.f64 (+.f64 1 (pow.f64 d1 3)) (+.f64 1 (pow.f64 d1 3))) (+.f64 1 (*.f64 (+.f64 1 (pow.f64 d1 3)) 1))))
(/.f64 (-.f64 (*.f64 (+.f64 1 (pow.f64 d1 3)) (+.f64 1 (pow.f64 d1 3))) 1) (+.f64 (+.f64 1 (pow.f64 d1 3)) 1))
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 2) 3/2)
(pow.f64 (pow.f64 d1 3) 1)
(pow.f64 (cbrt.f64 d1) 9)
(pow.f64 (pow.f64 d1 6) 1/2)
(pow.f64 (pow.f64 d1 9) 1/3)
(pow.f64 (sqrt.f64 d1) 6)
(pow.f64 (pow.f64 d1 3/2) 2)
(pow.f64 (E.f64) (*.f64 (log.f64 d1) 3))
(pow.f64 (exp.f64 3) (log.f64 d1))
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (*.f64 (log.f64 d1) 3) 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)))
(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 (log.f64 (pow.f64 d1 9)) 1/3))
(exp.f64 (*.f64 (*.f64 3/2 (log.f64 d1)) 2))
(log1p.f64 (expm1.f64 (pow.f64 d1 3)))
(+.f64 (+.f64 1 (pow.f64 d1 4)) -1)
(+.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 (+.f64 1 (pow.f64 d1 4)) 1)
(/.f64 (-.f64 (pow.f64 (+.f64 1 (pow.f64 d1 4)) 3) 1) (+.f64 (*.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) (+.f64 1 (*.f64 (+.f64 1 (pow.f64 d1 4)) 1))))
(/.f64 (-.f64 (*.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) 1) (+.f64 (+.f64 1 (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 (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 6) 2/3)
(pow.f64 (pow.f64 d1 8) 1/2)
(pow.f64 (pow.f64 d1 12) 1/3)
(pow.f64 (sqrt.f64 d1) 8)
(pow.f64 (E.f64) (*.f64 4 (log.f64 d1)))
(pow.f64 (exp.f64 4) (log.f64 d1))
(pow.f64 (exp.f64 2) (*.f64 (log.f64 d1) 2))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (*.f64 4 (log.f64 d1))) 2)) (cbrt.f64 (*.f64 4 (log.f64 d1))))
(pow.f64 (exp.f64 (*.f64 2 (sqrt.f64 (log.f64 d1)))) (*.f64 2 (sqrt.f64 (log.f64 d1))))
(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 (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 (+.f64 1 (pow.f64 d1 4)) -1)
(+.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 (+.f64 1 (pow.f64 d1 4)) 1)
(*.f64 d1 (pow.f64 d1 3))
(*.f64 (pow.f64 d1 2) (pow.f64 d1 2))
(*.f64 (pow.f64 d1 4) 1)
(*.f64 (pow.f64 d1 4) (log.f64 (E.f64)))
(*.f64 (pow.f64 d1 3) d1)
(*.f64 1 (pow.f64 d1 4))
(*.f64 (cbrt.f64 d1) (*.f64 d1 (pow.f64 (cbrt.f64 d1) 8)))
(*.f64 (cbrt.f64 d1) (*.f64 (cbrt.f64 d1) (cbrt.f64 (pow.f64 d1 10))))
(*.f64 (cbrt.f64 d1) (*.f64 (pow.f64 d1 1/6) (pow.f64 d1 7/2)))
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (cbrt.f64 (pow.f64 d1 10)))
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (*.f64 (cbrt.f64 (pow.f64 d1 10)) 1))
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (*.f64 (cbrt.f64 (pow.f64 d1 7)) d1))
(*.f64 (pow.f64 (cbrt.f64 d1) 4) (pow.f64 (cbrt.f64 d1) 8))
(*.f64 (pow.f64 (cbrt.f64 d1) 4) (*.f64 (pow.f64 (cbrt.f64 d1) 8) 1))
(*.f64 (pow.f64 (cbrt.f64 d1) 8) (pow.f64 (cbrt.f64 d1) 4))
(*.f64 (sqrt.f64 d1) (pow.f64 d1 7/2))
(*.f64 (sqrt.f64 d1) (*.f64 (pow.f64 d1 7/2) 1))
(*.f64 (pow.f64 d1 3/2) (pow.f64 d1 5/2))
(*.f64 (pow.f64 d1 3/2) (*.f64 (pow.f64 d1 5/2) 1))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 8)) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4)) (pow.f64 (cbrt.f64 d1) 8)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (cbrt.f64 (pow.f64 d1 10))))
(*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 d1 16))) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 8)) (pow.f64 (cbrt.f64 d1) 4)))
(*.f64 (pow.f64 d1 3/4) (*.f64 (pow.f64 d1 3/4) (pow.f64 d1 5/2)))
(*.f64 (pow.f64 d1 1/4) (*.f64 (pow.f64 d1 1/4) (pow.f64 d1 7/2)))
(*.f64 (pow.f64 (cbrt.f64 d1) 5) (cbrt.f64 (pow.f64 d1 7)))
(*.f64 (cbrt.f64 (pow.f64 d1 10)) (pow.f64 (cbrt.f64 d1) 2))
(*.f64 (*.f64 d1 (pow.f64 (cbrt.f64 d1) 8)) (cbrt.f64 d1))
(*.f64 (cbrt.f64 (pow.f64 d1 7)) (pow.f64 (cbrt.f64 d1) 5))
(*.f64 (pow.f64 d1 7/2) (sqrt.f64 d1))
(*.f64 (pow.f64 d1 5/2) (pow.f64 d1 3/2))
(*.f64 (pow.f64 1 1/3) (pow.f64 d1 4))
(*.f64 (pow.f64 (pow.f64 d1 11) 1/3) (cbrt.f64 d1))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 d1 16)) 2) 1/3) (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4)))
(*.f64 (cbrt.f64 (pow.f64 d1 11)) (cbrt.f64 d1))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 d1 16)) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4)))
(*.f64 (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 d1) 4) 5)) (pow.f64 (cbrt.f64 d1) 2))
(/.f64 (-.f64 (pow.f64 (+.f64 1 (pow.f64 d1 4)) 3) 1) (+.f64 (*.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) (+.f64 1 (*.f64 (+.f64 1 (pow.f64 d1 4)) 1))))
(/.f64 (-.f64 (*.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) 1) (+.f64 (+.f64 1 (pow.f64 d1 4)) 1))
(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 (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)))

simplify82.0ms (4.3%)

Algorithm
1×egg-herbie
Rules
1444×fma-def
678×fma-neg
674×unswap-sqr
622×distribute-lft-in
586×log-prod
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02423080
15542948
215962900
358912900
Stop Event
1×node limit
Counts
180 → 126
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 (+.f64 1 (pow.f64 d1 4)) -1)
(+.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 (+.f64 1 (pow.f64 d1 4)) 1)
(/.f64 (-.f64 (pow.f64 (+.f64 1 (pow.f64 d1 4)) 3) 1) (+.f64 (*.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) (+.f64 1 (*.f64 (+.f64 1 (pow.f64 d1 4)) 1))))
(/.f64 (-.f64 (*.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) 1) (+.f64 (+.f64 1 (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 (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 6) 2/3)
(pow.f64 (pow.f64 d1 8) 1/2)
(pow.f64 (pow.f64 d1 12) 1/3)
(pow.f64 (sqrt.f64 d1) 8)
(pow.f64 (E.f64) (*.f64 4 (log.f64 d1)))
(pow.f64 (exp.f64 4) (log.f64 d1))
(pow.f64 (exp.f64 2) (*.f64 (log.f64 d1) 2))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (*.f64 4 (log.f64 d1))) 2)) (cbrt.f64 (*.f64 4 (log.f64 d1))))
(pow.f64 (exp.f64 (*.f64 2 (sqrt.f64 (log.f64 d1)))) (*.f64 2 (sqrt.f64 (log.f64 d1))))
(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 (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 (+.f64 1 (pow.f64 d1 3)) -1)
(+.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 (+.f64 1 (pow.f64 d1 3)) 1)
(/.f64 (-.f64 (pow.f64 (+.f64 1 (pow.f64 d1 3)) 3) 1) (+.f64 (*.f64 (+.f64 1 (pow.f64 d1 3)) (+.f64 1 (pow.f64 d1 3))) (+.f64 1 (*.f64 (+.f64 1 (pow.f64 d1 3)) 1))))
(/.f64 (-.f64 (*.f64 (+.f64 1 (pow.f64 d1 3)) (+.f64 1 (pow.f64 d1 3))) 1) (+.f64 (+.f64 1 (pow.f64 d1 3)) 1))
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 2) 3/2)
(pow.f64 (pow.f64 d1 3) 1)
(pow.f64 (cbrt.f64 d1) 9)
(pow.f64 (pow.f64 d1 6) 1/2)
(pow.f64 (pow.f64 d1 9) 1/3)
(pow.f64 (sqrt.f64 d1) 6)
(pow.f64 (pow.f64 d1 3/2) 2)
(pow.f64 (E.f64) (*.f64 (log.f64 d1) 3))
(pow.f64 (exp.f64 3) (log.f64 d1))
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (*.f64 (log.f64 d1) 3) 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)))
(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 (log.f64 (pow.f64 d1 9)) 1/3))
(exp.f64 (*.f64 (*.f64 3/2 (log.f64 d1)) 2))
(log1p.f64 (expm1.f64 (pow.f64 d1 3)))
(+.f64 (+.f64 1 (pow.f64 d1 4)) -1)
(+.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 (+.f64 1 (pow.f64 d1 4)) 1)
(/.f64 (-.f64 (pow.f64 (+.f64 1 (pow.f64 d1 4)) 3) 1) (+.f64 (*.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) (+.f64 1 (*.f64 (+.f64 1 (pow.f64 d1 4)) 1))))
(/.f64 (-.f64 (*.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) 1) (+.f64 (+.f64 1 (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 (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 6) 2/3)
(pow.f64 (pow.f64 d1 8) 1/2)
(pow.f64 (pow.f64 d1 12) 1/3)
(pow.f64 (sqrt.f64 d1) 8)
(pow.f64 (E.f64) (*.f64 4 (log.f64 d1)))
(pow.f64 (exp.f64 4) (log.f64 d1))
(pow.f64 (exp.f64 2) (*.f64 (log.f64 d1) 2))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (*.f64 4 (log.f64 d1))) 2)) (cbrt.f64 (*.f64 4 (log.f64 d1))))
(pow.f64 (exp.f64 (*.f64 2 (sqrt.f64 (log.f64 d1)))) (*.f64 2 (sqrt.f64 (log.f64 d1))))
(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 (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 (+.f64 1 (pow.f64 d1 4)) -1)
(+.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 (+.f64 1 (pow.f64 d1 4)) 1)
(*.f64 d1 (pow.f64 d1 3))
(*.f64 (pow.f64 d1 2) (pow.f64 d1 2))
(*.f64 (pow.f64 d1 4) 1)
(*.f64 (pow.f64 d1 4) (log.f64 (E.f64)))
(*.f64 (pow.f64 d1 3) d1)
(*.f64 1 (pow.f64 d1 4))
(*.f64 (cbrt.f64 d1) (*.f64 d1 (pow.f64 (cbrt.f64 d1) 8)))
(*.f64 (cbrt.f64 d1) (*.f64 (cbrt.f64 d1) (cbrt.f64 (pow.f64 d1 10))))
(*.f64 (cbrt.f64 d1) (*.f64 (pow.f64 d1 1/6) (pow.f64 d1 7/2)))
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (cbrt.f64 (pow.f64 d1 10)))
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (*.f64 (cbrt.f64 (pow.f64 d1 10)) 1))
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (*.f64 (cbrt.f64 (pow.f64 d1 7)) d1))
(*.f64 (pow.f64 (cbrt.f64 d1) 4) (pow.f64 (cbrt.f64 d1) 8))
(*.f64 (pow.f64 (cbrt.f64 d1) 4) (*.f64 (pow.f64 (cbrt.f64 d1) 8) 1))
(*.f64 (pow.f64 (cbrt.f64 d1) 8) (pow.f64 (cbrt.f64 d1) 4))
(*.f64 (sqrt.f64 d1) (pow.f64 d1 7/2))
(*.f64 (sqrt.f64 d1) (*.f64 (pow.f64 d1 7/2) 1))
(*.f64 (pow.f64 d1 3/2) (pow.f64 d1 5/2))
(*.f64 (pow.f64 d1 3/2) (*.f64 (pow.f64 d1 5/2) 1))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 8)) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4)) (pow.f64 (cbrt.f64 d1) 8)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (cbrt.f64 (pow.f64 d1 10))))
(*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 d1 16))) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 8)) (pow.f64 (cbrt.f64 d1) 4)))
(*.f64 (pow.f64 d1 3/4) (*.f64 (pow.f64 d1 3/4) (pow.f64 d1 5/2)))
(*.f64 (pow.f64 d1 1/4) (*.f64 (pow.f64 d1 1/4) (pow.f64 d1 7/2)))
(*.f64 (pow.f64 (cbrt.f64 d1) 5) (cbrt.f64 (pow.f64 d1 7)))
(*.f64 (cbrt.f64 (pow.f64 d1 10)) (pow.f64 (cbrt.f64 d1) 2))
(*.f64 (*.f64 d1 (pow.f64 (cbrt.f64 d1) 8)) (cbrt.f64 d1))
(*.f64 (cbrt.f64 (pow.f64 d1 7)) (pow.f64 (cbrt.f64 d1) 5))
(*.f64 (pow.f64 d1 7/2) (sqrt.f64 d1))
(*.f64 (pow.f64 d1 5/2) (pow.f64 d1 3/2))
(*.f64 (pow.f64 1 1/3) (pow.f64 d1 4))
(*.f64 (pow.f64 (pow.f64 d1 11) 1/3) (cbrt.f64 d1))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 d1 16)) 2) 1/3) (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4)))
(*.f64 (cbrt.f64 (pow.f64 d1 11)) (cbrt.f64 d1))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 d1 16)) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4)))
(*.f64 (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 d1) 4) 5)) (pow.f64 (cbrt.f64 d1) 2))
(/.f64 (-.f64 (pow.f64 (+.f64 1 (pow.f64 d1 4)) 3) 1) (+.f64 (*.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) (+.f64 1 (*.f64 (+.f64 1 (pow.f64 d1 4)) 1))))
(/.f64 (-.f64 (*.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) 1) (+.f64 (+.f64 1 (pow.f64 d1 4)) 1))
(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 (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 (+.f64 1 (pow.f64 d1 4)) -1)
(pow.f64 d1 4)
(+.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 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4))))) (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)))))
(pow.f64 d1 4)
(-.f64 (+.f64 1 (pow.f64 d1 4)) 1)
(pow.f64 d1 4)
(/.f64 (-.f64 (pow.f64 (+.f64 1 (pow.f64 d1 4)) 3) 1) (+.f64 (*.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) (+.f64 1 (*.f64 (+.f64 1 (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 1 (+.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) 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))))
(/.f64 (-.f64 (*.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) 1) (+.f64 (+.f64 1 (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 4) 1)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 3) 4/3)
(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 6) 2/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 (sqrt.f64 d1) 8)
(pow.f64 d1 4)
(pow.f64 (E.f64) (*.f64 4 (log.f64 d1)))
(pow.f64 d1 4)
(pow.f64 (exp.f64 4) (log.f64 d1))
(pow.f64 d1 4)
(pow.f64 (exp.f64 2) (*.f64 (log.f64 d1) 2))
(pow.f64 d1 4)
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (*.f64 4 (log.f64 d1))) 2)) (cbrt.f64 (*.f64 4 (log.f64 d1))))
(pow.f64 (exp.f64 (*.f64 2 (sqrt.f64 (log.f64 d1)))) (*.f64 2 (sqrt.f64 (log.f64 d1))))
(pow.f64 (pow.f64 (exp.f64 2) (sqrt.f64 (log.f64 d1))) (*.f64 2 (sqrt.f64 (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 4 (log.f64 d1)))
(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 (+.f64 1 (pow.f64 d1 3)) -1)
(pow.f64 d1 3)
(+.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 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 (+.f64 1 (pow.f64 d1 3)) 1)
(pow.f64 d1 3)
(/.f64 (-.f64 (pow.f64 (+.f64 1 (pow.f64 d1 3)) 3) 1) (+.f64 (*.f64 (+.f64 1 (pow.f64 d1 3)) (+.f64 1 (pow.f64 d1 3))) (+.f64 1 (*.f64 (+.f64 1 (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 1 (+.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) 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))))
(/.f64 (-.f64 (*.f64 (+.f64 1 (pow.f64 d1 3)) (+.f64 1 (pow.f64 d1 3))) 1) (+.f64 (+.f64 1 (pow.f64 d1 3)) 1))
(pow.f64 d1 3)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 2) 3/2)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 3) 1)
(pow.f64 d1 3)
(pow.f64 (cbrt.f64 d1) 9)
(pow.f64 (pow.f64 d1 6) 1/2)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 9) 1/3)
(pow.f64 d1 3)
(pow.f64 (sqrt.f64 d1) 6)
(pow.f64 d1 3)
(pow.f64 (pow.f64 d1 3/2) 2)
(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 3) (log.f64 d1))
(pow.f64 d1 3)
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (*.f64 (log.f64 d1) 3) 2))) (cbrt.f64 (*.f64 (log.f64 d1) 3)))
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (*.f64 3 (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 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 (log.f64 (pow.f64 d1 9)) 1/3))
(pow.f64 d1 3)
(exp.f64 (*.f64 (*.f64 3/2 (log.f64 d1)) 2))
(pow.f64 d1 3)
(log1p.f64 (expm1.f64 (pow.f64 d1 3)))
(pow.f64 d1 3)
(+.f64 (+.f64 1 (pow.f64 d1 4)) -1)
(pow.f64 d1 4)
(+.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 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4))))) (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)))))
(pow.f64 d1 4)
(-.f64 (+.f64 1 (pow.f64 d1 4)) 1)
(pow.f64 d1 4)
(/.f64 (-.f64 (pow.f64 (+.f64 1 (pow.f64 d1 4)) 3) 1) (+.f64 (*.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) (+.f64 1 (*.f64 (+.f64 1 (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 1 (+.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) 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))))
(/.f64 (-.f64 (*.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) 1) (+.f64 (+.f64 1 (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 4) 1)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 3) 4/3)
(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 6) 2/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 (sqrt.f64 d1) 8)
(pow.f64 d1 4)
(pow.f64 (E.f64) (*.f64 4 (log.f64 d1)))
(pow.f64 d1 4)
(pow.f64 (exp.f64 4) (log.f64 d1))
(pow.f64 d1 4)
(pow.f64 (exp.f64 2) (*.f64 (log.f64 d1) 2))
(pow.f64 d1 4)
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (*.f64 4 (log.f64 d1))) 2)) (cbrt.f64 (*.f64 4 (log.f64 d1))))
(pow.f64 (exp.f64 (*.f64 2 (sqrt.f64 (log.f64 d1)))) (*.f64 2 (sqrt.f64 (log.f64 d1))))
(pow.f64 (pow.f64 (exp.f64 2) (sqrt.f64 (log.f64 d1))) (*.f64 2 (sqrt.f64 (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 4 (log.f64 d1)))
(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 (+.f64 1 (pow.f64 d1 4)) -1)
(pow.f64 d1 4)
(+.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 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4))))) (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)))))
(pow.f64 d1 4)
(-.f64 (+.f64 1 (pow.f64 d1 4)) 1)
(pow.f64 d1 4)
(*.f64 d1 (pow.f64 d1 3))
(pow.f64 d1 4)
(*.f64 (pow.f64 d1 2) (pow.f64 d1 2))
(pow.f64 d1 4)
(*.f64 (pow.f64 d1 4) 1)
(pow.f64 d1 4)
(*.f64 (pow.f64 d1 4) (log.f64 (E.f64)))
(pow.f64 d1 4)
(*.f64 (pow.f64 d1 3) d1)
(pow.f64 d1 4)
(*.f64 1 (pow.f64 d1 4))
(pow.f64 d1 4)
(*.f64 (cbrt.f64 d1) (*.f64 d1 (pow.f64 (cbrt.f64 d1) 8)))
(pow.f64 d1 4)
(*.f64 (cbrt.f64 d1) (*.f64 (cbrt.f64 d1) (cbrt.f64 (pow.f64 d1 10))))
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (cbrt.f64 (pow.f64 d1 10)))
(*.f64 (cbrt.f64 d1) (*.f64 (pow.f64 d1 1/6) (pow.f64 d1 7/2)))
(*.f64 (*.f64 (cbrt.f64 d1) (pow.f64 d1 7/2)) (pow.f64 d1 1/6))
(*.f64 (pow.f64 d1 7/2) (*.f64 (cbrt.f64 d1) (pow.f64 d1 1/6)))
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (cbrt.f64 (pow.f64 d1 10)))
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (*.f64 (cbrt.f64 (pow.f64 d1 10)) 1))
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (cbrt.f64 (pow.f64 d1 10)))
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (*.f64 (cbrt.f64 (pow.f64 d1 7)) d1))
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (*.f64 d1 (cbrt.f64 (pow.f64 d1 7))))
(*.f64 d1 (*.f64 (pow.f64 (cbrt.f64 d1) 2) (cbrt.f64 (pow.f64 d1 7))))
(*.f64 (pow.f64 (cbrt.f64 d1) 4) (pow.f64 (cbrt.f64 d1) 8))
(pow.f64 d1 4)
(*.f64 (pow.f64 (cbrt.f64 d1) 4) (*.f64 (pow.f64 (cbrt.f64 d1) 8) 1))
(pow.f64 d1 4)
(*.f64 (pow.f64 (cbrt.f64 d1) 8) (pow.f64 (cbrt.f64 d1) 4))
(pow.f64 d1 4)
(*.f64 (sqrt.f64 d1) (pow.f64 d1 7/2))
(*.f64 (sqrt.f64 d1) (*.f64 (pow.f64 d1 7/2) 1))
(*.f64 (sqrt.f64 d1) (pow.f64 d1 7/2))
(*.f64 (pow.f64 d1 3/2) (pow.f64 d1 5/2))
(pow.f64 d1 4)
(*.f64 (pow.f64 d1 3/2) (*.f64 (pow.f64 d1 5/2) 1))
(pow.f64 d1 4)
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 8)) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4)) (pow.f64 (cbrt.f64 d1) 8)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 8)) (*.f64 (pow.f64 (cbrt.f64 d1) 8) (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4))))
(*.f64 (pow.f64 (cbrt.f64 d1) 8) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 8)) (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4))))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4)) (*.f64 (pow.f64 (cbrt.f64 d1) 8) (cbrt.f64 (pow.f64 (cbrt.f64 d1) 8))))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (cbrt.f64 (pow.f64 d1 10))))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4)) (*.f64 (cbrt.f64 (pow.f64 d1 10)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)))
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (*.f64 (cbrt.f64 (pow.f64 d1 10)) (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4))))
(*.f64 (cbrt.f64 (pow.f64 d1 10)) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 d1 16))) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 8)) (pow.f64 (cbrt.f64 d1) 4)))
(*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 d1 16))) (*.f64 (pow.f64 (cbrt.f64 d1) 4) (cbrt.f64 (pow.f64 (cbrt.f64 d1) 8))))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 8)) (*.f64 (pow.f64 (cbrt.f64 d1) 4) (cbrt.f64 (cbrt.f64 (pow.f64 d1 16)))))
(*.f64 (pow.f64 (cbrt.f64 d1) 4) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 8)) (cbrt.f64 (cbrt.f64 (pow.f64 d1 16)))))
(*.f64 (pow.f64 d1 3/4) (*.f64 (pow.f64 d1 3/4) (pow.f64 d1 5/2)))
(pow.f64 d1 4)
(*.f64 (pow.f64 d1 1/4) (*.f64 (pow.f64 d1 1/4) (pow.f64 d1 7/2)))
(*.f64 (sqrt.f64 d1) (pow.f64 d1 7/2))
(*.f64 (pow.f64 (cbrt.f64 d1) 5) (cbrt.f64 (pow.f64 d1 7)))
(*.f64 (cbrt.f64 (pow.f64 d1 7)) (pow.f64 (cbrt.f64 d1) 5))
(*.f64 (cbrt.f64 (pow.f64 d1 10)) (pow.f64 (cbrt.f64 d1) 2))
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (cbrt.f64 (pow.f64 d1 10)))
(*.f64 (*.f64 d1 (pow.f64 (cbrt.f64 d1) 8)) (cbrt.f64 d1))
(pow.f64 d1 4)
(*.f64 (cbrt.f64 (pow.f64 d1 7)) (pow.f64 (cbrt.f64 d1) 5))
(*.f64 (pow.f64 d1 7/2) (sqrt.f64 d1))
(*.f64 (sqrt.f64 d1) (pow.f64 d1 7/2))
(*.f64 (pow.f64 d1 5/2) (pow.f64 d1 3/2))
(pow.f64 d1 4)
(*.f64 (pow.f64 1 1/3) (pow.f64 d1 4))
(pow.f64 d1 4)
(*.f64 (pow.f64 (pow.f64 d1 11) 1/3) (cbrt.f64 d1))
(*.f64 (cbrt.f64 d1) (cbrt.f64 (pow.f64 d1 11)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 d1 16)) 2) 1/3) (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 d1 16)) 2)))
(*.f64 (cbrt.f64 (pow.f64 d1 11)) (cbrt.f64 d1))
(*.f64 (cbrt.f64 d1) (cbrt.f64 (pow.f64 d1 11)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 d1 16)) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 4)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 d1 16)) 2)))
(*.f64 (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 d1) 4) 5)) (pow.f64 (cbrt.f64 d1) 2))
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 d1) 4) 5)))
(*.f64 (pow.f64 (cbrt.f64 d1) 2) (pow.f64 (pow.f64 (cbrt.f64 d1) 4) 5/2))
(/.f64 (-.f64 (pow.f64 (+.f64 1 (pow.f64 d1 4)) 3) 1) (+.f64 (*.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) (+.f64 1 (*.f64 (+.f64 1 (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 1 (+.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) 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))))
(/.f64 (-.f64 (*.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) 1) (+.f64 (+.f64 1 (pow.f64 d1 4)) 1))
(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 (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)

eval32.0ms (1.7%)

Compiler

Compiled 1318 to 948 computations (28.1% saved)

prune21.0ms (1.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1251126
Fresh000
Picked033
Done000
Total1254129
Accuracy
100.0%
Counts
129 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(pow.f64 d1 4)
▶99.9%
(*.f64 (pow.f64 d1 7/2) (sqrt.f64 d1))
✓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 (pow.f64 d1 7/2) (sqrt.f64 d1))
✓99.9%
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
✓99.8%
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
Compiler

Compiled 54 to 30 computations (44.4% saved)

localize40.0ms (2.1%)

Localize:

Found 1 expressions with local error:

NewAccuracyProgram
✓99.9%
(*.f64 (pow.f64 d1 7/2) (sqrt.f64 d1))
Compiler

Compiled 15 to 9 computations (40% saved)

series2.0ms (0.1%)

Counts
1 → 12
Calls

3 calls:

TimeVariablePointExpression
1.0ms
d1
@-inf
(*.f64 (pow.f64 d1 7/2) (sqrt.f64 d1))
1.0ms
d1
@0
(*.f64 (pow.f64 d1 7/2) (sqrt.f64 d1))
0.0ms
d1
@inf
(*.f64 (pow.f64 d1 7/2) (sqrt.f64 d1))

rewrite53.0ms (2.8%)

Algorithm
1×batch-egg-rewrite
Rules
688×unpow-prod-down
402×log-prod
388×prod-exp
364×cbrt-prod
324×log1p-expm1-u
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01023
19210
297710
Stop Event
1×node limit
Counts
1 → 26
Calls
Call 1
Inputs
(*.f64 (pow.f64 d1 7/2) (sqrt.f64 d1))
Outputs
(+.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 (+.f64 1 (pow.f64 d1 4)) 1)
(pow.f64 d1 4)
(pow.f64 (sqrt.f64 d1) 8)
(pow.f64 (pow.f64 d1 4) 1)
(pow.f64 (cbrt.f64 d1) 12)
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 3)
(pow.f64 (pow.f64 d1 3) 4/3)
(pow.f64 (pow.f64 d1 8) 1/2)
(pow.f64 (pow.f64 d1 12) 1/3)
(pow.f64 (pow.f64 d1 2) 2)
(pow.f64 (E.f64) (*.f64 4 (log.f64 d1)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (*.f64 4 (log.f64 d1))) 2)) (cbrt.f64 (*.f64 4 (log.f64 d1))))
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 4 (log.f64 d1)))) (sqrt.f64 (*.f64 4 (log.f64 d1))))
(sqrt.f64 (pow.f64 d1 8))
(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 (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))
(exp.f64 (*.f64 (*.f64 2 (log.f64 d1)) 2))
(log1p.f64 (expm1.f64 (pow.f64 d1 4)))

simplify50.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
1124×fma-def
508×sqr-pow
506×exp-prod
496×distribute-lft-in
492×fma-neg
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
078501
1173474
2387474
31337474
44817474
Stop Event
1×node limit
Counts
38 → 29
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)
(*.f64 (pow.f64 d1 4) (pow.f64 (sqrt.f64 -1) 2))
(*.f64 (pow.f64 d1 4) (pow.f64 (sqrt.f64 -1) 2))
(*.f64 (pow.f64 d1 4) (pow.f64 (sqrt.f64 -1) 2))
(*.f64 (pow.f64 d1 4) (pow.f64 (sqrt.f64 -1) 2))
(+.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 (+.f64 1 (pow.f64 d1 4)) 1)
(pow.f64 d1 4)
(pow.f64 (sqrt.f64 d1) 8)
(pow.f64 (pow.f64 d1 4) 1)
(pow.f64 (cbrt.f64 d1) 12)
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 3)
(pow.f64 (pow.f64 d1 3) 4/3)
(pow.f64 (pow.f64 d1 8) 1/2)
(pow.f64 (pow.f64 d1 12) 1/3)
(pow.f64 (pow.f64 d1 2) 2)
(pow.f64 (E.f64) (*.f64 4 (log.f64 d1)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (*.f64 4 (log.f64 d1))) 2)) (cbrt.f64 (*.f64 4 (log.f64 d1))))
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 4 (log.f64 d1)))) (sqrt.f64 (*.f64 4 (log.f64 d1))))
(sqrt.f64 (pow.f64 d1 8))
(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 (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))
(exp.f64 (*.f64 (*.f64 2 (log.f64 d1)) 2))
(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)
(*.f64 (pow.f64 d1 4) (pow.f64 (sqrt.f64 -1) 2))
(pow.f64 d1 4)
(*.f64 (pow.f64 d1 4) (pow.f64 (sqrt.f64 -1) 2))
(pow.f64 d1 4)
(*.f64 (pow.f64 d1 4) (pow.f64 (sqrt.f64 -1) 2))
(pow.f64 d1 4)
(*.f64 (pow.f64 d1 4) (pow.f64 (sqrt.f64 -1) 2))
(pow.f64 d1 4)
(+.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 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))) 3)
(+.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 1 (pow.f64 d1 4)) 1)
(pow.f64 d1 4)
(pow.f64 d1 4)
(pow.f64 (sqrt.f64 d1) 8)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 4) 1)
(pow.f64 d1 4)
(pow.f64 (cbrt.f64 d1) 12)
(pow.f64 d1 4)
(pow.f64 (pow.f64 (cbrt.f64 d1) 4) 3)
(pow.f64 d1 4)
(pow.f64 (pow.f64 d1 3) 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 2) 2)
(pow.f64 d1 4)
(pow.f64 (E.f64) (*.f64 4 (log.f64 d1)))
(pow.f64 d1 4)
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (*.f64 4 (log.f64 d1))) 2)) (cbrt.f64 (*.f64 4 (log.f64 d1))))
(pow.f64 (exp.f64 (sqrt.f64 (*.f64 4 (log.f64 d1)))) (sqrt.f64 (*.f64 4 (log.f64 d1))))
(sqrt.f64 (pow.f64 d1 8))
(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 (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)
(exp.f64 (*.f64 (*.f64 2 (log.f64 d1)) 2))
(pow.f64 d1 4)
(log1p.f64 (expm1.f64 (pow.f64 d1 4)))
(pow.f64 d1 4)

eval6.0ms (0.3%)

Compiler

Compiled 194 to 152 computations (21.6% saved)

prune5.0ms (0.3%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New29029
Fresh000
Picked011
Done033
Total29433
Accuracy
100.0%
Counts
33 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(pow.f64 d1 4)
✓99.9%
(*.f64 (pow.f64 d1 7/2) (sqrt.f64 d1))
✓99.9%
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
✓99.8%
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
Compiler

Compiled 51 to 26 computations (49% saved)

regimes15.0ms (0.8%)

Counts
4 → 1
Calls
Call 1
Inputs
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
(pow.f64 d1 4)
(*.f64 (pow.f64 d1 7/2) (sqrt.f64 d1))
Outputs
(pow.f64 d1 4)
Calls

2 calls:

11.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 34 to 16 computations (52.9% 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.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)

simplify4.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
4×*-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)

soundness406.0ms (21.2%)

Rules
1604×fma-def
1604×fma-def
1548×unswap-sqr
1548×unswap-sqr
1480×fma-neg
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01393
13257
29430
318730
429330
566030
6149830
7308030
8530730
9634030
10740030
11793930
01393
13257
29430
318730
429330
566030
6149830
7308030
8530730
9634030
10740030
11793930
Stop Event
1×node limit
1×node limit
Compiler

Compiled 54 to 23 computations (57.4% saved)

end0.0ms (0%)

preprocess33.0ms (1.7%)

Remove

(abs d1)

Compiler

Compiled 68 to 34 computations (50% saved)

Profiling

Loading profile data...