Details

Time bar (total: 9.0s)

sample126.0ms

Algorithm
intervals
Results
42.0ms118×body320valid
32.0ms243×body80nan
32.0ms127×body160valid
2.0ms11×body80valid

simplify116.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04321
112221
229921
359121
493121
5116221
6138821
7279821
8500221

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 36.5b

localize17.0ms

Local error

Found 4 expressions with local error:

6.8b
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
6.9b
(cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
31.5b
(sqrt (- (* g g) (* h h)))
31.5b
(sqrt (- (* g g) (* h h)))

rewrite43.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:
18.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
16.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
4.0ms
(sqrt (- (* g g) (* h h)))
4.0ms
(sqrt (- (* g g) (* h h)))

series723.0ms

Counts
4 → 12
Calls
4 calls:
318.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
308.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
50.0ms
(sqrt (- (* g g) (* h h)))
47.0ms
(sqrt (- (* g g) (* h h)))

simplify47.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0385766
11380724
25001718

prune398.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 33.3b

localize23.0ms

Local error

Found 4 expressions with local error:

3.6b
(- (* g g) (* h h))
6.9b
(cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
31.5b
(sqrt (- (* g g) (* h h)))
31.5b
(sqrt (- (* g g) (* h h)))

rewrite27.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:
2.0ms
(- (* g g) (* h h))
16.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
4.0ms
(sqrt (- (* g g) (* h h)))
4.0ms
(sqrt (- (* g g) (* h h)))

series440.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(- (* g g) (* h h))
309.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
50.0ms
(sqrt (- (* g g) (* h h)))
45.0ms
(sqrt (- (* g g) (* h h)))

simplify36.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0297569
11188537
25001533

prune415.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 33.0b

localize19.0ms

Local error

Found 4 expressions with local error:

3.6b
(- (* g g) (* h h))
6.9b
(cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
31.5b
(sqrt (- (* g g) (* h h)))
31.5b
(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 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:
3.0ms
(- (* g g) (* h h))
16.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
4.0ms
(sqrt (- (* g g) (* h h)))
4.0ms
(sqrt (- (* g g) (* h h)))

series438.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(- (* g g) (* h h))
314.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
45.0ms
(sqrt (- (* g g) (* h h)))
49.0ms
(sqrt (- (* g g) (* h h)))

simplify36.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0297569
11188537
25001533

prune434.0ms

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 33.0b

localize19.0ms

Local error

Found 4 expressions with local error:

3.6b
(- (* g g) (* h h))
6.8b
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
31.5b
(sqrt (- (* g g) (* h h)))
31.5b
(sqrt (- (* g g) (* h h)))

rewrite31.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:
2.0ms
(- (* g g) (* h h))
20.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
4.0ms
(sqrt (- (* g g) (* h h)))
4.0ms
(sqrt (- (* g g) (* h h)))

series441.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(- (* g g) (* h h))
314.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
50.0ms
(sqrt (- (* g g) (* h h)))
46.0ms
(sqrt (- (* g g) (* h h)))

simplify44.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0319571
11259537
25001533

prune334.0ms

Pruning

22 alts after pruning (21 fresh and 1 done)

Merged error: 33.0b

regimes804.0ms

Accuracy

65.4% (1.1b remaining)

Error of 31.6b against oracle of 30.6b and baseline of 33.7b

bsearch330.0ms

Steps
ItersRangePoint
9
-3.57416073242495e-229
-1.1545435191862917e-238
-1.1782238543655228e-238

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04854
15354
25354

end0.0ms

sample3.7s

Algorithm
intervals
Results
1.2s3742×body320valid
1.0s7939×body80nan
972.0ms4092×body160valid
25.0ms166×body80valid