Details

Time bar (total: 7.6s)

analyze390.0ms (5.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
12.5%87.4%0.1%6
28.1%71.8%0.1%7
42.1%57.7%0.1%8
43.7%56.2%0.1%9
64.4%35.5%0.1%10
71.6%28.3%0.1%11
72.2%27.7%0.1%12
81.6%18.2%0.2%13
84.9%14.9%0.2%14
Compiler

Compiled 16 to 9 computations (43.8% saved)

sample1.2s (15.4%)

Results
1.0s8256×body128valid
29.0ms252×body128invalid
Compiler

Compiled 47 to 26 computations (44.7% saved)

simplify72.0ms (1%)

Algorithm
1×egg-herbie
Rules
669×fma-def_binary64
505×times-frac_binary64
497×div-sub_binary64
469×neg-mul-1_binary64
463×neg-sub0_binary64
Counts
1 → 2
Iterations

Useful iterations: 8 (0.0ms)

IterNodesCost
0918
13018
28318
319318
433418
543518
660018
787118
8136916
9359416
10429816
11485616

prune3.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.5b
Counts
3 → 2
Alt Table
StatusErrorProgram
19.8b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
▶1.2b
(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))
Compiler

Compiled 84 to 47 computations (44% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 -1 (/.f64 u t1))
✓0.0b
(/.f64 v (+.f64 t1 u))
✓1.2b
(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))

series96.0ms (1.3%)

Counts
3 → 84
Calls

3 calls:

70.0ms
(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))
20.0ms
(/.f64 v (+.f64 t1 u))
5.0ms
(-.f64 -1 (/.f64 u t1))

rewrite55.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
260×times-frac_binary64
229×add-sqr-sqrt_binary64
219×*-un-lft-identity_binary64
129×add-cube-cbrt_binary64
40×difference-of-squares_binary64
Counts
3 → 257
Calls

3 calls:

13.0ms
(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))
6.0ms
(-.f64 -1 (/.f64 u t1))
3.0ms
(/.f64 v (+.f64 t1 u))

simplify228.0ms (3%)

Algorithm
1×egg-herbie
Rules
817×fma-def_binary64
310×associate-/l/_binary64
233×associate-/l*_binary64
223×div-sub_binary64
212×fma-neg_binary64
Counts
341 → 303
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
04659966
112028417
235698323
349468323
450088323

prune236.0ms (3.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New2985303
Fresh011
Picked011
Done000
Total2987305
Error
0.2b
Counts
305 → 7
Alt Table
StatusErrorProgram
3.2b
(*.f64 v (/.f64 (/.f64 1 (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))))
1.7b
(/.f64 (/.f64 1 (/.f64 (+.f64 t1 u) v)) (-.f64 -1 (/.f64 u t1)))
3.3b
(/.f64 (neg.f64 v) (fma.f64 u (/.f64 u t1) (fma.f64 u 2 t1)))
✓1.2b
(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))
19.8b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
▶1.3b
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u)))) (/.f64 (/.f64 v (cbrt.f64 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1))))
1.7b
(/.f64 1 (/.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 v (+.f64 t1 u))))
Compiler

Compiled 8154 to 2914 computations (64.3% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(/.f64 1 (*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u))))
✓0.5b
(*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u)))
✓0.5b
(cbrt.f64 (+.f64 t1 u))
✓1.8b
(/.f64 (/.f64 v (cbrt.f64 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1)))

series398.0ms (5.3%)

Counts
4 → 108
Calls

4 calls:

323.0ms
(/.f64 (/.f64 v (cbrt.f64 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1)))
29.0ms
(/.f64 1 (*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u))))
24.0ms
(*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u)))
21.0ms
(cbrt.f64 (+.f64 t1 u))

rewrite85.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
340×times-frac_binary64
289×add-sqr-sqrt_binary64
255×*-un-lft-identity_binary64
141×add-cube-cbrt_binary64
112×cbrt-prod_binary64
Counts
4 → 330
Calls

4 calls:

13.0ms
(/.f64 (/.f64 v (cbrt.f64 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1)))
9.0ms
(/.f64 1 (*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u))))
8.0ms
(*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u)))
2.0ms
(cbrt.f64 (+.f64 t1 u))

simplify339.0ms (4.5%)

Algorithm
1×egg-herbie
Rules
503×fma-def_binary64
401×associate-/l/_binary64
379×associate-*r*_binary64
297×associate-/r*_binary64
250×associate-*l*_binary64
Counts
438 → 442
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
066414513
1173014130
2482214130
3518414130

prune787.0ms (10.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New5360536
Fresh055
Picked011
Done011
Total5367543
Error
0.2b
Counts
543 → 7
Alt Table
StatusErrorProgram
3.2b
(*.f64 v (/.f64 (/.f64 1 (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))))
1.7b
(/.f64 (/.f64 1 (/.f64 (+.f64 t1 u) v)) (-.f64 -1 (/.f64 u t1)))
3.3b
(/.f64 (neg.f64 v) (fma.f64 u (/.f64 u t1) (fma.f64 u 2 t1)))
✓1.2b
(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))
19.8b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
✓1.3b
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u)))) (/.f64 (/.f64 v (cbrt.f64 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1))))
▶1.7b
(/.f64 1 (/.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 v (+.f64 t1 u))))
Compiler

