Details

Time bar (total: 2.9s)

analyze0.0ms (0%)

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

Compiled 17 to 9 computations (47.1% saved)

sample1.6s (53.7%)

Results
1.6s8256×body256valid
Bogosity

preprocess287.0ms (9.8%)

Algorithm
2×egg-herbie
Rules
3512×sqr-pow
1426×pow-sqr
1160×cube-prod
742×fabs-mul
736×cube-mult
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0619
11715
23415
34715
46615
512415
622215
764415
8104615
9113415
10127115
11143315
12167115
13198415
14237915
15285215
16339115
17403115
18425215
19444815
20458815
21467415
22473215
23562215
24667215
25697415
26726815
27740015
28741015
29741015
011
Stop Event
1×saturated
1×node limit
Calls
Call 1
Inputs
0
Outputs
0
Call 2
Inputs
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
Outputs
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
(+.f64 (*.f64 x x) (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(fma.f64 x x (pow.f64 x 3))
Compiler

Compiled 11 to 5 computations (54.5% saved)

simplify283.0ms (9.6%)

Algorithm
1×egg-herbie
Rules
3512×sqr-pow
1426×pow-sqr
1160×cube-prod
742×fabs-mul
736×cube-mult
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0619
11715
23415
34715
46615
512415
622215
764415
8104615
9113415
10127115
11143315
12167115
13198415
14237915
15285215
16339115
17403115
18425215
19444815
20458815
21467415
22473215
23562215
24667215
25697415
26726815
27740015
28741015
29741015
Stop Event
1×node limit
Counts
1 → 4
Calls
Call 1
Inputs
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
Outputs
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
(+.f64 (*.f64 x x) (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(fma.f64 x x (pow.f64 x 3))

eval1.0ms (0%)

Compiler

Compiled 29 to 12 computations (58.6% saved)

prune1.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New224
Fresh011
Picked000
Done000
Total235
Accurracy
100.0%
Counts
5 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
▶100.0%
(*.f64 x (fma.f64 x x x))
Compiler

Compiled 17 to 7 computations (58.8% saved)

localize4.0ms (0.1%)

Local Accuracy

Found 1 expressions with local accuracy:

NewAccuracyProgram
✓100.0%
(*.f64 x (fma.f64 x x x))
Compiler

Compiled 12 to 3 computations (75% saved)

series2.0ms (0.1%)

Counts
1 → 12
Calls

3 calls:

TimeVariablePointExpression
1.0ms
x
@-inf
(*.f64 x (fma.f64 x x x))
0.0ms
x
@inf
(*.f64 x (fma.f64 x x x))
0.0ms
x
@0
(*.f64 x (fma.f64 x x x))

rewrite55.0ms (1.9%)

Algorithm
1×batch-egg-rewrite
Rules
1134×add-sqr-sqrt
1124×*-un-lft-identity
1060×pow1
1036×add-cube-cbrt
1020×add-cbrt-cube
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0615
111815
2140515
Stop Event
1×node limit
Counts
1 → 12
Calls
Call 1
Inputs
(*.f64 x (fma.f64 x x x))
Outputs
(((+.f64 (pow.f64 x 3) (*.f64 x x)) (2)) ((-.f64 (+.f64 1 (*.f64 x (fma.f64 x x x))) 1) (2)) ((pow.f64 (*.f64 x (fma.f64 x x x)) 1) (2)) ((pow.f64 (sqrt.f64 (*.f64 x (fma.f64 x x x))) 2) (2)) ((pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x x x))) 3) (2)) ((pow.f64 (pow.f64 (*.f64 x (fma.f64 x x x)) 3) 1/3) (2)) ((sqrt.f64 (pow.f64 (*.f64 x (fma.f64 x x x)) 2)) (2)) ((log.f64 (pow.f64 (exp.f64 x) (fma.f64 x x x))) (2)) ((cbrt.f64 (pow.f64 (*.f64 x (fma.f64 x x x)) 3)) (2)) ((expm1.f64 (log1p.f64 (*.f64 x (fma.f64 x x x)))) (2)) ((exp.f64 (log.f64 (*.f64 x (fma.f64 x x x)))) (2)) ((log1p.f64 (expm1.f64 (*.f64 x (fma.f64 x x x)))) (2)))

simplify53.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
1132×log-prod
1116×distribute-lft-out
904×*-commutative
896×fma-def
662×+-commutative
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
037420
191336
2303336
31932336
44527336
Stop Event
1×node limit
Counts
24 → 17
Calls
Call 1
Inputs
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(pow.f64 x 3)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(pow.f64 x 3)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 3) (*.f64 x x))
(-.f64 (+.f64 1 (*.f64 x (fma.f64 x x x))) 1)
(pow.f64 (*.f64 x (fma.f64 x x x)) 1)
(pow.f64 (sqrt.f64 (*.f64 x (fma.f64 x x x))) 2)
(pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x x x))) 3)
(pow.f64 (pow.f64 (*.f64 x (fma.f64 x x x)) 3) 1/3)
(sqrt.f64 (pow.f64 (*.f64 x (fma.f64 x x x)) 2))
(log.f64 (pow.f64 (exp.f64 x) (fma.f64 x x x)))
(cbrt.f64 (pow.f64 (*.f64 x (fma.f64 x x x)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (fma.f64 x x x))))
(exp.f64 (log.f64 (*.f64 x (fma.f64 x x x))))
(log1p.f64 (expm1.f64 (*.f64 x (fma.f64 x x x))))
Outputs
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 3) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 3) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 3) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(pow.f64 x 3)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 3) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 3) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 3) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(pow.f64 x 3)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 3) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 3) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 3) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 3) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(-.f64 (+.f64 1 (*.f64 x (fma.f64 x x x))) 1)
(+.f64 (pow.f64 x 3) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(pow.f64 (*.f64 x (fma.f64 x x x)) 1)
(+.f64 (pow.f64 x 3) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(pow.f64 (sqrt.f64 (*.f64 x (fma.f64 x x x))) 2)
(+.f64 (pow.f64 x 3) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x x x))) 3)
(+.f64 (pow.f64 x 3) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(pow.f64 (pow.f64 (*.f64 x (fma.f64 x x x)) 3) 1/3)
(+.f64 (pow.f64 x 3) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(sqrt.f64 (pow.f64 (*.f64 x (fma.f64 x x x)) 2))
(+.f64 (pow.f64 x 3) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(log.f64 (pow.f64 (exp.f64 x) (fma.f64 x x x)))
(+.f64 (pow.f64 x 3) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(cbrt.f64 (pow.f64 (*.f64 x (fma.f64 x x x)) 3))
(+.f64 (pow.f64 x 3) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(expm1.f64 (log1p.f64 (*.f64 x (fma.f64 x x x))))
(+.f64 (pow.f64 x 3) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(exp.f64 (log.f64 (*.f64 x (fma.f64 x x x))))
(+.f64 (pow.f64 x 3) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
(log1p.f64 (expm1.f64 (*.f64 x (fma.f64 x x x))))
(+.f64 (pow.f64 x 3) (*.f64 x x))
(*.f64 x (fma.f64 x x x))

localize5.0ms (0.2%)

Local Accuracy

Found 2 expressions with local accuracy:

NewAccuracyProgram
✓100.0%
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
✓99.9%
(*.f64 x (*.f64 x x))
Compiler

Compiled 19 to 4 computations (78.9% saved)

series1.0ms (0%)

Counts
2 → 24
Calls

6 calls:

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

rewrite63.0ms (2.1%)

Algorithm
1×batch-egg-rewrite
Rules
1410×add-sqr-sqrt
1388×*-un-lft-identity
1306×add-cube-cbrt
1294×add-cbrt-cube
1286×add-exp-log
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0626
113722
2186522
Stop Event
1×node limit
Counts
2 → 56
Calls
Call 1
Inputs
(*.f64 x (*.f64 x x))
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
Outputs
(((-.f64 (+.f64 1 (pow.f64 x 3)) 1) (2)) ((pow.f64 x 3) (2)) ((pow.f64 (pow.f64 x 3) 1) (2)) ((pow.f64 (pow.f64 x 3/2) 2) (2)) ((pow.f64 (pow.f64 x 9) 1/3) (2)) ((sqrt.f64 (pow.f64 x 6)) (2)) ((log.f64 (exp.f64 (pow.f64 x 3))) (2)) ((cbrt.f64 (pow.f64 x 9)) (2)) ((expm1.f64 (log1p.f64 (pow.f64 x 3))) (2)) ((exp.f64 (*.f64 3 (log.f64 x))) (2)) ((exp.f64 (*.f64 (log.f64 x) 3)) (2)) ((exp.f64 (*.f64 (*.f64 3 (log.f64 x)) 1)) (2)) ((log1p.f64 (expm1.f64 (pow.f64 x 3))) (2)))
(((-.f64 (+.f64 1 (*.f64 x (fma.f64 x x x))) 1) (2)) ((-.f64 (/.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 3) (*.f64 x x))) (/.f64 (pow.f64 x 4) (-.f64 (pow.f64 x 3) (*.f64 x x)))) (2)) ((*.f64 x (fma.f64 x x x)) (2)) ((*.f64 (*.f64 x x) (+.f64 x 1)) (2)) ((*.f64 (*.f64 x (fma.f64 x x x)) 1) (2)) ((*.f64 1 (*.f64 x (fma.f64 x x x))) (2)) ((*.f64 (hypot.f64 x (pow.f64 x 3/2)) (hypot.f64 x (pow.f64 x 3/2))) (2)) ((*.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (fma.f64 x x x))) (2)) ((*.f64 (cbrt.f64 (*.f64 x (fma.f64 x x x))) (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x x x))) 2)) (2)) ((*.f64 (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x x x))) 2) (cbrt.f64 (*.f64 x (fma.f64 x x x)))) (2)) ((*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (cbrt.f64 x) (fma.f64 x x x))) (2)) ((*.f64 (fma.f64 x x x) x) (2)) ((*.f64 (+.f64 x 1) (*.f64 x x)) (2)) ((*.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (/.f64 1 (-.f64 (pow.f64 x 3) (*.f64 x x)))) (2)) ((*.f64 (+.f64 (pow.f64 x 6) (pow.f64 x 9)) (/.f64 1 (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))))) (2)) ((*.f64 (*.f64 (+.f64 x 1) 1) (*.f64 x x)) (2)) ((*.f64 (*.f64 (+.f64 x 1) (cbrt.f64 (pow.f64 x 4))) (cbrt.f64 (*.f64 x x))) (2)) ((/.f64 1 (/.f64 (-.f64 (pow.f64 x 3) (*.f64 x x)) (-.f64 (pow.f64 x 6) (pow.f64 x 4)))) (2)) ((/.f64 1 (/.f64 (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))) (+.f64 (pow.f64 x 6) (pow.f64 x 9)))) (2)) ((/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (-.f64 (pow.f64 x 3) (*.f64 x x))) (2)) ((/.f64 (+.f64 (pow.f64 x 6) (pow.f64 x 9)) (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5)))) (2)) ((/.f64 (+.f64 (pow.f64 x 6) (pow.f64 x 9)) (+.f64 (pow.f64 x 4) (-.f64 (pow.f64 x 6) (pow.f64 x 5)))) (2)) ((/.f64 (-.f64 (pow.f64 x 4) (pow.f64 x 6)) (-.f64 (*.f64 x x) (pow.f64 x 3))) (2)) ((/.f64 (neg.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4))) (neg.f64 (-.f64 (pow.f64 x 3) (*.f64 x x)))) (2)) ((/.f64 (neg.f64 (+.f64 (pow.f64 x 6) (pow.f64 x 9))) (neg.f64 (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))))) (2)) ((pow.f64 (*.f64 x (fma.f64 x x x)) 1) (2)) ((pow.f64 (hypot.f64 x (pow.f64 x 3/2)) 2) (2)) ((pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x x x))) 3) (2)) ((pow.f64 (pow.f64 (*.f64 x (fma.f64 x x x)) 3) 1/3) (2)) ((sqrt.f64 (pow.f64 (*.f64 x (fma.f64 x x x)) 2)) (2)) ((log.f64 (pow.f64 (exp.f64 x) (fma.f64 x x x))) (2)) ((cbrt.f64 (pow.f64 (*.f64 x (fma.f64 x x x)) 3)) (2)) ((expm1.f64 (log1p.f64 (*.f64 x (fma.f64 x x x)))) (2)) ((exp.f64 (log.f64 (*.f64 x (fma.f64 x x x)))) (2)) ((exp.f64 (*.f64 (log.f64 (*.f64 x (fma.f64 x x x))) 1)) (2)) ((log1p.f64 (expm1.f64 (*.f64 x (fma.f64 x x x)))) (2)) ((fma.f64 x x (pow.f64 x 3)) (2)) ((fma.f64 x (*.f64 x x) (*.f64 x x)) (2)) ((fma.f64 (*.f64 x x) x (*.f64 x x)) (2)) ((fma.f64 1 (*.f64 x x) (pow.f64 x 3)) (2)) ((fma.f64 1 (pow.f64 x 3) (*.f64 x x)) (2)) ((fma.f64 (pow.f64 x 3/2) (pow.f64 x 3/2) (*.f64 x x)) (2)) ((fma.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 x x)) (pow.f64 x 3)) (2)))

