Details

Time bar (total: 3.8s)

analyze477.0ms (12.6%)

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.1s (28%)

Results
926.0ms8256×body128valid
26.0ms249×body128invalid
Compiler

Compiled 47 to 26 computations (44.7% saved)

simplify71.0ms (1.9%)

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.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Compiled 84 to 47 computations (44% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series70.0ms (1.9%)

Counts
2 → 60
Calls

2 calls:

56.0ms
(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))
14.0ms
(/.f64 v (+.f64 t1 u))

rewrite62.0ms (1.6%)

Algorithm
1×batch-egg-rewrite
Rules
646×prod-diff_binary64
223×log1p-udef_binary64
123×add-sqr-sqrt_binary64
117×log1p-expm1-u_binary64
117×expm1-log1p-u_binary64
Counts
2 → 79
Calls

2 calls:

60.0ms
(/.f64 v (+.f64 t1 u))
60.0ms
(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01023
123423
2350523
3520623

simplify77.0ms (2%)

Algorithm
1×egg-herbie
Rules
1006×fma-neg_binary64
403×times-frac_binary64
343×distribute-rgt-neg-in_binary64
280×distribute-neg-frac_binary64
277×associate-/l*_binary64
Counts
139 → 113
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0731599
12211571
27061511
331761511
449831511
550831511

prune92.0ms (2.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1076113
Fresh011
Picked011
Done000
Total1078115
Error
0.7b
Counts
115 → 8
Alt Table
StatusErrorProgram
3.6b
(neg.f64 (/.f64 v (+.f64 t1 (fma.f64 u 2 (*.f64 u (/.f64 u t1))))))
6.6b
(*.f64 -1 (/.f64 v (+.f64 t1 (+.f64 (/.f64 (pow.f64 u 2) t1) (*.f64 2 u)))))
▶1.8b
(/.f64 (*.f64 v (/.f64 1 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1)))
2.8b
(pow.f64 (*.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 (+.f64 t1 u) v)) -1)
3.3b
(*.f64 v (*.f64 (/.f64 1 (+.f64 t1 u)) (/.f64 1 (-.f64 -1 (/.f64 u t1)))))
✓1.8b
(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))
47.5b
(*.f64 (/.f64 1 (sqrt.f64 (-.f64 -1 (/.f64 u t1)))) (/.f64 (/.f64 v (+.f64 t1 u)) (sqrt.f64 (-.f64 -1 (/.f64 u t1)))))
16.7b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
Compiler

Compiled 2351 to 1092 computations (53.6% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 1 (+.f64 t1 u))
✓0.1b
(*.f64 v (/.f64 1 (+.f64 t1 u)))
✓1.7b
(/.f64 (*.f64 v (/.f64 1 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1)))

series77.0ms (2.1%)

Counts
3 → 96
Calls

3 calls:

55.0ms
(/.f64 (*.f64 v (/.f64 1 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1)))
15.0ms
(*.f64 v (/.f64 1 (+.f64 t1 u)))
7.0ms
(/.f64 1 (+.f64 t1 u))

rewrite66.0ms (1.7%)

Algorithm
1×batch-egg-rewrite
Rules
649×prod-diff_binary64
136×add-sqr-sqrt_binary64
128×log1p-expm1-u_binary64
128×expm1-log1p-u_binary64
126×add-cbrt-cube_binary64
Counts
3 → 98
Calls

3 calls:

64.0ms
(/.f64 1 (+.f64 t1 u))
64.0ms
(*.f64 v (/.f64 1 (+.f64 t1 u)))
64.0ms
(/.f64 (*.f64 v (/.f64 1 (+.f64 t1 u))) (-.f64 -1 (/.f64 u t1)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01230
126930
2370030
3499230

simplify90.0ms (2.4%)

Algorithm
1×egg-herbie
Rules
993×fma-neg_binary64
435×times-frac_binary64
309×associate-/l*_binary64
244×sub-neg_binary64
237×fma-def_binary64
Counts
194 → 146
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0922157
12612129
28422021
336412021
449972021
550132021

prune111.0ms (2.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1442146
Fresh336
Picked101
Done011
Total1486154
Error
0.7b
Counts
154 → 6
Alt Table
StatusErrorProgram
3.6b
(neg.f64 (/.f64 v (+.f64 t1 (fma.f64 u 2 (*.f64 u (/.f64 u t1))))))
2.8b
(pow.f64 (*.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 (+.f64 t1 u) v)) -1)
17.6b
(/.f64 (/.f64 (cbrt.f64 (*.f64 v v)) (/.f64 (+.f64 t1 u) (cbrt.f64 v))) (-.f64 -1 (/.f64 u t1)))
▶2.2b
(*.f64 (/.f64 v (-.f64 -1 (/.f64 u t1))) (/.f64 1 (+.f64 t1 u)))
✓1.8b
(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))
16.7b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
Compiler

Compiled 2870 to 1403 computations (51.1% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series79.0ms (2.1%)

Counts
2 → 72
Calls

2 calls:

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

rewrite64.0ms (1.7%)

Algorithm
1×batch-egg-rewrite
Rules
637×prod-diff_binary64
138×add-sqr-sqrt_binary64
130×log1p-expm1-u_binary64
130×expm1-log1p-u_binary64
128×add-cbrt-cube_binary64
Counts
2 → 90
Calls

2 calls:

62.0ms
(*.f64 (/.f64 v (-.f64 -1 (/.f64 u t1))) (/.f64 1 (+.f64 t1 u)))
62.0ms
(/.f64 v (-.f64 -1 (/.f64 u t1)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01226
127226
2377426
3502826

simplify80.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
960×fma-neg_binary64
564×times-frac_binary64
392×associate-/l*_binary64
258×associate-/r*_binary64
177×fma-def_binary64
Counts
162 → 128
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0831755
12471727
28141628
337301613
449831613
549901613

prune178.0ms (4.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1671168
Fresh044
Picked011
Done011
Total1677174
Error
0.0b
Counts
174 → 7
Alt Table
StatusErrorProgram
31.4b
(*.f64 (*.f64 -1 (/.f64 (*.f64 t1 v) u)) (/.f64 1 (+.f64 t1 u)))
3.6b
(neg.f64 (/.f64 v (+.f64 t1 (fma.f64 u 2 (*.f64 u (/.f64 u t1))))))
▶2.8b
(pow.f64 (*.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 (+.f64 t1 u) v)) -1)
17.6b
(/.f64 (/.f64 (cbrt.f64 (*.f64 v v)) (/.f64 (+.f64 t1 u) (cbrt.f64 v))) (-.f64 -1 (/.f64 u t1)))
✓2.2b
(*.f64 (/.f64 v (-.f64 -1 (/.f64 u t1))) (/.f64 1 (+.f64 t1 u)))
✓1.8b
(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))
16.7b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
Compiler

Compiled 3219 to 1662 computations (48.4% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (+.f64 t1 u) v)
✓1.0b
(pow.f64 (*.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 (+.f64 t1 u) v)) -1)
✓1.7b
(*.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 (+.f64 t1 u) v))

series93.0ms (2.5%)

Counts
3 → 96
Calls

3 calls:

60.0ms
(pow.f64 (*.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 (+.f64 t1 u) v)) -1)
24.0ms
(*.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 (+.f64 t1 u) v))
8.0ms
(/.f64 (+.f64 t1 u) v)

rewrite110.0ms (2.9%)

Algorithm
1×batch-egg-rewrite
Rules
628×prod-diff_binary64
237×log1p-udef_binary64
134×add-sqr-sqrt_binary64
128×log1p-expm1-u_binary64
128×expm1-log1p-u_binary64
Counts
3 → 103
Calls

3 calls:

108.0ms
(/.f64 (+.f64 t1 u) v)
108.0ms
(pow.f64 (*.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 (+.f64 t1 u) v)) -1)
108.0ms
(*.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 (+.f64 t1 u) v))
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01142
125839
2365139
3528639

simplify281.0ms (7.4%)

Algorithm
1×egg-herbie
Rules
892×cancel-sign-sub-inv_binary64
611×fma-neg_binary64
412×times-frac_binary64
297×associate-/l*_binary64
216×associate-/r*_binary64
Counts
199 → 141
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0791917
12401867
27731777
332231777
452921777

prune300.0ms (8%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New1410141
Fresh044
Picked011
Done022
Total1417148
Error
0.0b
Counts
148 → 7
Alt Table
StatusErrorProgram
31.4b
(*.f64 (*.f64 -1 (/.f64 (*.f64 t1 v) u)) (/.f64 1 (+.f64 t1 u)))
3.6b
(neg.f64 (/.f64 v (+.f64 t1 (fma.f64 u 2 (*.f64 u (/.f64 u t1))))))
✓2.8b
(pow.f64 (*.f64 (-.f64 -1 (/.f64 u t1)) (/.f64 (+.f64 t1 u) v)) -1)
17.6b
(/.f64 (/.f64 (cbrt.f64 (*.f64 v v)) (/.f64 (+.f64 t1 u) (cbrt.f64 v))) (-.f64 -1 (/.f64 u t1)))
✓2.2b
(*.f64 (/.f64 v (-.f64 -1 (/.f64 u t1))) (/.f64 1 (+.f64 t1 u)))
✓1.8b
(/.f64 (/.f64 v (+.f64 t1 u)) (-.f64 -1 (/.f64 u t1)))
16.7b
(/.f64 (*.f64 (neg.f64 t1) v) (*.f64 (+.f64 t1 u) (+.f64 t1 u)))
Compiler

Compiled 2651 to 1285 computations (51.5% saved)

regimes219.0ms (5.8%)

Accuracy

Total 1.5b remaining (99.1%)

Threshold costs 0b (0%)

Counts
45 → 1
Compiler

Compiled 2714 to 1838 computations (32.3% saved)

simplify2.0ms (0.1%)

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

end84.0ms (2.2%)

Compiler

Compiled 141 to 91 computations (35.5% saved)

Profiling

Loading profile data...