Compiled 21719 to 8936 computations (58.9% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(-.f64 -1 (/.f64 u t1))
0.0b
(/.f64 v (+.f64 t1 u))
✓0.7b
(/.f64 1 (/.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 v (+.f64 t1 u))))
✓1.1b
(/.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 v (+.f64 t1 u)))

series119.0ms (1.6%)

Counts
2 → 72
Calls

2 calls:

93.0ms
(/.f64 1 (/.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 v (+.f64 t1 u))))
26.0ms
(/.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 v (+.f64 t1 u)))

rewrite248.0ms (3.3%)

Algorithm
1×rewrite-expression-head
Rules
1342×times-frac_binary64
914×add-sqr-sqrt_binary64
827×*-un-lft-identity_binary64
459×add-cube-cbrt_binary64
182×difference-of-squares_binary64
Counts
2 → 634
Calls

2 calls:

24.0ms
(/.f64 1 (/.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 v (+.f64 t1 u))))
15.0ms
(/.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 v (+.f64 t1 u)))

simplify650.0ms (8.6%)

Algorithm
1×egg-herbie
Rules
589×associate-/r/_binary64
484×fma-def_binary64
320×associate-*l/_binary64
313×*-commutative_binary64
244×associate-*r/_binary64
Counts
706 → 719
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
049124821
1125023497
2439723441
3499023441
4496923441

prune638.0ms (8.4%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New8510851
Fresh044
Picked011
Done022
Total8517858
Error
0.2b
Counts
858 → 7
Alt Table
StatusErrorProgram
3.2b
(*.f64 v (/.f64 (/.f64 1 (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))))
▶1.7b
(/.f64 (/.f64 1 (/.f64 (+.f64 t1 u) v)) (-.f64 -1 (/.f64 u t1)))
3.3b
(/.f64 (neg.f64 v) (fma.f64 u (/.f64 u t1) (fma.f64 u 2 t1)))
✓1.2b
(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))
19.8b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
✓1.3b
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u)))) (/.f64 (/.f64 v (cbrt.f64 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1))))
✓1.7b
(/.f64 1 (/.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 v (+.f64 t1 u))))
Compiler

Compiled 26024 to 10691 computations (58.9% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(-.f64 -1 (/.f64 u t1))
✓0.0b
(/.f64 (+.f64 t1 u) v)
✓0.8b
(/.f64 1 (/.f64 (+.f64 t1 u) v))
✓1.2b
(/.f64 (/.f64 1 (/.f64 (+.f64 t1 u) v)) (-.f64 -1 (/.f64 u t1)))

series114.0ms (1.5%)

Counts
3 → 96
Calls

3 calls:

71.0ms
(/.f64 (/.f64 1 (/.f64 (+.f64 t1 u) v)) (-.f64 -1 (/.f64 u t1)))
33.0ms
(/.f64 1 (/.f64 (+.f64 t1 u) v))
9.0ms
(/.f64 (+.f64 t1 u) v)

rewrite137.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Rules
1068×times-frac_binary64
672×add-sqr-sqrt_binary64
668×*-un-lft-identity_binary64
402×add-cube-cbrt_binary64
108×difference-of-squares_binary64
Counts
3 → 527
Calls

3 calls:

22.0ms
(/.f64 (/.f64 1 (/.f64 (+.f64 t1 u) v)) (-.f64 -1 (/.f64 u t1)))
9.0ms
(/.f64 1 (/.f64 (+.f64 t1 u) v))
4.0ms
(/.f64 (+.f64 t1 u) v)

simplify461.0ms (6.1%)

Algorithm
1×egg-herbie
Rules
350×fma-def_binary64
282×associate-/l/_binary64
274×distribute-rgt-in_binary64
261×distribute-lft-in_binary64
228×associate-/r*_binary64
Counts
623 → 584
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
038119640
1100218146
2298617818
3465717818
4494817818

prune507.0ms (6.7%)

Pruning

7 alts after pruning (3 fresh and 4 done)

PrunedKeptTotal
New6670667
Fresh033
Picked011
Done033
Total6677674
Error
0.2b
Counts
674 → 7
Alt Table
StatusErrorProgram
3.2b
(*.f64 v (/.f64 (/.f64 1 (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1))))
✓1.7b
(/.f64 (/.f64 1 (/.f64 (+.f64 t1 u) v)) (-.f64 -1 (/.f64 u t1)))
3.3b
(/.f64 (neg.f64 v) (fma.f64 u (/.f64 u t1) (fma.f64 u 2 t1)))
✓1.2b
(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))
19.8b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
✓1.3b
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 t1 u)) (cbrt.f64 (+.f64 t1 u)))) (/.f64 (/.f64 v (cbrt.f64 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1))))
✓1.7b
(/.f64 1 (/.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 v (+.f64 t1 u))))
Compiler

Compiled 19271 to 7973 computations (58.6% saved)

regimes703.0ms (9.3%)

Accuracy

Total 1.2b remaining (85.6%)

Threshold costs 0b (0%)

Counts
170 → 1
Compiler

Compiled 14918 to 9386 computations (37.1% saved)

simplify3.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01016
11316
21916
32316
42616
52716
62716

end88.0ms (1.2%)

Compiler

Compiled 147 to 91 computations (38.1% saved)

Profiling

Loading profile data...