simplify67.0ms (2.3%)

Algorithm
1×egg-herbie
Rules
1442×associate-+r+
1264×associate-+l+
1076×associate-*r/
884×associate-*l/
700×times-frac
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01271446
13031416
210791416
342841416
Stop Event
1×node limit
Counts
80 → 67
Calls
Call 1
Inputs
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(pow.f64 x 3)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(pow.f64 x 3)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(-.f64 (+.f64 1 (pow.f64 x 3)) 1)
(pow.f64 x 3)
(pow.f64 (pow.f64 x 3) 1)
(pow.f64 (pow.f64 x 3/2) 2)
(pow.f64 (pow.f64 x 9) 1/3)
(sqrt.f64 (pow.f64 x 6))
(log.f64 (exp.f64 (pow.f64 x 3)))
(cbrt.f64 (pow.f64 x 9))
(expm1.f64 (log1p.f64 (pow.f64 x 3)))
(exp.f64 (*.f64 3 (log.f64 x)))
(exp.f64 (*.f64 (log.f64 x) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 x)) 1))
(log1p.f64 (expm1.f64 (pow.f64 x 3)))
(-.f64 (+.f64 1 (*.f64 x (fma.f64 x x x))) 1)
(-.f64 (/.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 3) (*.f64 x x))) (/.f64 (pow.f64 x 4) (-.f64 (pow.f64 x 3) (*.f64 x x))))
(*.f64 x (fma.f64 x x x))
(*.f64 (*.f64 x x) (+.f64 x 1))
(*.f64 (*.f64 x (fma.f64 x x x)) 1)
(*.f64 1 (*.f64 x (fma.f64 x x x)))
(*.f64 (hypot.f64 x (pow.f64 x 3/2)) (hypot.f64 x (pow.f64 x 3/2)))
(*.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (fma.f64 x x x)))
(*.f64 (cbrt.f64 (*.f64 x (fma.f64 x x x))) (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x x x))) 2))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x x x))) 2) (cbrt.f64 (*.f64 x (fma.f64 x x x))))
(*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (cbrt.f64 x) (fma.f64 x x x)))
(*.f64 (fma.f64 x x x) x)
(*.f64 (+.f64 x 1) (*.f64 x x))
(*.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (/.f64 1 (-.f64 (pow.f64 x 3) (*.f64 x x))))
(*.f64 (+.f64 (pow.f64 x 6) (pow.f64 x 9)) (/.f64 1 (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5)))))
(*.f64 (*.f64 (+.f64 x 1) 1) (*.f64 x x))
(*.f64 (*.f64 (+.f64 x 1) (cbrt.f64 (pow.f64 x 4))) (cbrt.f64 (*.f64 x x)))
(/.f64 1 (/.f64 (-.f64 (pow.f64 x 3) (*.f64 x x)) (-.f64 (pow.f64 x 6) (pow.f64 x 4))))
(/.f64 1 (/.f64 (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))) (+.f64 (pow.f64 x 6) (pow.f64 x 9))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (-.f64 (pow.f64 x 3) (*.f64 x x)))
(/.f64 (+.f64 (pow.f64 x 6) (pow.f64 x 9)) (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))))
(/.f64 (+.f64 (pow.f64 x 6) (pow.f64 x 9)) (+.f64 (pow.f64 x 4) (-.f64 (pow.f64 x 6) (pow.f64 x 5))))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 x 6)) (-.f64 (*.f64 x x) (pow.f64 x 3)))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4))) (neg.f64 (-.f64 (pow.f64 x 3) (*.f64 x x))))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 6) (pow.f64 x 9))) (neg.f64 (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5)))))
(pow.f64 (*.f64 x (fma.f64 x x x)) 1)
(pow.f64 (hypot.f64 x (pow.f64 x 3/2)) 2)
(pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x x x))) 3)
(pow.f64 (pow.f64 (*.f64 x (fma.f64 x x x)) 3) 1/3)
(sqrt.f64 (pow.f64 (*.f64 x (fma.f64 x x x)) 2))
(log.f64 (pow.f64 (exp.f64 x) (fma.f64 x x x)))
(cbrt.f64 (pow.f64 (*.f64 x (fma.f64 x x x)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (fma.f64 x x x))))
(exp.f64 (log.f64 (*.f64 x (fma.f64 x x x))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (fma.f64 x x x))) 1))
(log1p.f64 (expm1.f64 (*.f64 x (fma.f64 x x x))))
(fma.f64 x x (pow.f64 x 3))
(fma.f64 x (*.f64 x x) (*.f64 x x))
(fma.f64 (*.f64 x x) x (*.f64 x x))
(fma.f64 1 (*.f64 x x) (pow.f64 x 3))
(fma.f64 1 (pow.f64 x 3) (*.f64 x x))
(fma.f64 (pow.f64 x 3/2) (pow.f64 x 3/2) (*.f64 x x))
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 x x)) (pow.f64 x 3))
Outputs
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(pow.f64 x 3)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(pow.f64 x 3)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(-.f64 (+.f64 1 (pow.f64 x 3)) 1)
(pow.f64 x 3)
(pow.f64 x 3)
(pow.f64 (pow.f64 x 3) 1)
(pow.f64 x 3)
(pow.f64 (pow.f64 x 3/2) 2)
(pow.f64 x 3)
(pow.f64 (pow.f64 x 9) 1/3)
(cbrt.f64 (pow.f64 x 9))
(sqrt.f64 (pow.f64 x 6))
(pow.f64 x 3)
(log.f64 (exp.f64 (pow.f64 x 3)))
(pow.f64 x 3)
(cbrt.f64 (pow.f64 x 9))
(expm1.f64 (log1p.f64 (pow.f64 x 3)))
(pow.f64 x 3)
(exp.f64 (*.f64 3 (log.f64 x)))
(pow.f64 x 3)
(exp.f64 (*.f64 (log.f64 x) 3))
(pow.f64 x 3)
(exp.f64 (*.f64 (*.f64 3 (log.f64 x)) 1))
(pow.f64 x 3)
(log1p.f64 (expm1.f64 (pow.f64 x 3)))
(pow.f64 x 3)
(-.f64 (+.f64 1 (*.f64 x (fma.f64 x x x))) 1)
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(-.f64 (/.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 3) (*.f64 x x))) (/.f64 (pow.f64 x 4) (-.f64 (pow.f64 x 3) (*.f64 x x))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (-.f64 (pow.f64 x 3) (*.f64 x x)))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (*.f64 x (-.f64 (*.f64 x x) x)))
(*.f64 x (fma.f64 x x x))
(fma.f64 x x (pow.f64 x 3))
(*.f64 (*.f64 x x) (+.f64 x 1))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(*.f64 (*.f64 x (fma.f64 x x x)) 1)
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(*.f64 1 (*.f64 x (fma.f64 x x x)))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(*.f64 (hypot.f64 x (pow.f64 x 3/2)) (hypot.f64 x (pow.f64 x 3/2)))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(*.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (fma.f64 x x x)))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(*.f64 (cbrt.f64 (*.f64 x (fma.f64 x x x))) (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x x x))) 2))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(*.f64 (pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x x x))) 2) (cbrt.f64 (*.f64 x (fma.f64 x x x))))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (cbrt.f64 x) (fma.f64 x x x)))
(*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (fma.f64 x x x) (cbrt.f64 x)))
(*.f64 (fma.f64 x x x) (*.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 x)))
(*.f64 (fma.f64 x x x) x)
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(*.f64 (+.f64 x 1) (*.f64 x x))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(*.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (/.f64 1 (-.f64 (pow.f64 x 3) (*.f64 x x))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (-.f64 (pow.f64 x 3) (*.f64 x x)))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (*.f64 x (-.f64 (*.f64 x x) x)))
(*.f64 (+.f64 (pow.f64 x 6) (pow.f64 x 9)) (/.f64 1 (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5)))))
(/.f64 (*.f64 (+.f64 (pow.f64 x 9) (pow.f64 x 6)) 1) (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))))
(/.f64 (+.f64 (pow.f64 x 9) (pow.f64 x 6)) (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))))
(*.f64 (*.f64 (+.f64 x 1) 1) (*.f64 x x))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(*.f64 (*.f64 (+.f64 x 1) (cbrt.f64 (pow.f64 x 4))) (cbrt.f64 (*.f64 x x)))
(*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (+.f64 x 1) (cbrt.f64 (pow.f64 x 4))))
(*.f64 (+.f64 x 1) (*.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 (pow.f64 x 4))))
(/.f64 1 (/.f64 (-.f64 (pow.f64 x 3) (*.f64 x x)) (-.f64 (pow.f64 x 6) (pow.f64 x 4))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (-.f64 (pow.f64 x 3) (*.f64 x x)))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (*.f64 x (-.f64 (*.f64 x x) x)))
(/.f64 1 (/.f64 (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))) (+.f64 (pow.f64 x 6) (pow.f64 x 9))))
(/.f64 (*.f64 (+.f64 (pow.f64 x 9) (pow.f64 x 6)) 1) (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))))
(/.f64 (+.f64 (pow.f64 x 9) (pow.f64 x 6)) (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (-.f64 (pow.f64 x 3) (*.f64 x x)))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (*.f64 x (-.f64 (*.f64 x x) x)))
(/.f64 (+.f64 (pow.f64 x 6) (pow.f64 x 9)) (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))))
(/.f64 (*.f64 (+.f64 (pow.f64 x 9) (pow.f64 x 6)) 1) (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))))
(/.f64 (+.f64 (pow.f64 x 9) (pow.f64 x 6)) (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))))
(/.f64 (+.f64 (pow.f64 x 6) (pow.f64 x 9)) (+.f64 (pow.f64 x 4) (-.f64 (pow.f64 x 6) (pow.f64 x 5))))
(/.f64 (*.f64 (+.f64 (pow.f64 x 9) (pow.f64 x 6)) 1) (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))))
(/.f64 (+.f64 (pow.f64 x 9) (pow.f64 x 6)) (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))))
(/.f64 (-.f64 (pow.f64 x 4) (pow.f64 x 6)) (-.f64 (*.f64 x x) (pow.f64 x 3)))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (-.f64 (pow.f64 x 3) (*.f64 x x)))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (*.f64 x (-.f64 (*.f64 x x) x)))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4))) (neg.f64 (-.f64 (pow.f64 x 3) (*.f64 x x))))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (-.f64 (pow.f64 x 3) (*.f64 x x)))
(/.f64 (-.f64 (pow.f64 x 6) (pow.f64 x 4)) (*.f64 x (-.f64 (*.f64 x x) x)))
(/.f64 (neg.f64 (+.f64 (pow.f64 x 6) (pow.f64 x 9))) (neg.f64 (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5)))))
(/.f64 (*.f64 (+.f64 (pow.f64 x 9) (pow.f64 x 6)) 1) (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))))
(/.f64 (+.f64 (pow.f64 x 9) (pow.f64 x 6)) (+.f64 (pow.f64 x 6) (-.f64 (pow.f64 x 4) (pow.f64 x 5))))
(pow.f64 (*.f64 x (fma.f64 x x x)) 1)
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(pow.f64 (hypot.f64 x (pow.f64 x 3/2)) 2)
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(pow.f64 (cbrt.f64 (*.f64 x (fma.f64 x x x))) 3)
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(pow.f64 (pow.f64 (*.f64 x (fma.f64 x x x)) 3) 1/3)
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(sqrt.f64 (pow.f64 (*.f64 x (fma.f64 x x x)) 2))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(log.f64 (pow.f64 (exp.f64 x) (fma.f64 x x x)))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(cbrt.f64 (pow.f64 (*.f64 x (fma.f64 x x x)) 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(expm1.f64 (log1p.f64 (*.f64 x (fma.f64 x x x))))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(exp.f64 (log.f64 (*.f64 x (fma.f64 x x x))))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(exp.f64 (*.f64 (log.f64 (*.f64 x (fma.f64 x x x))) 1))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(log1p.f64 (expm1.f64 (*.f64 x (fma.f64 x x x))))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(fma.f64 x (*.f64 x x) (*.f64 x x))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(fma.f64 (*.f64 x x) x (*.f64 x x))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(fma.f64 1 (*.f64 x x) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(fma.f64 1 (pow.f64 x 3) (*.f64 x x))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(fma.f64 (pow.f64 x 3/2) (pow.f64 x 3/2) (*.f64 x x))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(fma.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 x x)) (pow.f64 x 3))
(fma.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 (pow.f64 x 4)) (pow.f64 x 3))

