Details

Time bar (total: 10.6s)

analyze127.0ms (1.2%)

Algorithm
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
25%74.9%0.1%5
25%68.7%6.3%6
25%56.2%18.8%7
25%48.4%26.6%8
25%35.1%39.9%9
28.1%18.3%53.6%10
31.6%12.3%56.1%11
33.4%5.9%60.8%12
35.2%3.8%61%13
36.1%2.9%61%14
Compiler

Compiled 32 to 22 computations (31.3% saved)

sample29.0ms (0.3%)

Algorithm
intervals
Results
19.0ms256×body128valid
Compiler

Compiled 63 to 45 computations (28.6% saved)

simplify146.0ms (1.4%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
0502946

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
0.2b
Counts
2 → 1
Compiler

Compiled 62 to 42 computations (32.3% saved)

localize20.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 4 (+.f64 (*.f64 (*.f64 a a) (+.f64 1 a)) (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a)))))
0.0b
(+.f64 (*.f64 a a) (*.f64 b b))
0.0b
(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (+.f64 1 a)) (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a)))))) 1)
0.0b
(-.f64 1 (*.f64 3 a))
0.0b
(+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (+.f64 1 a)) (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))))))
0.1b
(*.f64 (*.f64 a a) (+.f64 1 a))
0.3b
(pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)
1.0b
(*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a)))

rewrite39.0ms (0.4%)

Algorithm
rewrite-expression-head
Rules
15×add-exp-log_binary64_2844 pow1_binary64_2867
14×add-cbrt-cube_binary64_2842
10×add-sqr-sqrt_binary64_2828 *-un-lft-identity_binary64_2806
add-cube-cbrt_binary64_2841
associate-*r*_binary64_2746
prod-exp_binary64_2855 cbrt-unprod_binary64_2839 add-log-exp_binary64_2845 pow-prod-down_binary64_2877
distribute-lft-in_binary64_2755 distribute-rgt-in_binary64_2756 associate-*r/_binary64_2748
pow-unpow_binary64_2883 unpow-prod-down_binary64_2885
associate-*l*_binary64_2747 cancel-sign-sub-inv_binary64_2772 *-commutative_binary64_2737 associate-+r+_binary64_2738 sub-neg_binary64_2799 flip-+_binary64_2780 flip3-+_binary64_2809 unswap-sqr_binary64_2774
pow-exp_binary64_2874 distribute-lft-out_binary64_2757 flip3--_binary64_2810 pow-pow_binary64_2878 pow-to-exp_binary64_2875 sum-log_binary64_2897 flip--_binary64_2781 sqr-pow_binary64_2778 unpow2_binary64_2871 +-commutative_binary64_2736
Counts
4 → 80
Calls

8 calls:

9.0ms
(+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (+.f64 1 a)) (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))))))
8.0ms
(*.f64 (*.f64 a a) (+.f64 1 a))
8.0ms
(*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a)))
5.0ms
(pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)
0.0ms
(-.f64 1 (*.f64 3 a))

series756.0ms (7.2%)

Counts
4 → 54
Calls

4 calls:

402.0ms
(+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (+.f64 1 a)) (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))))))
202.0ms
(pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)
106.0ms
(*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a)))
46.0ms
(*.f64 (*.f64 a a) (+.f64 1 a))
Compiler

Compiled 2220 to 1776 computations (20% saved)

simplify58.0ms (0.6%)

Algorithm
egg-herbie
Counts
134 → 134
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
054522616

prune277.0ms (2.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1304134
Fresh000
Picked011
Done000
Total1305135
Error
0.0b
Counts
135 → 5
Compiler

Compiled 4716 to 2591 computations (45.1% saved)

localize22.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 2 (*.f64 (*.f64 b b) (*.f64 a a)))
0.0b
(+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (*.f64 2 (*.f64 (*.f64 b b) (*.f64 a a)))))
0.0b
(-.f64 (+.f64 (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (*.f64 2 (*.f64 (*.f64 b b) (*.f64 a a))))) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (+.f64 1 a)) (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a)))))) 1)
0.0b
(-.f64 1 (*.f64 3 a))
0.0b
(+.f64 (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (*.f64 2 (*.f64 (*.f64 b b) (*.f64 a a))))) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (+.f64 1 a)) (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))))))
0.1b
(*.f64 (*.f64 a a) (+.f64 1 a))
1.0b
(*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a)))
3.9b
(*.f64 (*.f64 b b) (*.f64 a a))

rewrite61.0ms (0.6%)

