Details

Time bar (total: 11.9s)

analyze651.0ms (5.5%)

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%68.6%18.9%6
18.7%62.4%18.9%7
18.7%59.3%22%8
28.1%39%32.9%9
32.8%34.3%32.9%10
32.8%32%35.3%11
38.2%20.7%41.1%12
41%17.9%41.1%13
41%16.6%42.5%14
Compiler

Compiled 38 to 24 computations (36.8% saved)

sample60.0ms (0.5%)

Algorithm
1×intervals
Results
41.0ms244×body256valid
3.0ms38×body128nan
1.0ms12×body128valid
Compiler

Compiled 75 to 50 computations (33.3% saved)

simplify334.0ms (2.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (239.0ms)

IterNodesCost
0483448
1483448

prune6.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
37.3b
Counts
2 → 2
Compiler

Compiled 99 to 59 computations (40.4% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

6.4b
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
10.3b
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
30.3b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
30.3b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

rewrite176.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Error
32.7b
Rules
10×cbrt-div_binary64_2838
8×add-sqr-sqrt_binary64_2828 sqrt-prod_binary64_2822
6×pow1_binary64_2867 add-cube-cbrt_binary64_2841 *-un-lft-identity_binary64_2806
4×add-log-exp_binary64_2845 add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842 flip3--_binary64_2810 sqrt-div_binary64_2823 flip--_binary64_2781 frac-times_binary64_2816 associate-*r/_binary64_2748
2×pow1/2_binary64_2886 sqrt-pow1_binary64_2824 difference-of-squares_binary64_2775 rem-sqrt-square_binary64_2819 pow1/3_binary64_2888 flip3-+_binary64_2809 flip-+_binary64_2780 associate-*l/_binary64_2749 cbrt-prod_binary64_2837
Counts
4 → 60
Calls

4 calls:

13.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
13.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
4.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
4.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Compiler

Compiled 2998 to 1039 computations (65.3% saved)

series987.0ms (8.3%)

Error
32.5b
Counts
4 → 33
Calls

4 calls:

406.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
394.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
68.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
58.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Compiler

Compiled 3816 to 2821 computations (26.1% saved)

simplify73.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
050511915

prune207.0ms (1.7%)

Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New761793
Fresh011
Picked101
Done000
Total771895
Error
31.9b
Counts
95 → 18
Compiler

Compiled 4449 to 1945 computations (56.3% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

4.0b
(-.f64 (*.f64 g g) (*.f64 h h))
6.4b
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
30.3b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
30.3b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

rewrite130.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
31.9b
Rules
8×add-sqr-sqrt_binary64_2828 sqrt-prod_binary64_2822
6×pow1_binary64_2867 add-log-exp_binary64_2845 add-cube-cbrt_binary64_2841 *-un-lft-identity_binary64_2806
5×flip3--_binary64_2810 flip--_binary64_2781 cbrt-div_binary64_2838
4×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842 sqrt-div_binary64_2823
3×difference-of-squares_binary64_2775
2×pow1/2_binary64_2886 sqrt-pow1_binary64_2824 rem-sqrt-square_binary64_2819 frac-times_binary64_2816 associate-*r/_binary64_2748
1×pow1/3_binary64_2888 associate-*l/_binary64_2749 cbrt-prod_binary64_2837 diff-log_binary64_2898 sub-neg_binary64_2799 cancel-sign-sub-inv_binary64_2772
Counts
4 → 59
Calls

4 calls:

16.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
4.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
4.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
4.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
Compiler

Compiled 2702 to 910 computations (66.3% saved)

series685.0ms (5.8%)

Error
31.4b
Counts
4 → 36
Calls

4 calls:

390.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
111.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
70.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
56.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Compiler

Compiled 3545 to 2534 computations (28.5% saved)

simplify76.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
049821563
149821563

prune182.0ms (1.5%)

Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New851095
Fresh8917
Picked101
Done000
Total9419113
Error
31.3b
Counts
113 → 19
Compiler

Compiled 4330 to 1815 computations (58.1% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

4.0b
(-.f64 (*.f64 g g) (*.f64 h h))
4.0b
(-.f64 (*.f64 g g) (*.f64 h h))
30.3b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
30.3b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

rewrite113.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
31.3b
Rules
8×add-log-exp_binary64_2845 add-sqr-sqrt_binary64_2828 sqrt-prod_binary64_2822
6×pow1_binary64_2867 add-cube-cbrt_binary64_2841 *-un-lft-identity_binary64_2806
4×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842 flip3--_binary64_2810 sqrt-div_binary64_2823 flip--_binary64_2781 difference-of-squares_binary64_2775
2×pow1/2_binary64_2886 sqrt-pow1_binary64_2824 rem-sqrt-square_binary64_2819 diff-log_binary64_2898 sub-neg_binary64_2799 cancel-sign-sub-inv_binary64_2772
Counts
4 → 58
Calls

4 calls:

5.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
4.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
4.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
4.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
Compiler

Compiled 2468 to 775 computations (68.6% saved)

series404.0ms (3.4%)

Error
31.3b
Counts
4 → 39
Calls

4 calls:

115.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
109.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
68.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
58.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Compiler

Compiled 3394 to 2318 computations (31.7% saved)

simplify89.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
049441168
149441168

prune168.0ms (1.4%)

Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New94397
Fresh31518
Picked101
Done000
Total9818116
Error
31.3b
Counts
116 → 18
Compiler

Compiled 4250 to 1656 computations (61% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

4.0b
(-.f64 (*.f64 g g) (*.f64 h h))
4.0b
(-.f64 (*.f64 g g) (*.f64 h h))
30.3b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
30.3b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

rewrite104.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
31.3b
Rules
8×add-log-exp_binary64_2845 add-sqr-sqrt_binary64_2828 sqrt-prod_binary64_2822
6×pow1_binary64_2867 add-cube-cbrt_binary64_2841 *-un-lft-identity_binary64_2806
4×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842 flip3--_binary64_2810 sqrt-div_binary64_2823 flip--_binary64_2781 difference-of-squares_binary64_2775
2×pow1/2_binary64_2886 sqrt-pow1_binary64_2824 rem-sqrt-square_binary64_2819 diff-log_binary64_2898 sub-neg_binary64_2799 cancel-sign-sub-inv_binary64_2772
Counts
4 → 58
Calls

4 calls:

4.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
4.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
4.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
4.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
Compiler

Compiled 2468 to 775 computations (68.6% saved)

series405.0ms (3.4%)

Error
31.3b
Counts
4 → 39
Calls

4 calls:

116.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
110.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
68.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
58.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Compiler

Compiled 3394 to 2318 computations (31.7% saved)

simplify89.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
049441168
149441168

prune127.0ms (1.1%)

Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New96197
Fresh01717
Picked101
Done000
Total9718115
Error
31.3b
Counts
115 → 18
Compiler

Compiled 3539 to 1217 computations (65.6% saved)

regimes2.1s (17.9%)

Accuracy

Total 1.0b remaining (3.1%)

Threshold costs 1.0b (3.1%)

Compiler

Compiled 34408 to 21681 computations (37% saved)

bsearch9.0ms (0.1%)

Compiler

Compiled 37 to 23 computations (37.8% saved)

simplify5.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0117218
1117218

end0.0ms (0%)

sample4.6s (38.7%)

Algorithm
1×intervals
Results
1.3s7560×body256valid
102.0ms1255×body128nan
37.0ms440×body128valid
Compiler

Compiled 4557 to 2872 computations (37% saved)

Profiling

Loading profile data...