Details

Time bar (total: 32.3s)

sample230.0ms

Algorithm
intervals
Results
111.0ms143×body320valid
47.0ms109×body160valid
45.0ms227×body80nan
1.0ms4×body80valid

simplify2.3s

Counts
1 → 1
Iterations
IterNodes
done5001
53455
41170
3353
2116
146
019

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.3b

localize46.0ms

Local error

Found 4 expressions with local error:

7.9b
(cbrt (* (/ -1/2 a) (+ g (sqrt (* (- g h) (+ g h))))))
8.0b
(cbrt (* (/ 1/2 a) (- (sqrt (* (- g h) (+ g h))) g)))
25.2b
(sqrt (* (- g h) (+ g h)))
25.2b
(sqrt (* (- g h) (+ g h)))

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
71×add-sqr-sqrt
58×cbrt-div
52×*-un-lft-identity
51×cbrt-prod
44×frac-times
40×add-cube-cbrt
36×associate-*l*
32×sqrt-prod
22×associate-*l/
20×times-frac
19×associate-*r*
18×associate-/r* associate-/l*
16×flip3-+ flip3-- sqrt-div flip-+ flip--
10×pow1
9×unswap-sqr
8×associate-*r/
6×clear-num frac-2neg
5×difference-of-squares
4×rem-sqrt-square sqrt-pow1 add-cbrt-cube add-exp-log *-commutative insert-posit16 add-log-exp
3×distribute-lft-out distribute-lft-out--
2×pow1/2 pow1/3 pow-prod-down div-inv
Counts
4 → 199
Calls
4 calls:
454.0ms
(cbrt (* (/ -1/2 a) (+ g (sqrt (* (- g h) (+ g h))))))
626.0ms
(cbrt (* (/ 1/2 a) (- (sqrt (* (- g h) (+ g h))) g)))
88.0ms
(sqrt (* (- g h) (+ g h)))
84.0ms
(sqrt (* (- g h) (+ g h)))

series1.0s

Counts
4 → 12
Calls
4 calls:
407.0ms
(cbrt (* (/ -1/2 a) (+ g (sqrt (* (- g h) (+ g h))))))
432.0ms
(cbrt (* (/ 1/2 a) (- (sqrt (* (- g h) (+ g h))) g)))
73.0ms
(sqrt (* (- g h) (+ g h)))
101.0ms
(sqrt (* (- g h) (+ g h)))

simplify3.2s

Counts
211 → 211
Iterations
IterNodes
done5001
24202
11325
0518

prune1.7s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 25.8b

localize79.0ms

Local error

Found 4 expressions with local error:

1.6b
(+ g (sqrt (* (- g h) (+ g h))))
7.9b
(cbrt (* (/ -1/2 a) (+ g (sqrt (* (- g h) (+ g h))))))
25.2b
(sqrt (* (- g h) (+ g h)))
25.2b
(sqrt (* (- g h) (+ g h)))

rewrite695.0ms

Algorithm
rewrite-expression-head
Rules
44×add-sqr-sqrt
37×*-un-lft-identity
30×sqrt-prod
29×cbrt-div
26×frac-times
25×add-cube-cbrt
24×cbrt-prod
23×associate-*l*
17×flip3-+ flip-+
16×sqrt-div
13×associate-*l/
12×associate-*r*
10×pow1 times-frac
9×associate-/r* associate-/l*
6×flip3-- associate-*r/ flip-- add-log-exp unswap-sqr
4×rem-sqrt-square sqrt-pow1 add-cbrt-cube add-exp-log insert-posit16 distribute-lft-out
3×clear-num frac-2neg *-commutative
2×pow1/2 pow-prod-down distribute-lft-out-- difference-of-squares
1×+-commutative sum-log pow1/3 div-inv
Counts
4 → 147
Calls
4 calls:
131.0ms
(+ g (sqrt (* (- g h) (+ g h))))
418.0ms
(cbrt (* (/ -1/2 a) (+ g (sqrt (* (- g h) (+ g h))))))
63.0ms
(sqrt (* (- g h) (+ g h)))
73.0ms
(sqrt (* (- g h) (+ g h)))

series795.0ms

Counts
4 → 12
Calls
4 calls:
102.0ms
(+ g (sqrt (* (- g h) (+ g h))))
461.0ms
(cbrt (* (/ -1/2 a) (+ g (sqrt (* (- g h) (+ g h))))))
126.0ms
(sqrt (* (- g h) (+ g h)))
105.0ms
(sqrt (* (- g h) (+ g h)))