eval16.0ms (0.5%)

Compiler

Compiled 873 to 412 computations (52.8% saved)

prune12.0ms (0.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New82284
Fresh000
Picked011
Done011
Total82486
Accurracy
100.0%
Counts
86 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
▶100.0%
(*.f64 (+.f64 x 1) (*.f64 x x))
✓100.0%
(*.f64 x (fma.f64 x x x))
▶96.1%
(*.f64 x x)
Compiler

Compiled 29 to 14 computations (51.7% saved)

localize2.0ms (0.1%)

Compiler

Compiled 5 to 2 computations (60% saved)

localize6.0ms (0.2%)

Local Accuracy

Found 1 expressions with local accuracy:

NewAccuracyProgram
✓100.0%
(*.f64 (+.f64 x 1) (*.f64 x x))
Compiler

Compiled 16 to 8 computations (50% saved)

series1.0ms (0%)

Counts
1 → 12
Calls

3 calls:

TimeVariablePointExpression
0.0ms
x
@-inf
(*.f64 (+.f64 x 1) (*.f64 x x))
0.0ms
x
@0
(*.f64 (+.f64 x 1) (*.f64 x x))
0.0ms
x
@inf
(*.f64 (+.f64 x 1) (*.f64 x x))

rewrite57.0ms (1.9%)

Algorithm
1×batch-egg-rewrite
Rules
1394×add-sqr-sqrt
1376×*-un-lft-identity
1284×add-cube-cbrt
1268×add-cbrt-cube
1260×add-exp-log
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0719
114519
2186419
Stop Event
1×node limit
Counts
1 → 18
Calls
Call 1
Inputs
(*.f64 (+.f64 x 1) (*.f64 x x))
Outputs
(((+.f64 (*.f64 x x) (pow.f64 x 3)) (2)) ((+.f64 (pow.f64 x 3) (*.f64 x x)) (2)) ((-.f64 (+.f64 1 (+.f64 (*.f64 x x) (pow.f64 x 3))) 1) (2)) ((/.f64 (*.f64 (*.f64 x x) (fma.f64 x x -1)) (+.f64 x -1)) (2)) ((/.f64 (*.f64 (*.f64 x x) (+.f64 1 (pow.f64 x 3))) (fma.f64 x x (-.f64 1 x))) (2)) ((/.f64 (*.f64 (fma.f64 x x -1) (*.f64 x x)) (+.f64 x -1)) (2)) ((/.f64 (*.f64 (+.f64 1 (pow.f64 x 3)) (*.f64 x x)) (fma.f64 x x (-.f64 1 x))) (2)) ((pow.f64 (+.f64 (*.f64 x x) (pow.f64 x 3)) 1) (2)) ((pow.f64 (*.f64 x (sqrt.f64 (+.f64 x 1))) 2) (2)) ((pow.f64 (cbrt.f64 (+.f64 (*.f64 x x) (pow.f64 x 3))) 3) (2)) ((pow.f64 (pow.f64 (+.f64 (*.f64 x x) (pow.f64 x 3)) 3) 1/3) (2)) ((sqrt.f64 (pow.f64 (+.f64 (*.f64 x x) (pow.f64 x 3)) 2)) (2)) ((log.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (+.f64 x 1))) (2)) ((cbrt.f64 (pow.f64 (+.f64 (*.f64 x x) (pow.f64 x 3)) 3)) (2)) ((expm1.f64 (log1p.f64 (+.f64 (*.f64 x x) (pow.f64 x 3)))) (2)) ((exp.f64 (+.f64 (*.f64 2 (log.f64 x)) (log1p.f64 x))) (2)) ((exp.f64 (*.f64 (+.f64 (*.f64 2 (log.f64 x)) (log1p.f64 x)) 1)) (2)) ((log1p.f64 (expm1.f64 (+.f64 (*.f64 x x) (pow.f64 x 3)))) (2)))