Algorithm
rewrite-expression-head
Rules
42×pow1_binary64_2867
32×associate-*r/_binary64_2748
26×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842
20×frac-add_binary64_2814 pow-prod-down_binary64_2877
14×prod-exp_binary64_2855 cbrt-unprod_binary64_2839 flip-+_binary64_2780 flip3-+_binary64_2809
13×add-log-exp_binary64_2845
add-sqr-sqrt_binary64_2828 *-un-lft-identity_binary64_2806 associate-*r*_binary64_2746
sum-log_binary64_2897 add-cube-cbrt_binary64_2841
flip3--_binary64_2810 flip--_binary64_2781
distribute-lft-in_binary64_2755 distribute-rgt-in_binary64_2756 pow-prod-up_binary64_2876 pow-plus_binary64_2869
associate-*l*_binary64_2747 *-commutative_binary64_2737 unswap-sqr_binary64_2774
pow-sqr_binary64_2779 cancel-sign-sub-inv_binary64_2772 associate-+r+_binary64_2738 sub-neg_binary64_2799 pow2_binary64_2887
distribute-lft-out_binary64_2757 associate-+l+_binary64_2739 +-commutative_binary64_2736
Counts
4 → 106
Calls

8 calls:

16.0ms
(+.f64 (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (*.f64 2 (*.f64 (*.f64 b b) (*.f64 a a))))) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (+.f64 1 a)) (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))))))
10.0ms
(*.f64 (*.f64 a a) (+.f64 1 a))
9.0ms
(*.f64 (*.f64 b b) (*.f64 a a))
8.0ms
(*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a)))
0.0ms
(-.f64 1 (*.f64 3 a))

series624.0ms (5.9%)

Counts
4 → 42
Calls

4 calls:

395.0ms
(+.f64 (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (*.f64 2 (*.f64 (*.f64 b b) (*.f64 a a))))) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (+.f64 1 a)) (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))))))
103.0ms
(*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a)))
79.0ms
(*.f64 (*.f64 b b) (*.f64 a a))
48.0ms
(*.f64 (*.f64 a a) (+.f64 1 a))
Compiler

Compiled 2052 to 1632 computations (20.5% saved)

simplify109.0ms (1%)

Algorithm
egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
049575537
149575537

prune319.0ms (3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1480148
Fresh033
Picked011
Done011
Total1485153
Error
0.0b
Counts
153 → 5
Compiler

Compiled 7552 to 4438 computations (41.2% saved)

localize23.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b
(+.f64 (*.f64 b b) (*.f64 a a))
0.0b
(+.f64 (*.f64 b b) (*.f64 a a))
0.0b
(-.f64 (+.f64 (*.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 4) (pow.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 2)) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (+.f64 1 a)) (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a)))))) 1)
0.0b
(-.f64 1 (*.f64 3 a))
0.7b
(pow.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 4)
1.0b
(*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a)))
10.8b
(cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a)))
10.8b
(cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a)))

rewrite33.0ms (0.3%)

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt_binary64_2828
10×add-exp-log_binary64_2844 *-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841 pow1_binary64_2867
add-cbrt-cube_binary64_2842 cbrt-prod_binary64_2837
unpow-prod-down_binary64_2885
cbrt-div_binary64_2838 add-log-exp_binary64_2845
pow1/3_binary64_2888 prod-exp_binary64_2855 pow-unpow_binary64_2883 cbrt-unprod_binary64_2839 associate-*r*_binary64_2746 pow-prod-down_binary64_2877
cancel-sign-sub-inv_binary64_2772 distribute-lft-in_binary64_2755 distribute-rgt-in_binary64_2756 pow-pow_binary64_2878 sub-neg_binary64_2799 flip-+_binary64_2780 flip3-+_binary64_2809 associate-*r/_binary64_2748
associate-*l*_binary64_2747 pow-exp_binary64_2874 *-commutative_binary64_2737 flip3--_binary64_2810 pow-to-exp_binary64_2875 flip--_binary64_2781 sqr-pow_binary64_2778 unswap-sqr_binary64_2774
Counts
4 → 72
Calls

8 calls:

8.0ms
(*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a)))
6.0ms
(cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a)))
5.0ms
(pow.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 4)
4.0ms
(cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a)))
0.0ms
(-.f64 1 (*.f64 3 a))

series851.0ms (8.1%)

Counts
4 → 48
Calls

4 calls:

395.0ms
(pow.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 4)
179.0ms
(cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a)))
169.0ms
(cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a)))
108.0ms
(*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a)))
Compiler

Compiled 3737 to 2739 computations (26.7% saved)

simplify93.0ms (0.9%)

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
049122050
149122050

prune224.0ms (2.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1200120
Fresh022
Picked011
Done022
Total1205125
Error
0.0b
Counts
125 → 5
Compiler

Compiled 5858 to 2807 computations (52.1% saved)

localize28.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.0b
(-.f64 (/.f64 (-.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4) (*.f64 (+.f64 (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))) (*.f64 (*.f64 a a) (+.f64 1 a))) (*.f64 (+.f64 (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))) (*.f64 (*.f64 a a) (+.f64 1 a))) 16))) (-.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2) (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))) (*.f64 (*.f64 a a) (+.f64 1 a)))))) 1)
0.0b
(-.f64 1 (*.f64 3 a))
0.0b
(-.f64 1 (*.f64 3 a))
0.0b
(-.f64 1 (*.f64 3 a))
1.0b
(*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a)))
1.0b
(*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a)))
4.0b
(-.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4) (*.f64 (+.f64 (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))) (*.f64 (*.f64 a a) (+.f64 1 a))) (*.f64 (+.f64 (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))) (*.f64 (*.f64 a a) (+.f64 1 a))) 16)))
34.8b
(/.f64 (-.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4) (*.f64 (+.f64 (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))) (*.f64 (*.f64 a a) (+.f64 1 a))) (*.f64 (+.f64 (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))) (*.f64 (*.f64 a a) (+.f64 1 a))) 16))) (-.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2) (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))) (*.f64 (*.f64 a a) (+.f64 1 a))))))