simplify2.2s

Counts
159 → 159
Iterations
IterNodes
done5000
22846
1866
0330

prune1.3s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 24.9b

localize47.0ms

Local error

Found 4 expressions with local error:

0.9b
(- (sqrt (* (- g h) (+ g h))) g)
1.6b
(+ g (sqrt (* (- g h) (+ g h))))
25.2b
(sqrt (* (- g h) (+ g h)))
25.2b
(sqrt (* (- g h) (+ g h)))

rewrite613.0ms

Algorithm
rewrite-expression-head
Rules
32×sqrt-prod
31×add-sqr-sqrt
22×*-un-lft-identity
16×sqrt-div
10×pow1 associate-*l* add-cube-cbrt
8×frac-times associate-*r* add-log-exp
7×flip3-+ flip3-- flip-+ flip--
5×difference-of-squares unswap-sqr
4×rem-sqrt-square sqrt-pow1 add-cbrt-cube associate-*l/ associate-*r/ add-exp-log insert-posit16
3×distribute-lft-out distribute-lft-out--
2×pow1/2 pow-prod-down *-commutative
1×+-commutative sum-log sub-neg diff-log
Counts
4 → 102
Calls
4 calls:
328.0ms
(- (sqrt (* (- g h) (+ g h))) g)
101.0ms
(+ g (sqrt (* (- g h) (+ g h))))
99.0ms
(sqrt (* (- g h) (+ g h)))
80.0ms
(sqrt (* (- g h) (+ g h)))

series388.0ms

Counts
4 → 12
Calls
4 calls:
103.0ms
(- (sqrt (* (- g h) (+ g h))) g)
115.0ms
(+ g (sqrt (* (- g h) (+ g h))))
80.0ms
(sqrt (* (- g h) (+ g h)))
91.0ms
(sqrt (* (- g h) (+ g h)))

simplify1.6s

Counts
114 → 114
Iterations
IterNodes
done5000
2949
1316
0139

prune1.0s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 24.9b

localize76.0ms

Local error

Found 4 expressions with local error:

1.6b
(+ g (sqrt (* (- g h) (+ g h))))
2.6b
(exp (log (+ g (sqrt (* (- g h) (+ g h))))))
25.2b
(sqrt (* (- g h) (+ g h)))
25.2b
(sqrt (* (- g h) (+ g h)))

rewrite280.0ms

Algorithm
rewrite-expression-head
Rules
30×sqrt-prod
26×add-sqr-sqrt
24×*-un-lft-identity
16×sqrt-div
12×add-cube-cbrt
11×pow1
10×associate-*l*
8×frac-times flip3-+ associate-*r* flip-+
7×add-log-exp
6×flip3-- flip--
4×rem-sqrt-square log-prod exp-prod sqrt-pow1 add-cbrt-cube exp-sum associate-*l/ associate-*r/ add-exp-log insert-posit16 distribute-lft-out unswap-sqr
2×log-div pow1/2 exp-diff pow-prod-down *-commutative distribute-lft-out-- difference-of-squares rem-exp-log
1×+-commutative sum-log log-pow
Counts
4 → 105
Calls
4 calls:
77.0ms
(+ g (sqrt (* (- g h) (+ g h))))
81.0ms
(exp (log (+ g (sqrt (* (- g h) (+ g h))))))
64.0ms
(sqrt (* (- g h) (+ g h)))
55.0ms
(sqrt (* (- g h) (+ g h)))

series401.0ms

Counts
4 → 12
Calls
4 calls:
121.0ms
(+ g (sqrt (* (- g h) (+ g h))))
115.0ms
(exp (log (+ g (sqrt (* (- g h) (+ g h))))))
73.0ms
(sqrt (* (- g h) (+ g h)))
91.0ms
(sqrt (* (- g h) (+ g h)))

simplify3.3s

Counts
117 → 117
Iterations
IterNodes
done5002
34738
2922
1317
0146

prune781.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 24.5b

regimes668.0ms

Accuracy

55.6% (1.7b remaining)

Error of 30.5b against oracle of 28.8b and baseline of 32.5b

bsearch364.0ms

Steps
ItersRangePoint
10
1.7822550191445485e-157
2.855344257932453e-141
1.820567991238995e-157

simplify8.0ms

Iterations
IterNodes
done43
143
034

end0.0ms

sample7.8s

Algorithm
intervals
Results
2.5s3746×body320valid
2.5s4110×body160valid
2.3s7860×body80nan
53.0ms144×body80valid