Details

Time bar (total: 1.9m)

sample214.0ms

Algorithm
intervals
Results
80.0ms122×body320valid
63.0ms129×body160valid
46.0ms238×body80nan
1.0ms5×body80valid

simplify277.0ms

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

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 34.0b

localize45.0ms

Local error

Found 4 expressions with local error:

27.6b
(sqrt (- (* g g) (* h h)))
27.6b
(sqrt (- (* g g) (* h h)))
9.0b
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
8.1b
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))

rewrite81.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
23.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
22.0ms
(sqrt (- (* g g) (* h h)))
16.0ms
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))
14.0ms
(sqrt (- (* g g) (* h h)))

series823.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
384.0ms
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))
318.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
68.0ms
(sqrt (- (* g g) (* h h)))
52.0ms
(sqrt (- (* g g) (* h h)))

simplify28.8s

Counts
209 → 245
Calls
209 calls:
Slowest
544.0ms
(cbrt (/ (* (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (- (- g) (sqrt (- (* g g) (* h h)))))) (/ 1 1)))
450.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)))))
411.0ms
(cbrt (/ (* (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (- (- g) (sqrt (- (* g g) (* h h)))))) (/ 1 (* (cbrt 1/2) (cbrt 1/2)))))
385.0ms
(* (cbrt 1/2) (exp (* 1/3 (- (+ (log (/ 1 a)) (+ (log (/ 1 g)) (log -1/2))) (* 2 (log (/ 1 h)))))))
382.0ms
(* (exp (* 1/3 (- (+ (log 2) (log (/ 1 a))) (log (/ 1 g))))) (cbrt -1/2))

prune4.2s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 28.6b

localize89.0ms

Local error

Found 4 expressions with local error:

27.6b
(sqrt (- (* g g) (* h h)))
27.6b
(sqrt (- (* g g) (* h h)))
8.1b
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))
2.0b
(- (* g g) (* h h))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
132×times-frac
116×add-sqr-sqrt
88×*-un-lft-identity
83×cbrt-prod
62×add-cube-cbrt
29×difference-of-squares
21×sqrt-prod
13×distribute-lft-out--
7×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 → 141
Calls
4 calls:
Slowest
24.0ms
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))
14.0ms
(sqrt (- (* g g) (* h h)))
14.0ms
(sqrt (- (* g g) (* h h)))
7.0ms
(- (* g g) (* h h))

series533.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
336.0ms
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))
74.0ms
(sqrt (- (* g g) (* h h)))
64.0ms
(sqrt (- (* g g) (* h h)))
58.0ms
(- (* g g) (* h h))

simplify15.0s

Counts
115 → 153
Calls
115 calls:
Slowest
689.0ms
(cbrt (/ (+ (sqrt (sqrt (- (* g g) (* h h)))) (sqrt g)) (/ (* (cbrt a) (cbrt a)) (* (cbrt 1/2) (cbrt 1/2)))))
379.0ms
(cbrt (/ (* (cbrt (- (sqrt (- (* g g) (* h h))) g)) (cbrt (- (sqrt (- (* g g) (* h h))) g))) (/ 1 (* (cbrt 1/2) (cbrt 1/2)))))
356.0ms
(* (cbrt 1/2) (exp (* 1/3 (- (+ (log (/ 1 a)) (+ (log (/ 1 g)) (log -1/2))) (* 2 (log (/ 1 h)))))))
340.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)))))
319.0ms
(cbrt (/ (* (cbrt (- (sqrt (- (* g g) (* h h))) g)) (cbrt (- (sqrt (- (* g g) (* h h))) g))) (/ (* (cbrt a) (cbrt a)) 1)))

prune3.1s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 27.7b

localize90.0ms

Local error

Found 4 expressions with local error:

27.6b
(sqrt (- (* g g) (* h h)))
27.6b
(sqrt (- (* g g) (* h h)))
2.0b
(- (* g g) (* h h))
2.0b
(- (* g g) (* h h))

rewrite39.0ms

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

series259.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
81.0ms
(sqrt (- (* g g) (* h h)))
68.0ms
(sqrt (- (* g g) (* h h)))
59.0ms
(- (* g g) (* h h))
51.0ms
(- (* g g) (* h h))

simplify2.1s

Counts
34 → 74
Calls
34 calls:
Slowest
256.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
237.0ms
(sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
229.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
222.0ms
(sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
215.0ms
(/ (exp (* g g)) (exp (* h h)))

prune1.5s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 27.7b

localize93.0ms

Local error

Found 4 expressions with local error:

27.6b
(sqrt (- (* g g) (* h h)))
27.6b
(sqrt (- (* g g) (* h h)))
2.2b
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ (cbrt a) (cbrt 1/2))))
2.0b
(- (* g g) (* h h))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
461×cbrt-prod
456×times-frac
359×add-sqr-sqrt
277×*-un-lft-identity
197×add-cube-cbrt
83×difference-of-squares
48×sqrt-prod
40×distribute-lft-out--
7×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 → 303
Calls
4 calls:
Slowest
32.0ms
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ (cbrt a) (cbrt 1/2))))
12.0ms
(sqrt (- (* g g) (* h h)))
10.0ms
(- (* g g) (* h h))
7.0ms
(sqrt (- (* g g) (* h h)))

series914.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
774.0ms
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ (cbrt a) (cbrt 1/2))))
55.0ms
(sqrt (- (* g g) (* h h)))
49.0ms
(sqrt (- (* g g) (* h h)))
35.0ms
(- (* g g) (* h h))

simplify38.9s

Counts
277 → 315
Calls
277 calls:
Slowest
467.0ms
(cbrt (/ (* (cbrt (- (sqrt (- (* g g) (* h h))) g)) (cbrt (- (sqrt (- (* g g) (* h h))) g))) (/ (* (cbrt (cbrt a)) (cbrt (cbrt a))) (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2))))))
431.0ms
(cbrt (/ (* (cbrt (- (sqrt (- (* g g) (* h h))) g)) (cbrt (- (sqrt (- (* g g) (* h h))) g))) (/ (cbrt 1) (* (cbrt (cbrt 1/2)) (cbrt (cbrt 1/2))))))
411.0ms
(- (+ (* 1/18 (* (pow (/ 1 a) 1/9) (* (exp (* 1/3 (- (log (/ (cbrt 1/2) (sqrt -1))) (* 5 (log h))))) (pow g 2)))) (* (pow (/ 1 a) 1/9) (exp (* 1/3 (+ (log (* (cbrt 1/2) (sqrt -1))) (log h)))))) (* 1/3 (* (pow (/ 1 a) 1/9) (* (exp (* 1/3 (- (log (* -1 (cbrt 1/2))) (* 2 (log h))))) g))))
399.0ms
(* (pow (/ 1 a) 1/9) (exp (* 1/3 (- (+ (log (/ 1 g)) (log (- (* 1/2 (cbrt 1/2))))) (* 2 (log (/ 1 h)))))))
371.0ms
(cbrt (/ 1 (/ (sqrt (cbrt a)) (cbrt 1))))

prune8.1s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 27.7b

regimes947.0ms

Accuracy

62% (1.2b remaining)

Error of 31.5b against oracle of 30.3b and baseline of 33.5b

bsearch424.0ms

end0.0ms

sample7.8s

Algorithm
intervals
Results
3.5s3640×body320valid
2.1s4223×body160valid
1.8s7885×body80nan
26.0ms137×body80valid