simplify60.0ms (2%)

Algorithm
1×egg-herbie
Rules
1154×fma-def
1016×associate-/r/
720×associate-*r/
662×associate-*r*
640×associate-*l/
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
058498
1147498
2488486
32253478
45235478
Stop Event
1×node limit
Counts
30 → 32
Calls
Call 1
Inputs
(pow.f64 x 2)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(pow.f64 x 3)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(pow.f64 x 3)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(+.f64 (*.f64 x x) (pow.f64 x 3))
(+.f64 (pow.f64 x 3) (*.f64 x x))
(-.f64 (+.f64 1 (+.f64 (*.f64 x x) (pow.f64 x 3))) 1)
(/.f64 (*.f64 (*.f64 x x) (fma.f64 x x -1)) (+.f64 x -1))
(/.f64 (*.f64 (*.f64 x x) (+.f64 1 (pow.f64 x 3))) (fma.f64 x x (-.f64 1 x)))
(/.f64 (*.f64 (fma.f64 x x -1) (*.f64 x x)) (+.f64 x -1))
(/.f64 (*.f64 (+.f64 1 (pow.f64 x 3)) (*.f64 x x)) (fma.f64 x x (-.f64 1 x)))
(pow.f64 (+.f64 (*.f64 x x) (pow.f64 x 3)) 1)
(pow.f64 (*.f64 x (sqrt.f64 (+.f64 x 1))) 2)
(pow.f64 (cbrt.f64 (+.f64 (*.f64 x x) (pow.f64 x 3))) 3)
(pow.f64 (pow.f64 (+.f64 (*.f64 x x) (pow.f64 x 3)) 3) 1/3)
(sqrt.f64 (pow.f64 (+.f64 (*.f64 x x) (pow.f64 x 3)) 2))
(log.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (+.f64 x 1)))
(cbrt.f64 (pow.f64 (+.f64 (*.f64 x x) (pow.f64 x 3)) 3))
(expm1.f64 (log1p.f64 (+.f64 (*.f64 x x) (pow.f64 x 3))))
(exp.f64 (+.f64 (*.f64 2 (log.f64 x)) (log1p.f64 x)))
(exp.f64 (*.f64 (+.f64 (*.f64 2 (log.f64 x)) (log1p.f64 x)) 1))
(log1p.f64 (expm1.f64 (+.f64 (*.f64 x x) (pow.f64 x 3))))
Outputs
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(pow.f64 x 3)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(pow.f64 x 3)
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 2) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (*.f64 x x) (pow.f64 x 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(+.f64 (pow.f64 x 3) (*.f64 x x))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(-.f64 (+.f64 1 (+.f64 (*.f64 x x) (pow.f64 x 3))) 1)
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(/.f64 (*.f64 (*.f64 x x) (fma.f64 x x -1)) (+.f64 x -1))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(/.f64 (*.f64 (*.f64 x x) (+.f64 1 (pow.f64 x 3))) (fma.f64 x x (-.f64 1 x)))
(/.f64 (*.f64 x x) (/.f64 (fma.f64 x x (-.f64 1 x)) (+.f64 (pow.f64 x 3) 1)))
(*.f64 (/.f64 (*.f64 x x) (fma.f64 x x (-.f64 1 x))) (+.f64 (pow.f64 x 3) 1))
(*.f64 (/.f64 x (-.f64 (fma.f64 x x 1) x)) (+.f64 x (pow.f64 x 4)))
(/.f64 (fma.f64 x x (pow.f64 x 5)) (fma.f64 x x (-.f64 1 x)))
(/.f64 (fma.f64 x x (pow.f64 x 5)) (-.f64 (fma.f64 x x 1) x))
(/.f64 (*.f64 (fma.f64 x x -1) (*.f64 x x)) (+.f64 x -1))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(/.f64 (*.f64 (+.f64 1 (pow.f64 x 3)) (*.f64 x x)) (fma.f64 x x (-.f64 1 x)))
(/.f64 (*.f64 x x) (/.f64 (fma.f64 x x (-.f64 1 x)) (+.f64 (pow.f64 x 3) 1)))
(*.f64 (/.f64 (*.f64 x x) (fma.f64 x x (-.f64 1 x))) (+.f64 (pow.f64 x 3) 1))
(*.f64 (/.f64 x (-.f64 (fma.f64 x x 1) x)) (+.f64 x (pow.f64 x 4)))
(/.f64 (fma.f64 x x (pow.f64 x 5)) (fma.f64 x x (-.f64 1 x)))
(/.f64 (fma.f64 x x (pow.f64 x 5)) (-.f64 (fma.f64 x x 1) x))
(pow.f64 (+.f64 (*.f64 x x) (pow.f64 x 3)) 1)
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(pow.f64 (*.f64 x (sqrt.f64 (+.f64 x 1))) 2)
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(pow.f64 (cbrt.f64 (+.f64 (*.f64 x x) (pow.f64 x 3))) 3)
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(pow.f64 (pow.f64 (+.f64 (*.f64 x x) (pow.f64 x 3)) 3) 1/3)
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(sqrt.f64 (pow.f64 (+.f64 (*.f64 x x) (pow.f64 x 3)) 2))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(log.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (+.f64 x 1)))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(cbrt.f64 (pow.f64 (+.f64 (*.f64 x x) (pow.f64 x 3)) 3))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(expm1.f64 (log1p.f64 (+.f64 (*.f64 x x) (pow.f64 x 3))))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))
(exp.f64 (+.f64 (*.f64 2 (log.f64 x)) (log1p.f64 x)))
(exp.f64 (fma.f64 2 (log.f64 x) (log1p.f64 x)))
(*.f64 (*.f64 x x) (exp.f64 (log1p.f64 x)))
(*.f64 x (*.f64 x (exp.f64 (log1p.f64 x))))
(exp.f64 (*.f64 (+.f64 (*.f64 2 (log.f64 x)) (log1p.f64 x)) 1))
(exp.f64 (fma.f64 2 (log.f64 x) (log1p.f64 x)))
(*.f64 (*.f64 x x) (exp.f64 (log1p.f64 x)))
(*.f64 x (*.f64 x (exp.f64 (log1p.f64 x))))
(log1p.f64 (expm1.f64 (+.f64 (*.f64 x x) (pow.f64 x 3))))
(fma.f64 x x (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))

