Details

Time bar (total: 3.9s)

analyze938.0ms

Algorithm
search
sampling

Space saved by range analysis: 0.146413%

Space saved by search: 45.490083%

Guaranteed chance to sample good point: 83.184258%

sample64.0ms

Algorithm
intervals
Results
29.0ms123×body320valid
20.0ms128×body160valid
2.0ms29×body80nan
0.0ms5×body80valid

simplify114.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04321
112221
229921
359121
493121
5116221
6138821
7279821
8500121

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 36.6b

Counts
2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

6.9b
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
8.9b
(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
30.5b
(sqrt (- (* g g) (* h h)))
30.5b
(sqrt (- (* g g) (* h h)))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
10×cbrt-div
8×add-sqr-sqrt sqrt-prod
6×pow1 add-cube-cbrt *-un-lft-identity
4×add-exp-log frac-times flip3-- sqrt-div associate-*r/ add-cbrt-cube flip-- add-log-exp
2×cbrt-prod rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 pow1/3 associate-*l/ flip-+ difference-of-squares
Counts
4 → 60
Calls
4 calls:
11.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
11.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
4.0ms
(sqrt (- (* g g) (* h h)))
6.0ms
(sqrt (- (* g g) (* h h)))

series141.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
66.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
7.0ms
(sqrt (- (* g g) (* h h)))
7.0ms
(sqrt (- (* g g) (* h h)))

simplify44.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0386766
11391724
25002718

prune255.0ms

Filtered
64 candidates to 72 candidates (-12.5%)
Pruning

20 alts after pruning (20 fresh and 0 done)

PrunedKeptTotal
New522072
Fresh000
Picked101
Done000
Total532073

Merged error: 32.1b

Counts
73 → 20

localize18.0ms

Local error

Found 4 expressions with local error:

2.8b
(- (* g g) (* h h))
6.9b
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
30.5b
(sqrt (- (* g g) (* h h)))
30.5b
(sqrt (- (* g g) (* h h)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt sqrt-prod
6×pow1 add-cube-cbrt *-un-lft-identity add-log-exp
5×cbrt-div
4×add-exp-log sqrt-div add-cbrt-cube
3×flip3-- flip-- difference-of-squares
2×frac-times rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 associate-*r/ flip-+
1×cbrt-prod sub-neg pow1/3 diff-log associate-*l/
Counts
4 → 59
Calls
4 calls:
3.0ms
(- (* g g) (* h h))
11.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
4.0ms
(sqrt (- (* g g) (* h h)))
5.0ms
(sqrt (- (* g g) (* h h)))

series82.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(- (* g g) (* h h))
63.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
7.0ms
(sqrt (- (* g g) (* h h)))
7.0ms
(sqrt (- (* g g) (* h h)))

simplify38.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
0321569
11271537
25002533

prune239.0ms

Filtered
59 candidates to 71 candidates (-20.3%)
Pruning

22 alts after pruning (22 fresh and 0 done)

PrunedKeptTotal
New65671
Fresh31619
Picked101
Done000
Total692291

Merged error: 31.9b

Counts
91 → 22

localize18.0ms

Local error

Found 4 expressions with local error:

2.8b
(- (* g g) (* h h))
2.8b
(- (* g g) (* h h))
30.5b
(sqrt (- (* g g) (* h h)))
30.5b
(sqrt (- (* g g) (* h h)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt sqrt-prod add-log-exp
6×pow1 add-cube-cbrt *-un-lft-identity
4×add-exp-log flip3-- sqrt-div add-cbrt-cube flip-- difference-of-squares
2×sub-neg rem-sqrt-square sqrt-pow1 pow1/2 diff-log
Counts
4 → 58
Calls
4 calls:
3.0ms
(- (* g g) (* h h))
3.0ms
(- (* g g) (* h h))
4.0ms
(sqrt (- (* g g) (* h h)))
4.0ms
(sqrt (- (* g g) (* h h)))

series27.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(- (* g g) (* h h))
7.0ms
(- (* g g) (* h h))
7.0ms
(sqrt (- (* g g) (* h h)))
7.0ms
(sqrt (- (* g g) (* h h)))

simplify48.0ms

Algorithm
egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 3 (43.0ms)

IterNodesCost
0123378
1439350
21491350
35003348

prune236.0ms

Filtered
54 candidates to 70 candidates (-29.6%)
Pruning

24 alts after pruning (24 fresh and 0 done)

PrunedKeptTotal
New65570
Fresh21921
Picked101
Done000
Total682492

Merged error: 31.8b

Counts
92 → 24

localize20.0ms

Local error

Found 4 expressions with local error:

2.8b
(- (* g g) (* h h))
6.9b
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
30.5b
(sqrt (- (* g g) (* h h)))
30.5b
(sqrt (- (* g g) (* h h)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt sqrt-prod
6×pow1 add-cube-cbrt *-un-lft-identity add-log-exp
5×cbrt-div
4×add-exp-log sqrt-div add-cbrt-cube
3×flip3-- flip-- difference-of-squares
2×frac-times rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 associate-*r/ flip-+
1×cbrt-prod sub-neg pow1/3 diff-log associate-*l/
Counts
4 → 59
Calls
4 calls:
4.0ms
(- (* g g) (* h h))
12.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
3.0ms
(sqrt (- (* g g) (* h h)))
4.0ms
(sqrt (- (* g g) (* h h)))

series84.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(- (* g g) (* h h))
64.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
7.0ms
(sqrt (- (* g g) (* h h)))
7.0ms
(sqrt (- (* g g) (* h h)))

simplify37.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
0321569
11271537
25002533

prune138.0ms

Filtered
59 candidates to 71 candidates (-20.3%)
Pruning

27 alts after pruning (27 fresh and 0 done)

PrunedKeptTotal
New67471
Fresh02323
Picked101
Done000
Total682795

Merged error: 31.8b

Counts
95 → 27

regimes1.3s

bsearch2.0ms

Profiling

Loading profile data...