Details

Time bar (total: 3.6s)

analyze363.0ms (10.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%12.5%87.5%0
0%12.5%87.5%1
0%12.5%87.5%2
3.1%9.3%87.5%3
3.1%6.2%90.7%4
4.7%4.7%90.7%5
4.7%3.5%91.8%6
5.6%2.5%91.8%7
5.9%1.8%92.3%8
6.4%1.3%92.3%9
6.6%0.9%92.5%10
6.8%0.6%92.5%11
6.9%0.5%92.6%12
7%0.3%92.6%13
7.1%0.2%92.7%14
Compiler

Compiled 23 to 16 computations (30.4% saved)

sample27.0ms (0.8%)

Algorithm
1×intervals
Results
10.0ms256×body128valid
7.0ms256×pre128true
Compiler

Compiled 38 to 27 computations (28.9% saved)

simplify124.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
724×associate-/r/_binary64
530×unsub-neg_binary64
520×distribute-rgt-in_binary64
518×div-sub_binary64
438×sub-neg_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0916
12016
23916
37216
420716
543016
671516
7112616
895516
9107716
10141716
11190916
12219516
13328816
14328816
15368116
16474016

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
0.2b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.2b
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)
Compiler

Compiled 39 to 27 computations (30.8% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(*.f64 m (-.f64 1 m))
0.0b
(/.f64 (*.f64 m (-.f64 1 m)) v)
0.2b
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)

rewrite100.0ms (2.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
22×add-sqr-sqrt_binary64
17×*-un-lft-identity_binary64
12×add-cbrt-cube_binary64
12×add-exp-log_binary64
11×add-cube-cbrt_binary64
Counts
3 → 78
Calls

3 calls:

9.0ms
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)
8.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
6.0ms
(*.f64 m (-.f64 1 m))
Compiler

Compiled 1368 to 882 computations (35.5% saved)

series66.0ms (1.8%)

Error
0.1b
Counts
3 → 30
Calls

3 calls:

32.0ms
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m)
18.0ms
(/.f64 (*.f64 m (-.f64 1 m)) v)
7.0ms
(*.f64 m (-.f64 1 m))
Compiler

Compiled 708 to 484 computations (31.6% saved)

simplify122.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
415×div-sub_binary64
330×associate-*l/_binary64
327×distribute-rgt-in_binary64
304×distribute-lft-in_binary64
214×*-commutative_binary64
Counts
108 → 91
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01471434
13471301
211371294
335631289
449231289
549991289
649601289