eval6.0ms (0.2%)

Compiler

Compiled 306 to 170 computations (44.4% saved)

prune9.0ms (0.3%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New32032
Fresh000
Picked011
Done033
Total32436
Accurracy
100.0%
Counts
36 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
✓100.0%
(*.f64 (+.f64 x 1) (*.f64 x x))
✓100.0%
(*.f64 x (fma.f64 x x x))
✓96.1%
(*.f64 x x)
Compiler

Compiled 29 to 14 computations (51.7% saved)

regimes12.0ms (0.4%)

Counts
4 → 1
Calls
Call 1
Inputs
(*.f64 x x)
(*.f64 (+.f64 x 1) (*.f64 x x))
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
(*.f64 x (fma.f64 x x x))
Outputs
(*.f64 x (fma.f64 x x x))
Calls

2 calls:

3.0ms
x
2.0ms
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
Results
AccuracySegmentsBranch
100.0%1x
100.0%1(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
Compiler

Compiled 38 to 14 computations (63.2% saved)

regimes8.0ms (0.3%)

Counts
3 → 1
Calls
Call 1
Inputs
(*.f64 x x)
(*.f64 (+.f64 x 1) (*.f64 x x))
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
Outputs
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
Calls

2 calls:

5.0ms
x
2.0ms
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
Results
AccuracySegmentsBranch
100.0%1x
100.0%1(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
Compiler

Compiled 32 to 12 computations (62.5% saved)

regimes3.0ms (0.1%)

Accuracy

Total -2.5b remaining (-10487.9%)

Threshold costs -2.5b (-10487.9%)

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

1 calls:

3.0ms
x
Results
AccuracySegmentsBranch
100.0%1x
Compiler

Compiled 13 to 6 computations (53.8% saved)

simplify5.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
6×*-commutative
4×+-commutative
2×1-exp
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01266
12066
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(*.f64 x (fma.f64 x x x))
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
(*.f64 (+.f64 x 1) (*.f64 x x))
(*.f64 x x)
Outputs
(*.f64 x (fma.f64 x x x))
(+.f64 (*.f64 x (*.f64 x x)) (*.f64 x x))
(+.f64 (*.f64 x x) (*.f64 x (*.f64 x x)))
(*.f64 (+.f64 x 1) (*.f64 x x))
(*.f64 (*.f64 x x) (+.f64 x 1))
(*.f64 x x)
Compiler

Compiled 29 to 14 computations (51.7% saved)

soundness323.0ms (11%)

Algorithm
1×egg-herbie
Rules
3512×sqr-pow
1426×pow-sqr
1160×cube-prod
742×fabs-mul
736×cube-mult
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0619
11715
23415
34715
46615
512415
622215
764415
8104615
9113415
10127115
11143315
12167115
13198415
14237915
15285215
16339115
17403115
18425215
19444815
20458815
21467415
22473215
23562215
24667215
25697415
26726815
27740015
28741015
29741015
Stop Event
1×node limit
Compiler

Compiled 23 to 8 computations (65.2% saved)

end21.0ms (0.7%)

Compiler

Compiled 26 to 9 computations (65.4% saved)

Profiling

Loading profile data...