rewrite66.0ms (0.6%)

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt_binary64_2828 add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842
14×*-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841 pow1_binary64_2867
times-frac_binary64_2812
prod-exp_binary64_2855 cbrt-unprod_binary64_2839 add-log-exp_binary64_2845 associate-*r*_binary64_2746 pow-prod-down_binary64_2877
cancel-sign-sub-inv_binary64_2772 flip3--_binary64_2810 sub-neg_binary64_2799 flip--_binary64_2781
distribute-lft-in_binary64_2755 distribute-rgt-in_binary64_2756 associate-*r/_binary64_2748
associate-/r*_binary64_2750 associate-/l*_binary64_2751
associate-*l*_binary64_2747 associate-/l/_binary64_2753 *-commutative_binary64_2737 associate-/r/_binary64_2752 unswap-sqr_binary64_2774
div-inv_binary64_2803 div-exp_binary64_2857 cbrt-undiv_binary64_2840 div-sub_binary64_2811 diff-log_binary64_2898 clear-num_binary64_2805 frac-2neg_binary64_2817
Counts
4 → 94
Calls

8 calls:

16.0ms
(/.f64 (-.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4) (*.f64 (+.f64 (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))) (*.f64 (*.f64 a a) (+.f64 1 a))) (*.f64 (+.f64 (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))) (*.f64 (*.f64 a a) (+.f64 1 a))) 16))) (-.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2) (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))) (*.f64 (*.f64 a a) (+.f64 1 a))))))
11.0ms
(-.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4) (*.f64 (+.f64 (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))) (*.f64 (*.f64 a a) (+.f64 1 a))) (*.f64 (+.f64 (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))) (*.f64 (*.f64 a a) (+.f64 1 a))) 16)))
9.0ms
(*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a)))
8.0ms
(*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a)))
0.0ms
(-.f64 1 (*.f64 3 a))

series4.0s (37.8%)

Counts
4 → 59
Calls

4 calls:

3.4s
(/.f64 (-.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4) (*.f64 (+.f64 (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))) (*.f64 (*.f64 a a) (+.f64 1 a))) (*.f64 (+.f64 (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))) (*.f64 (*.f64 a a) (+.f64 1 a))) 16))) (-.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2) (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))) (*.f64 (*.f64 a a) (+.f64 1 a))))))
374.0ms
(-.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4) (*.f64 (+.f64 (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))) (*.f64 (*.f64 a a) (+.f64 1 a))) (*.f64 (+.f64 (*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a))) (*.f64 (*.f64 a a) (+.f64 1 a))) 16)))
119.0ms
(*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a)))
106.0ms
(*.f64 (*.f64 b b) (-.f64 1 (*.f64 3 a)))
Compiler

Compiled 8163 to 6110 computations (25.2% saved)

simplify108.0ms (1%)

Algorithm
egg-herbie
Counts
153 → 153
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
0513611775

prune739.0ms (7%)

Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New1530153
Fresh011
Picked011
Done033
Total1535158
Error
0.0b
Counts
158 → 5
Compiler

Compiled 14784 to 8251 computations (44.2% saved)

simplify54.0ms (0.5%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
010441140
110441140

regimes199.0ms (1.9%)

Compiler

Compiled 3004 to 1989 computations (33.8% saved)

bsearch0.0ms (0%)

regimes93.0ms (0.9%)

Compiler

Compiled 1003 to 761 computations (24.1% saved)

bsearch0.0ms (0%)

regimes62.0ms (0.6%)

Compiler

Compiled 523 to 437 computations (16.4% saved)

bsearch0.0ms (0%)

regimes27.0ms (0.3%)

Compiler

Compiled 64 to 74 computations (-15.6% saved)

bsearch0.0ms (0%)

regimes17.0ms (0.2%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch0.0ms (0%)

regimes13.0ms (0.1%)

Accuracy

Total 0.0b remaining (75.3%)

Threshold costs 0.0b (75.3%)

Compiler

Compiled 8 to 20 computations (-150% saved)

bsearch6.0ms (0.1%)

Compiler

Compiled 124 to 84 computations (32.3% saved)

simplify6.0ms (0.1%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0104183
1104183

end0.0ms (0%)

sample1.3s (12.7%)

Algorithm
intervals
Results
515.0ms8000×body128valid
0.0msbody128invalid
Compiler

Compiled 923 to 616 computations (33.3% saved)

Pareto

0.9083099687837982

Profiling

Loading profile data...