Details

Time bar (total: 10.7s)

analyze443.0ms (4.1%)

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
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)

sample63.0ms (0.6%)

Algorithm
intervals
Results
41.0ms235×body256valid
3.0ms35×body128nan
2.0ms21×body128valid
Compiler

Compiled 75 to 50 computations (33.3% saved)

simplify328.0ms (3.1%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (233.0ms)

IterNodesCost
0483448
1483448

prune10.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 99 to 59 computations (40.4% saved)

localize22.0ms (0.2%)

Local error

Found 8 expressions with local error:

1.4b
(+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))
0.1b
(*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))
0.1b
(*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))
0.0b
(+.f64 (cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))) (cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))))
7.6b
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
10.5b
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
28.8b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
28.8b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

rewrite44.0ms (0.4%)

Algorithm
rewrite-expression-head
Rules
10×cbrt-div_binary64_5566
sqrt-prod_binary64_5550 add-sqr-sqrt_binary64_5556
*-un-lft-identity_binary64_5534 add-cube-cbrt_binary64_5569 pow1_binary64_5595
sqrt-div_binary64_5551 associate-*r/_binary64_5476 add-cbrt-cube_binary64_5570 add-log-exp_binary64_5573 flip--_binary64_5509 add-exp-log_binary64_5572 frac-times_binary64_5544 flip3--_binary64_5538
associate-*l/_binary64_5477 cbrt-prod_binary64_5565 flip-+_binary64_5508 flip3-+_binary64_5537 sqrt-pow1_binary64_5552 rem-sqrt-square_binary64_5547 pow1/2_binary64_5614 difference-of-squares_binary64_5503 pow1/3_binary64_5616
Counts
4 → 60
Calls

8 calls:

14.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
14.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)))
0.0ms
(+.f64 (cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))) (cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))))

series938.0ms (8.8%)

Counts
4 → 32
Calls

4 calls:

417.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
403.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
62.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
56.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Compiler

Compiled 2593 to 2119 computations (18.3% saved)

simplify88.0ms (0.8%)

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
050091884

prune366.0ms (3.4%)

Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New722092
Fresh011
Picked101
Done000
Total732194
Error
30.2b
Counts
94 → 21
Compiler

Compiled 4579 to 1998 computations (56.4% saved)

localize23.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.3b
(cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))
0.2b
(/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))) (cbrt.f64 (*.f64 2 a)))
0.1b
(*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))
0.0b
(+.f64 (cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
3.4b
(-.f64 (*.f64 g g) (*.f64 h h))
7.6b
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
28.8b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
28.8b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

rewrite34.0ms (0.3%)

Algorithm
rewrite-expression-head
Rules
sqrt-prod_binary64_5550 add-sqr-sqrt_binary64_5556
*-un-lft-identity_binary64_5534 add-log-exp_binary64_5573 add-cube-cbrt_binary64_5569 pow1_binary64_5595
cbrt-div_binary64_5566
sqrt-div_binary64_5551 add-cbrt-cube_binary64_5570 add-exp-log_binary64_5572
flip--_binary64_5509 difference-of-squares_binary64_5503 flip3--_binary64_5538
flip-+_binary64_5508 associate-*r/_binary64_5476 flip3-+_binary64_5537 sqrt-pow1_binary64_5552 frac-times_binary64_5544 rem-sqrt-square_binary64_5547 pow1/2_binary64_5614
associate-*l/_binary64_5477 cbrt-prod_binary64_5565 diff-log_binary64_5626 cancel-sign-sub-inv_binary64_5500 pow1/3_binary64_5616 sub-neg_binary64_5527
Counts
4 → 59
Calls

8 calls:

14.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
(-.f64 (*.f64 g g) (*.f64 h h))
4.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
0.0ms
(+.f64 (cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))) (cbrt.f64 (*.f64 2 a))))

series612.0ms (5.7%)

Counts
4 → 32
Calls

4 calls:

424.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
72.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
66.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
50.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Compiler

Compiled 2277 to 1816 computations (20.2% saved)

simplify66.0ms (0.6%)

Algorithm
egg-herbie
Counts
91 → 91
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
049151475
149151475

prune231.0ms (2.2%)

Pruning

22 alts after pruning (22 fresh and 0 done)

PrunedKeptTotal
New83891
Fresh61420
Picked101
Done000
Total9022112
Error
29.3b
Counts
112 → 22
Compiler

Compiled 4439 to 1849 computations (58.3% saved)

localize21.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.3b
(cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))
0.2b
(/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))) (cbrt.f64 (*.f64 2 a)))
0.2b
(/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))) g)) (cbrt.f64 (*.f64 2 a)))
0.0b
(+.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))) g)) (cbrt.f64 (*.f64 2 a))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))) (cbrt.f64 (*.f64 2 a))))
3.4b
(-.f64 (*.f64 g g) (*.f64 h h))
3.4b
(-.f64 (*.f64 g g) (*.f64 h h))
28.8b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
28.8b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

rewrite25.0ms (0.2%)

Algorithm
rewrite-expression-head
Rules
sqrt-prod_binary64_5550 add-log-exp_binary64_5573 add-sqr-sqrt_binary64_5556
*-un-lft-identity_binary64_5534 add-cube-cbrt_binary64_5569 pow1_binary64_5595
sqrt-div_binary64_5551 add-cbrt-cube_binary64_5570 flip--_binary64_5509 add-exp-log_binary64_5572 difference-of-squares_binary64_5503 flip3--_binary64_5538
diff-log_binary64_5626 cancel-sign-sub-inv_binary64_5500 sqrt-pow1_binary64_5552 rem-sqrt-square_binary64_5547 pow1/2_binary64_5614 sub-neg_binary64_5527
Counts
4 → 58
Calls

