Details

Time bar (total: 3.9s)

analyze2.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
99.9%0%0.1%1
Compiler

Compiled 11 to 7 computations (36.4% saved)

sample672.0ms (17.4%)

Infinites
20.6% of outputs are infinite.
Results
572.0ms8256×body128valid
Compiler

Compiled 32 to 20 computations (37.5% saved)

simplify24.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
278×fma-def_binary64
251×fma-neg_binary64
71×cancel-sign-sub-inv_binary64
55×distribute-rgt-in_binary64
41×sub-neg_binary64
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0710
1118
2248
3468
4818
51398
62128
73458
84878
96018
106618
116688
126258

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(fma.f64 (-.f64 y x) z x)
Compiler

Compiled 34 to 17 computations (50% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 (-.f64 y x) z x)

series7.0ms (0.2%)

Counts
1 → 36
Calls

1 calls:

7.0ms
(fma.f64 (-.f64 y x) z x)

rewrite1.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
1×*-un-lft-identity_binary64
1×add-sqr-sqrt_binary64
1×add-cube-cbrt_binary64
1×add-cbrt-cube_binary64
1×add-exp-log_binary64
Counts
1 → 10
Calls

1 calls:

0.0ms
(fma.f64 (-.f64 y x) z x)

simplify60.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
762×neg-sub0_binary64
713×neg-mul-1_binary64
619×distribute-neg-out_binary64
618×distribute-rgt-neg-out_binary64
414×unsub-neg_binary64
Counts
46 → 29
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
032472
166374
2141374
3350374
41783374
53599374
65394374

prune40.0ms (1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New28129
Fresh000
Picked011
Done000
Total28230
Error
0.0b
Counts
30 → 2
Alt Table
StatusErrorProgram
▶1.5b
(-.f64 (+.f64 (*.f64 y z) x) (*.f64 z x))
✓0.0b
(fma.f64 (-.f64 y x) z x)
Compiler

Compiled 292 to 85 computations (70.9% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 (*.f64 y z) x)
✓1.4b
(-.f64 (+.f64 (*.f64 y z) x) (*.f64 z x))

series18.0ms (0.5%)

Counts
2 → 18
Calls

2 calls:

11.0ms
(+.f64 (*.f64 y z) x)
7.0ms
(-.f64 (+.f64 (*.f64 y z) x) (*.f64 z x))

rewrite11.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
9×add-log-exp_binary64
4×*-un-lft-identity_binary64
4×add-sqr-sqrt_binary64
4×add-cube-cbrt_binary64
3×fma-neg_binary64
Counts
2 → 36
Calls

2 calls:

5.0ms
(-.f64 (+.f64 (*.f64 y z) x) (*.f64 z x))
4.0ms
(+.f64 (*.f64 y z) x)

simplify64.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
363×fma-def_binary64
298×associate-*l*_binary64
297×neg-mul-1_binary64
258×times-frac_binary64
254×associate-*r*_binary64
Counts
54 → 69
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
075629
1212515
2631493
32331492
44237492
55035492

prune33.0ms (0.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New68169
Fresh000
Picked011
Done011
Total68371
Error
0b
Counts
71 → 3
Alt Table
StatusErrorProgram
✓1.5b
(-.f64 (+.f64 (*.f64 y z) x) (*.f64 z x))
▶2.3b
(fma.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 y z) x)) (cbrt.f64 (+.f64 (*.f64 y z) x))) (cbrt.f64 (+.f64 (*.f64 y z) x)) (neg.f64 (*.f64 z x)))
✓0.0b
(fma.f64 (-.f64 y x) z x)
Compiler

Compiled 1088 to 242 computations (77.8% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(+.f64 (*.f64 y z) x)
✓0.5b
(*.f64 (cbrt.f64 (+.f64 (*.f64 y z) x)) (cbrt.f64 (+.f64 (*.f64 y z) x)))
✓1.4b
(fma.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 y z) x)) (cbrt.f64 (+.f64 (*.f64 y z) x))) (cbrt.f64 (+.f64 (*.f64 y z) x)) (neg.f64 (*.f64 z x)))
✓8.1b
(cbrt.f64 (+.f64 (*.f64 y z) x))

series2.0s (50.9%)

Counts
3 → 108
Calls

3 calls:

1.8s
(fma.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 y z) x)) (cbrt.f64 (+.f64 (*.f64 y z) x))) (cbrt.f64 (+.f64 (*.f64 y z) x)) (neg.f64 (*.f64 z x)))
148.0ms
(*.f64 (cbrt.f64 (+.f64 (*.f64 y z) x)) (cbrt.f64 (+.f64 (*.f64 y z) x)))
44.0ms
(cbrt.f64 (+.f64 (*.f64 y z) x))

rewrite22.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
20×add-sqr-sqrt_binary64
19×cbrt-prod_binary64
14×cbrt-div_binary64
12×*-un-lft-identity_binary64
12×add-cube-cbrt_binary64
Counts
3 → 75
Calls

3 calls:

13.0ms
(*.f64 (cbrt.f64 (+.f64 (*.f64 y z) x)) (cbrt.f64 (+.f64 (*.f64 y z) x)))
3.0ms
(cbrt.f64 (+.f64 (*.f64 y z) x))
1.0ms
(fma.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 y z) x)) (cbrt.f64 (+.f64 (*.f64 y z) x))) (cbrt.f64 (+.f64 (*.f64 y z) x)) (neg.f64 (*.f64 z x)))

simplify187.0ms (4.9%)

Algorithm
1×egg-herbie
Rules
447×times-frac_binary64
361×associate-*r*_binary64
360×associate-/r*_binary64
307×fma-neg_binary64
264×associate-*l*_binary64
Counts
183 → 249
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
04056887
112516353
248806349
351126349

prune457.0ms (11.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New4780478
Fresh000
Picked011
Done022
Total4783481
Error
0b
Counts
481 → 3
Alt Table
StatusErrorProgram
✓1.5b
(-.f64 (+.f64 (*.f64 y z) x) (*.f64 z x))
✓2.3b
(fma.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 y z) x)) (cbrt.f64 (+.f64 (*.f64 y z) x))) (cbrt.f64 (+.f64 (*.f64 y z) x)) (neg.f64 (*.f64 z x)))
✓0.0b
(fma.f64 (-.f64 y x) z x)
Compiler

Compiled 20215 to 7025 computations (65.2% saved)

regimes170.0ms (4.4%)

Accuracy

Total 0.0b remaining (67.3%)

Threshold costs 0.0b (67.3%)

Counts
29 → 1
Compiler

Compiled 2036 to 1022 computations (49.8% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2×+-commutative_binary64
2×sub-neg_binary64
1×*-commutative_binary64
1×neg-sub0_binary64
1×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
068
188
2138
3158
4168
5168

end96.0ms (2.5%)

Compiler

Compiled 66 to 32 computations (51.5% saved)

Profiling

Loading profile data...