Details

Time bar (total: 1.7m)

sample253.0ms

Algorithm
intervals
Results
88.0ms129×body160valid
85.0ms124×body320valid
52.0ms230×body80nan
1.0ms3×body80valid

simplify324.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
324.0ms
(+ (cbrt (* (/ 1 (* 2 a)) (+ (- g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1 (* 2 a)) (- (- g) (sqrt (- (* g g) (* h h)))))))

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 32.9b

localize53.0ms

Local error

Found 4 expressions with local error:

27.8b
(sqrt (- (* g g) (* h h)))
27.8b
(sqrt (- (* g g) (* h h)))
8.6b
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))
6.6b
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
286×times-frac
231×add-sqr-sqrt
203×*-un-lft-identity
179×cbrt-prod
125×add-cube-cbrt
54×difference-of-squares
39×distribute-lft-out--
34×sqrt-prod
15×div-inv
13×distribute-rgt-neg-in
6×pow1
4×add-cbrt-cube sqrt-div add-exp-log insert-posit16 add-log-exp
2×rem-sqrt-square cbrt-div sqrt-pow1 flip3-- pow1/2 pow1/3 associate-/r/ flip--
Counts
4 → 233
Calls
4 calls:
Slowest
29.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
25.0ms
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))
11.0ms
(sqrt (- (* g g) (* h h)))
7.0ms
(sqrt (- (* g g) (* h h)))

series812.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
351.0ms
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))
346.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
59.0ms
(sqrt (- (* g g) (* h h)))
56.0ms
(sqrt (- (* g g) (* h h)))

simplify27.9s

Counts
209 → 245
Calls
209 calls:
Slowest
581.0ms
(cbrt (/ 1 (/ (* (cbrt a) (cbrt a)) (* (cbrt 1/2) (cbrt 1/2)))))
456.0ms
(cbrt (/ (* (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (- (- g) (sqrt (- (* g g) (* h h)))))) (/ (* (cbrt a) (cbrt a)) (* (cbrt 1/2) (cbrt 1/2)))))
398.0ms
(* (cbrt 1/2) (exp (* 1/3 (- (+ (log (/ 1 a)) (+ (log (/ 1 g)) (log -1/2))) (* 2 (log (/ 1 h)))))))
387.0ms
(cbrt (/ (* (cbrt (- (sqrt (- (* g g) (* h h))) g)) (cbrt (- (sqrt (- (* g g) (* h h))) g))) (/ 1 (* (cbrt 1/2) (cbrt 1/2)))))
383.0ms
(cbrt (/ (* (cbrt (- (sqrt (- (* g g) (* h h))) g)) (cbrt (- (sqrt (- (* g g) (* h h))) g))) (/ (* (cbrt a) (cbrt a)) (* (cbrt 1/2) (cbrt 1/2)))))

prune3.9s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 28.4b

localize84.0ms

Local error

Found 4 expressions with local error:

27.8b
(sqrt (- (* g g) (* h h)))
27.8b
(sqrt (- (* g g) (* h h)))
6.6b
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
2.5b
(- (sqrt (- (* g g) (* h h))) g)

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
154×times-frac
127×add-sqr-sqrt
123×*-un-lft-identity
96×cbrt-prod
69×add-cube-cbrt
30×difference-of-squares
27×distribute-lft-out--
22×sqrt-prod
13×distribute-rgt-neg-in
8×div-inv
6×pow1 add-log-exp
4×add-cbrt-cube sqrt-div add-exp-log insert-posit16
3×flip3-- flip--
2×rem-sqrt-square sqrt-pow1 pow1/2
1×cbrt-div sub-neg pow1/3 diff-log associate-/r/
Counts
4 → 156
Calls
4 calls:
Slowest
32.0ms
(- (sqrt (- (* g g) (* h h))) g)
17.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
14.0ms
(sqrt (- (* g g) (* h h)))
14.0ms
(sqrt (- (* g g) (* h h)))

series492.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
297.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
76.0ms
(sqrt (- (* g g) (* h h)))
60.0ms
(sqrt (- (* g g) (* h h)))
59.0ms
(- (sqrt (- (* g g) (* h h))) g)

simplify15.7s

Counts
131 → 168
Calls
131 calls:
Slowest
608.0ms
(cbrt (/ (+ (sqrt (- g)) (sqrt (sqrt (- (* g g) (* h h))))) (/ (sqrt a) (* (cbrt 1/2) (cbrt 1/2)))))
351.0ms
(* (exp (* 1/3 (- (+ (log 2) (log (/ 1 a))) (log (/ 1 g))))) (cbrt -1/2))
349.0ms
(cbrt (/ (* (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (- (- g) (sqrt (- (* g g) (* h h)))))) (/ (* (cbrt a) (cbrt a)) (* (cbrt 1/2) (cbrt 1/2)))))
329.0ms
(cbrt (/ (* (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (- (- g) (sqrt (- (* g g) (* h h)))))) (/ (sqrt a) (* (cbrt 1/2) (cbrt 1/2)))))
319.0ms
(cbrt (/ (* (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (- (- g) (sqrt (- (* g g) (* h h)))))) (/ 1 (* (cbrt 1/2) (cbrt 1/2)))))

