Details

Time bar (total: 1.5m)

sample209.0ms

Algorithm
intervals
Results
76.0ms130×body160valid
62.0ms122×body320valid
45.0ms294×body80nan
0.0ms4×body80valid

simplify303.0ms

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

prune30.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 37.1b

localize63.0ms

Local error

Found 4 expressions with local error:

31.4b
(sqrt (- (* g g) (* h h)))
31.4b
(sqrt (- (* g g) (* h h)))
9.4b
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))
8.6b
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))

rewrite61.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
28.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
14.0ms
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))
7.0ms
(sqrt (- (* g g) (* h h)))
7.0ms
(sqrt (- (* g g) (* h h)))

series785.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
334.0ms
(cbrt (/ (- (sqrt (- (* g g) (* h h))) g) (/ a 1/2)))
326.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
69.0ms
(sqrt (- (* g g) (* h h)))
57.0ms
(sqrt (- (* g g) (* h h)))

simplify27.7s

Counts
209 → 245
Calls
209 calls:
Slowest
663.0ms
(- (+ (* 1/18 (* (cbrt 1/2) (* (exp (* 1/3 (- (log (/ 1 (sqrt -1))) (+ (* 5 (log h)) (log a))))) (pow g 2)))) (* (cbrt 1/2) (exp (* 1/3 (- (+ (log (sqrt -1)) (log h)) (log a)))))) (* 1/3 (* (cbrt 1/2) (* g (exp (* 1/3 (- (log -1) (+ (* 2 (log h)) (log a)))))))))
400.0ms
(cbrt (/ (* (cbrt (- (sqrt (- (* g g) (* h h))) g)) (cbrt (- (sqrt (- (* g g) (* h h))) g))) (/ 1 (* (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)))))))
384.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)))))
373.0ms
(cbrt (/ (* (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (- (- g) (sqrt (- (* g g) (* h h)))))) (/ 1 (* (cbrt 1/2) (cbrt 1/2)))))

prune3.9s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 32.6b

localize86.0ms

Local error

Found 4 expressions with local error:

31.4b
(sqrt (- (* g g) (* h h)))
31.4b
(sqrt (- (* g g) (* h h)))
8.6b
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
3.6b
(- (* g g) (* h h))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
154×times-frac
123×add-sqr-sqrt
121×*-un-lft-identity
96×cbrt-prod
69×add-cube-cbrt
29×difference-of-squares
26×distribute-lft-out--
21×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 → 154
Calls
4 calls:
Slowest
12.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
7.0ms
(sqrt (- (* g g) (* h h)))
7.0ms
(- (* g g) (* h h))
7.0ms
(sqrt (- (* g g) (* h h)))

series488.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
322.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
68.0ms
(sqrt (- (* g g) (* h h)))
51.0ms
(sqrt (- (* g g) (* h h)))
47.0ms
(- (* g g) (* h h))

simplify15.5s

Counts
128 → 166
Calls
128 calls:
Slowest
397.0ms
(cbrt (/ (* (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (- (- g) (sqrt (- (* g g) (* h h)))))) (/ 1 (* (cbrt 1/2) (cbrt 1/2)))))
379.0ms
(* (exp (* 1/3 (- (+ (log 2) (log (/ 1 a))) (log (/ 1 g))))) (cbrt -1/2))
370.0ms
(cbrt (/ (* (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (- (- g) (sqrt (- (* g g) (* h h)))))) (/ (sqrt a) (* (cbrt 1/2) (cbrt 1/2)))))
352.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)))))
324.0ms
(cbrt (/ (+ (sqrt (- g)) (sqrt (sqrt (- (* g g) (* h h))))) (/ (* (cbrt a) (cbrt a)) (* (cbrt 1/2) (cbrt 1/2)))))

prune3.6s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 32.0b

localize81.0ms

Local error

Found 4 expressions with local error:

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

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
154×times-frac
125×add-sqr-sqrt
122×*-un-lft-identity
96×cbrt-prod
70×add-cube-cbrt
29×difference-of-squares
26×distribute-lft-out--
25×sqrt-prod
13×distribute-rgt-neg-in
8×div-inv
7×pow1
6×sqrt-div
4×add-cbrt-cube add-exp-log insert-posit16 add-log-exp
3×rem-sqrt-square sqrt-pow1 flip3-- pow1/2 flip--
1×cbrt-div pow1/3 associate-/r/
Counts
4 → 157
Calls
4 calls:
Slowest
23.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
17.0ms
(sqrt (- (* g g) (* h h)))
14.0ms
(sqrt (- (* g g) (* h h)))
8.0ms
(sqrt (- (* g g) (* h h)))

series570.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
341.0ms
(cbrt (/ (- (- g) (sqrt (- (* g g) (* h h)))) (/ a 1/2)))
89.0ms
(sqrt (- (* g g) (* h h)))
85.0ms
(sqrt (- (* g g) (* h h)))
55.0ms
(sqrt (- (* g g) (* h h)))

simplify16.1s

Counts
133 → 169
Calls
133 calls:
Slowest
616.0ms
(cbrt (/ (* (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (- (- g) (sqrt (- (* g g) (* h h)))))) (/ 1 (sqrt 1/2))))
366.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)))))
330.0ms
(cbrt (/ (sqrt (- (- g) (sqrt (- (* g g) (* h h))))) (/ (* (cbrt a) (cbrt a)) (* (cbrt 1/2) (cbrt 1/2)))))
317.0ms
(cbrt (/ (* (cbrt (- (- g) (sqrt (- (* g g) (* h h))))) (cbrt (- (- g) (sqrt (- (* g g) (* h h)))))) (/ (* (cbrt a) (cbrt a)) (sqrt 1/2))))

prune3.9s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 32.0b

localize138.0ms

Local error

Found 4 expressions with local error:

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

rewrite42.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
19.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)))

series235.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
74.0ms
(sqrt (- (* g g) (* h h)))
60.0ms
(sqrt (- (* g g) (* h h)))
54.0ms
(sqrt (- (* g g) (* h h)))
48.0ms
(sqrt (- (* g g) (* h h)))

simplify3.2s

Counts
44 → 80
Calls
44 calls:
Slowest
274.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
264.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
246.0ms
(sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
232.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
224.0ms
(sqrt (- (pow (* g g) 3) (pow (* h h) 3)))

prune2.2s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 32.0b

regimes941.0ms

Accuracy

54.3% (1.2b remaining)

Error of 30.8b against oracle of 29.6b and baseline of 32.3b

bsearch447.0ms

end0.0ms

sample7.8s

Algorithm
intervals
Results
2.6s4118×body160valid
2.5s3724×body320valid
2.1s8015×body80nan
33.0ms158×body80valid