Details

Time bar (total: 5.0s)

sample85.0ms

Algorithm
intervals
Results
27.0ms129×body320valid
20.0ms254×body80nan
17.0ms120×body160valid
1.0ms7×body80valid

simplify123.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04321
112221
229921
359121
493121
5116221
6138821
7279821
8500121

prune4.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 34.4b

Counts
2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

6.0b
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
8.4b
(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
29.2b
(sqrt (- (* g g) (* h h)))
29.2b
(sqrt (- (* g g) (* h h)))

rewrite37.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:
12.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
13.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)))

series740.0ms

Counts
4 → 12
Calls
4 calls:
331.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
313.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
49.0ms
(sqrt (- (* g g) (* h h)))
46.0ms
(sqrt (- (* g g) (* h h)))

simplify45.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0385766
11380724
25001718

prune410.0ms

Filtered
72 candidates to 64 candidates (88.9%)
Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New512172
Fresh000
Picked101
Done000
Total522173

Merged error: 31.4b

Counts
73 → 21

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.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))))))
7.0ms
(sqrt (- (* g g) (* h h)))
4.0ms
(sqrt (- (* g g) (* h h)))

series469.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(- (* g g) (* h h))
331.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
53.0ms
(sqrt (- (* g g) (* h h)))
46.0ms
(sqrt (- (* g g) (* h h)))

simplify41.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0319569
11259537
25001533

prune379.0ms

Filtered
71 candidates to 59 candidates (83.1%)
Pruning

22 alts after pruning (22 fresh and 0 done)

PrunedKeptTotal
New66571
Fresh31720
Picked101
Done000
Total702292

Merged error: 31.2b

Counts
92 → 22

localize25.0ms

Local error

Found 4 expressions with local error:

2.8b
(- (* g g) (* h h))
6.0b
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
29.2b
(sqrt (- (* g g) (* h h)))
29.2b
(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:
4.0ms
(- (* g g) (* h h))
12.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
4.0ms
(sqrt (- (* g g) (* h h)))
4.0ms
(sqrt (- (* g g) (* h h)))

series462.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(- (* g g) (* h h))
324.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))
52.0ms
(sqrt (- (* g g) (* h h)))
47.0ms
(sqrt (- (* g g) (* h h)))

simplify42.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0319569
11259537
25001533

prune392.0ms

Filtered
71 candidates to 59 candidates (83.1%)
Pruning

23 alts after pruning (23 fresh and 0 done)

PrunedKeptTotal
New67471
Fresh21921
Picked101
Done000
Total702393

Merged error: 31.2b

Counts
93 → 23

localize20.0ms

Local error

Found 4 expressions with local error:

2.8b
(- (* g g) (* h h))
8.4b
(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
29.2b
(sqrt (- (* g g) (* h h)))
29.2b
(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 flip3-- flip--
4×add-exp-log sqrt-div add-cbrt-cube
3×difference-of-squares
2×frac-times rem-sqrt-square sqrt-pow1 pow1/2 associate-*r/
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))))))
4.0ms
(sqrt (- (* g g) (* h h)))
4.0ms
(sqrt (- (* g g) (* h h)))

series442.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(- (* g g) (* h h))
313.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))
46.0ms
(sqrt (- (* g g) (* h h)))
52.0ms
(sqrt (- (* g g) (* h h)))

simplify37.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
0297569
11188537
25001533

prune275.0ms

Filtered
71 candidates to 59 candidates (83.1%)
Pruning

23 alts after pruning (22 fresh and 1 done)

PrunedKeptTotal
New71071
Fresh02222
Picked011
Done000
Total712394

Merged error: 31.2b

Counts
94 → 23

regimes829.0ms

bsearch6.0ms

Profiling

Loading profile data...