8 calls:

5.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
5.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))
0.0ms
(+.f64 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))) g)) (cbrt.f64 (*.f64 2 a))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))) (cbrt.f64 (*.f64 2 a))))

series349.0ms (3.3%)

Counts
4 → 40
Calls

4 calls:

108.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
108.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
72.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
61.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Compiler

Compiled 2182 to 1734 computations (20.5% saved)

simplify49.0ms (0.5%)

Algorithm
egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
049531166
149531166

prune184.0ms (1.7%)

Pruning

22 alts after pruning (22 fresh and 0 done)

PrunedKeptTotal
New95398
Fresh21921
Picked101
Done000
Total9822120
Error
29.3b
Counts
120 → 22
Compiler

Compiled 4481 to 1761 computations (60.7% saved)

localize21.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.3b
(cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))
0.2b
(*.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
0.1b
(*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))
0.0b
(+.f64 (cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))) (*.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))))
3.4b
(-.f64 (*.f64 g g) (*.f64 h h))
7.6b
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
28.8b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
28.8b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

rewrite35.0ms (0.3%)

Algorithm
rewrite-expression-head
Rules
sqrt-prod_binary64_5550 add-sqr-sqrt_binary64_5556
*-un-lft-identity_binary64_5534 add-log-exp_binary64_5573 add-cube-cbrt_binary64_5569 pow1_binary64_5595
cbrt-div_binary64_5566
sqrt-div_binary64_5551 add-cbrt-cube_binary64_5570 add-exp-log_binary64_5572
flip--_binary64_5509 difference-of-squares_binary64_5503 flip3--_binary64_5538
flip-+_binary64_5508 associate-*r/_binary64_5476 flip3-+_binary64_5537 sqrt-pow1_binary64_5552 frac-times_binary64_5544 rem-sqrt-square_binary64_5547 pow1/2_binary64_5614
associate-*l/_binary64_5477 cbrt-prod_binary64_5565 diff-log_binary64_5626 cancel-sign-sub-inv_binary64_5500 pow1/3_binary64_5616 sub-neg_binary64_5527
Counts
4 → 59
Calls

8 calls:

14.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
(-.f64 (*.f64 g g) (*.f64 h h))
4.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
0.0ms
(+.f64 (cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))) (*.f64 (cbrt.f64 (/.f64 1/2 a)) (cbrt.f64 (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))))

series817.0ms (7.6%)

Counts
4 → 32
Calls

4 calls:

628.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
71.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
64.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
53.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Compiler

Compiled 2277 to 1816 computations (20.2% saved)

simplify63.0ms (0.6%)

Algorithm
egg-herbie
Counts
91 → 91
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
049151475
149151475

prune143.0ms (1.3%)

Pruning

24 alts after pruning (24 fresh and 0 done)

PrunedKeptTotal
New88391
Fresh02121
Picked101
Done000
Total8924113
Error
29.3b
Counts
113 → 24
Compiler

Compiled 3525 to 1312 computations (62.8% saved)

simplify123.0ms (1.2%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
020774024
120774024

regimes647.0ms (6.1%)

Compiler

Compiled 10304 to 6286 computations (39% saved)

bsearch0.0ms (0%)

regimes298.0ms (2.8%)

Compiler

Compiled 3780 to 2646 computations (30% saved)

bsearch54.0ms (0.5%)

Steps
ItersRangePoint
5
-3.738624587963903e-188
-1.3091924021651132e-188
-3.6722565929769024e-188
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes167.0ms (1.6%)

Compiler

Compiled 1588 to 1190 computations (25.1% saved)

bsearch45.0ms (0.4%)

Steps
ItersRangePoint
5
-3.738624587963903e-188
-1.3091924021651132e-188
-3.6722565929769024e-188
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes120.0ms (1.1%)

Compiler

Compiled 580 to 514 computations (11.4% saved)

bsearch92.0ms (0.9%)

Steps
ItersRangePoint
10
-8.145051408454478e-176
-3.738624587963903e-188
-8.018616055635176e-176
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes113.0ms (1.1%)

Compiler

Compiled 468 to 426 computations (9% saved)

bsearch87.0ms (0.8%)

Steps
ItersRangePoint
10
2.6925737420266884e-173
4.970650314280459e-161
1.562051483471885e-162
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes86.0ms (0.8%)

Compiler

Compiled 248 to 250 computations (-0.8% saved)

bsearch73.0ms (0.7%)

Steps
ItersRangePoint
9
-3.019815019965512e-155
-1.0349773169317926e-164
-1.5608046214930196e-162
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes39.0ms (0.4%)

Compiler

Compiled 136 to 162 computations (-19.1% saved)

bsearch0.0ms (0%)

regimes25.0ms (0.2%)

Compiler

Compiled 15 to 54 computations (-260% saved)

bsearch0.0ms (0%)

regimes22.0ms (0.2%)

Accuracy

Total 3.3b remaining (10.5%)

Threshold costs 0b (0%)

Compiler

Compiled 12 to 42 computations (-250% saved)

bsearch17.0ms (0.2%)

Compiler

Compiled 362 to 244 computations (32.6% saved)

simplify8.0ms (0.1%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0120560
1120560

end0.0ms (0%)

sample3.7s (34.6%)

Algorithm
intervals
Results
1.3s7553×body256valid
102.0ms1235×body128nan
40.0ms447×body128valid
Compiler

Compiled 2973 to 1836 computations (38.2% saved)

Pareto

0.11778500232520689

Profiling

Loading profile data...