prune54.0ms (1.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New82991
Fresh000
Picked101
Done000
Total83992
Error
0.0b
Counts
92 → 9
Alt Table
StatusErrorProgram
▶0.2b
(*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m)
52.7b
(neg.f64 (/.f64 (pow.f64 m 3) v))
35.6b
(*.f64 (sqrt.f64 (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)))) (sqrt.f64 (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)))))
1.3b
(*.f64 (*.f64 (cbrt.f64 (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)))) (cbrt.f64 (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v))))) (cbrt.f64 (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)))))
0.2b
(*.f64 (-.f64 (/.f64 (*.f64 (+.f64 m (pow.f64 m 3/2)) (-.f64 1 (sqrt.f64 m))) v) 1) m)
0.5b
(*.f64 (*.f64 (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) (sqrt.f64 m)) (sqrt.f64 m))
1.4b
(*.f64 (*.f64 (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) (*.f64 (cbrt.f64 m) (cbrt.f64 m))) (cbrt.f64 m))
10.8b
(*.f64 (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (*.f64 m (+.f64 -1 (sqrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v)))))
36.4b
(/.f64 (-.f64 (/.f64 (*.f64 (pow.f64 m 3) (*.f64 (-.f64 1 m) (-.f64 1 m))) (*.f64 v v)) m) (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
Compiler

Compiled 1277 to 649 computations (49.2% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.2b
(*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m)
0.2b
(*.f64 m (/.f64 (-.f64 1 m) v))

rewrite67.0ms (1.9%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
31×add-sqr-sqrt_binary64
25×associate-*r*_binary64
24×*-un-lft-identity_binary64
19×times-frac_binary64
15×add-cube-cbrt_binary64
Counts
2 → 61
Calls

2 calls:

9.0ms
(*.f64 m (/.f64 (-.f64 1 m) v))
8.0ms
(*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m)
Compiler

Compiled 1139 to 730 computations (35.9% saved)

series54.0ms (1.5%)

Error
0.0b
Counts
2 → 24
Calls

2 calls:

29.0ms
(*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m)
18.0ms
(*.f64 m (/.f64 (-.f64 1 m) v))
Compiler

Compiled 584 to 396 computations (32.2% saved)

simplify96.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
546×associate-/r*_binary64
253×distribute-rgt-in_binary64
247×associate-/l*_binary64
246×associate-*l/_binary64
239×distribute-lft-in_binary64
Counts
85 → 70
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01301277
13061177
210031175
330451163
449491163
550271163

prune43.0ms (1.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New69170
Fresh178
Picked011
Done000
Total70979
Error
0.0b
Counts
79 → 9
Alt Table
StatusErrorProgram
✓0.2b
(*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m)
52.7b
(neg.f64 (/.f64 (pow.f64 m 3) v))
35.6b
(*.f64 (sqrt.f64 (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)))) (sqrt.f64 (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)))))
1.3b
(*.f64 (*.f64 (cbrt.f64 (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)))) (cbrt.f64 (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v))))) (cbrt.f64 (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)))))
▶0.2b
(*.f64 (-.f64 (*.f64 (-.f64 m (*.f64 m m)) (/.f64 1 v)) 1) m)
0.5b
(*.f64 (*.f64 (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) (sqrt.f64 m)) (sqrt.f64 m))
1.4b
(*.f64 (*.f64 (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) (*.f64 (cbrt.f64 m) (cbrt.f64 m))) (cbrt.f64 m))
10.8b
(*.f64 (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (*.f64 m (+.f64 -1 (sqrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v)))))
36.4b
(/.f64 (-.f64 (/.f64 (*.f64 (pow.f64 m 3) (*.f64 (-.f64 1 m) (-.f64 1 m))) (*.f64 v v)) m) (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
Compiler

Compiled 1140 to 592 computations (48.1% saved)

localize10.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b
(-.f64 m (*.f64 m m))
0.2b
(*.f64 (-.f64 (*.f64 (-.f64 m (*.f64 m m)) (/.f64 1 v)) 1) m)
0.3b
(*.f64 (-.f64 m (*.f64 m m)) (/.f64 1 v))

rewrite90.0ms (2.5%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
24×add-sqr-sqrt_binary64
16×associate-*r*_binary64
16×*-un-lft-identity_binary64
14×add-exp-log_binary64
13×add-cube-cbrt_binary64
Counts
3 → 76
Calls

3 calls:

8.0ms
(*.f64 (-.f64 (*.f64 (-.f64 m (*.f64 m m)) (/.f64 1 v)) 1) m)
8.0ms
(*.f64 (-.f64 m (*.f64 m m)) (/.f64 1 v))
2.0ms
(-.f64 m (*.f64 m m))
Compiler

Compiled 1616 to 771 computations (52.3% saved)

series64.0ms (1.8%)

Error
0.0b
Counts
3 → 30
Calls

3 calls:

30.0ms
(*.f64 (-.f64 (*.f64 (-.f64 m (*.f64 m m)) (/.f64 1 v)) 1) m)
19.0ms
(*.f64 (-.f64 m (*.f64 m m)) (/.f64 1 v))
9.0ms
(-.f64 m (*.f64 m m))
Compiler

Compiled 739 to 512 computations (30.7% saved)

simplify120.0ms (3.3%)

Algorithm
1×egg-herbie
Rules
406×distribute-rgt-in_binary64
396×distribute-lft-in_binary64
240×distribute-lft-neg-out_binary64
235×distribute-rgt-neg-out_binary64
224×times-frac_binary64
Counts
106 → 88
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01411563
13111401
29761401
327681401
448421401
550001401
649101401

prune44.0ms (1.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New87188
Fresh077
Picked011
Done101
Total88997
Error
0.0b
Counts
97 → 9
Alt Table
StatusErrorProgram
35.6b
(*.f64 (sqrt.f64 (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)))) (sqrt.f64 (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)))))
1.3b
(*.f64 (*.f64 (cbrt.f64 (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)))) (cbrt.f64 (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v))))) (cbrt.f64 (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)))))
✓0.2b
(*.f64 (-.f64 (*.f64 (-.f64 m (*.f64 m m)) (/.f64 1 v)) 1) m)
52.7b
(neg.f64 (/.f64 (pow.f64 m 3) v))
2.0b
(*.f64 (-.f64 (/.f64 (/.f64 m (/.f64 v (-.f64 m (pow.f64 m 3)))) (+.f64 m (*.f64 m m))) 1) m)
▶0.5b
(*.f64 (*.f64 (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) (sqrt.f64 m)) (sqrt.f64 m))
1.4b
(*.f64 (*.f64 (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) (*.f64 (cbrt.f64 m) (cbrt.f64 m))) (cbrt.f64 m))
10.8b
(*.f64 (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (*.f64 m (+.f64 -1 (sqrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v)))))
36.4b
(/.f64 (-.f64 (/.f64 (*.f64 (pow.f64 m 3) (*.f64 (-.f64 1 m) (-.f64 1 m))) (*.f64 v v)) m) (+.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1))
Compiler