prune3.2s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 27.1b

localize77.0ms

Local error

Found 4 expressions with local error:

27.8b
(sqrt (- (* g g) (* h h)))
27.8b
(sqrt (- (* g g) (* h h)))
2.7b
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ (cbrt a) 1/2)))
2.5b
(- (sqrt (- (* g g) (* h h))) g)

rewrite129.0ms

Algorithm
rewrite-expression-head
Rules
280×times-frac
222×cbrt-prod
214×add-sqr-sqrt
210×*-un-lft-identity
120×add-cube-cbrt
48×difference-of-squares
45×distribute-lft-out--
31×sqrt-prod
22×distribute-rgt-neg-in
8×div-inv
6×pow1 add-log-exp
4×add-cbrt-cube sqrt-div add-exp-log insert-posit16
3×flip3-- flip--
2×rem-sqrt-square sqrt-pow1 pow1/2
1×cbrt-div sub-neg pow1/3 diff-log associate-/r/
Counts
4 → 219
Calls
4 calls:
Slowest
66.0ms
(- (sqrt (- (* g g) (* h h))) g)
24.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ (cbrt a) 1/2)))
15.0ms
(sqrt (- (* g g) (* h h)))
14.0ms
(sqrt (- (* g g) (* h h)))

series673.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
473.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ (cbrt a) 1/2)))
93.0ms
(- (sqrt (- (* g g) (* h h))) g)
62.0ms
(sqrt (- (* g g) (* h h)))
46.0ms
(sqrt (- (* g g) (* h h)))

simplify24.9s

Counts
194 → 231
Calls
194 calls:
Slowest
582.0ms
(* (* (cbrt 1/2) (exp (* 1/3 (- (+ (log (/ -1 g)) (log (/ 1/2 (cbrt -1)))) (* 2 (log (/ -1 h))))))) (pow (/ -1 a) 1/9))
424.0ms
(cbrt (/ (* (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (- (- g) (sqrt (- (* g g) (* h h)))))) (/ (* (cbrt (cbrt a)) (cbrt (cbrt a))) (* (cbrt 1/2) (cbrt 1/2)))))
379.0ms
(cbrt (/ (* (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (- (- g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt 1) (* (cbrt 1/2) (cbrt 1/2)))))
364.0ms
(cbrt (/ (+ (sqrt (- g)) (sqrt (sqrt (- (* g g) (* h h))))) (/ (* (cbrt (cbrt a)) (cbrt (cbrt a))) (* (cbrt 1/2) (cbrt 1/2)))))
345.0ms
(+ (* 1/3 (* (pow (/ 1 a) 1/9) (* (exp (* 1/3 (- (log -1) (* 2 (log h))))) (* g (cbrt -1/2))))) (+ (* (pow (/ 1 a) 1/9) (* (exp (* 1/3 (+ (log (sqrt -1)) (log h)))) (cbrt -1/2))) (* 1/18 (* (pow (/ 1 a) 1/9) (* (exp (* 1/3 (- (log (/ 1 (sqrt -1))) (* 5 (log h))))) (* (pow g 2) (cbrt -1/2)))))))

prune5.5s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 27.1b

localize188.0ms

Local error

Found 4 expressions with local error:

27.8b
(sqrt (- (* g g) (* h h)))
27.8b
(sqrt (- (* g g) (* h h)))
27.8b
(sqrt (- (* g g) (* h h)))
27.8b
(sqrt (- (* g g) (* h h)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
16×sqrt-prod
12×add-sqr-sqrt
8×pow1 *-un-lft-identity sqrt-div add-cube-cbrt
4×rem-sqrt-square sqrt-pow1 flip3-- add-cbrt-cube pow1/2 add-exp-log insert-posit16 flip-- add-log-exp difference-of-squares
Counts
4 → 68
Calls
4 calls:
Slowest
10.0ms
(sqrt (- (* g g) (* h h)))
7.0ms
(sqrt (- (* g g) (* h h)))
7.0ms
(sqrt (- (* g g) (* h h)))
7.0ms
(sqrt (- (* g g) (* h h)))

series274.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
82.0ms
(sqrt (- (* g g) (* h h)))
81.0ms
(sqrt (- (* g g) (* h h)))
58.0ms
(sqrt (- (* g g) (* h h)))
52.0ms
(sqrt (- (* g g) (* h h)))

simplify3.1s

Counts
44 → 80
Calls
44 calls:
Slowest
250.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
238.0ms
(sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
232.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
216.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
214.0ms
(sqrt (- (pow (* g g) 3) (pow (* h h) 3)))

prune2.2s

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 27.1b

regimes2.0s

Accuracy

20.4% (1.6b remaining)

Error of 31.4b against oracle of 29.8b and baseline of 31.9b

bsearch35.0ms

end0.0ms

sample7.5s

Algorithm
intervals
Results
2.9s3731×body320valid
2.3s4127×body160valid
1.8s7991×body80nan
26.0ms142×body80valid