Compiled 1373 to 612 computations (55.4% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(-.f64 m (*.f64 m m))
0.0b
(/.f64 (-.f64 m (*.f64 m m)) v)
0.2b
(*.f64 (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) (sqrt.f64 m))
0.4b
(*.f64 (*.f64 (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) (sqrt.f64 m)) (sqrt.f64 m))

rewrite101.0ms (2.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
28×add-sqr-sqrt_binary64
26×*-un-lft-identity_binary64
19×add-cube-cbrt_binary64
15×times-frac_binary64
13×add-cbrt-cube_binary64
Counts
4 → 100
Calls

4 calls:

11.0ms
(*.f64 (*.f64 (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) (sqrt.f64 m)) (sqrt.f64 m))
10.0ms
(*.f64 (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) (sqrt.f64 m))
4.0ms
(-.f64 m (*.f64 m m))
4.0ms
(/.f64 (-.f64 m (*.f64 m m)) v)
Compiler

Compiled 2252 to 729 computations (67.6% saved)

series85.0ms (2.4%)

Error
0.0b
Counts
4 → 37
Calls

4 calls:

29.0ms
(*.f64 (*.f64 (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) (sqrt.f64 m)) (sqrt.f64 m))
21.0ms
(*.f64 (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) (sqrt.f64 m))
19.0ms
(/.f64 (-.f64 m (*.f64 m m)) v)
8.0ms
(-.f64 m (*.f64 m m))
Compiler

Compiled 1147 to 762 computations (33.6% saved)

simplify109.0ms (3%)

Algorithm
1×egg-herbie
Rules
454×distribute-rgt-in_binary64
432×distribute-lft-in_binary64
313×associate-/l*_binary64
275×div-sub_binary64
258×associate-*l/_binary64
Counts
137 → 95
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01902476
14562213
213412157
344132155
451892155

prune40.0ms (1.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New93295
Fresh257
Picked011
Done101
Total968104
Error
0.0b
Counts
104 → 8
Alt Table
StatusErrorProgram
27.0b
(*.f64 (/.f64 (-.f64 1 m) (/.f64 v (pow.f64 m 3/2))) (sqrt.f64 m))
10.8b
(*.f64 (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (*.f64 m (+.f64 -1 (sqrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v)))))
35.6b
(*.f64 (sqrt.f64 (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)))) (sqrt.f64 (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)))))
1.3b
(*.f64 (*.f64 (cbrt.f64 (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)))) (cbrt.f64 (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v))))) (cbrt.f64 (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)))))
52.7b
(neg.f64 (/.f64 (pow.f64 m 3) v))
0.1b
(*.f64 (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) m)
2.0b
(*.f64 (-.f64 (/.f64 (/.f64 m (/.f64 v (-.f64 m (pow.f64 m 3)))) (+.f64 m (*.f64 m m))) 1) m)
0.5b
(*.f64 (*.f64 (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) (sqrt.f64 m)) (sqrt.f64 m))
Compiler

Compiled 1255 to 488 computations (61.1% saved)

regimes684.0ms (19%)

Accuracy

Total 0.2b remaining (86%)

Threshold costs 0.2b (86%)

Compiler

Compiled 12581 to 8133 computations (35.4% saved)

simplify4.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01119
11919
22519
32919
43219
53319
63119

end1.0ms (0%)

Compiler

Compiled 15 to 10 computations (33.3% saved)

sample1.1s (30.8%)

Algorithm
1×intervals
Results
464.0ms8000×body128valid
183.0ms8056×pre128true
3.0ms56×body128invalid
Compiler

Compiled 205 to 125 computations (39% saved)

Profiling

Loading profile data...