Details

Time bar (total: 22.9s)

sample143.0ms

Algorithm
intervals
Results
97.0ms502×body80valid

simplify2.3s

Counts
1 → 1
Iterations
IterNodes
62126
51200
4677
3280
2102
138
015

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.7b

localize54.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* r h) R)
0.0b
(- (+ (* w t) S) (* T (+ h (* r (+ (* r h) R)))))
0.1b
(* r (+ (* r h) R))
6.7b
(* T (+ h (* r (+ (* r h) R))))

rewrite190.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
11×add-log-exp
pow1 *-un-lft-identity add-cbrt-cube associate-*r/ add-exp-log add-cube-cbrt
flip3-+ flip-+
associate-*r* associate-*l*
frac-sub insert-posit16
distribute-rgt-in distribute-lft-in
sum-log diff-log pow-prod-down prod-exp *-commutative cbrt-unprod associate--r+ unswap-sqr
+-commutative sub-neg flip3-- associate--l+ flip--
Counts
4 → 79
Calls
4 calls:
16.0ms
(+ (* r h) R)
94.0ms
(- (+ (* w t) S) (* T (+ h (* r (+ (* r h) R)))))
48.0ms
(* r (+ (* r h) R))
30.0ms
(* T (+ h (* r (+ (* r h) R))))

series803.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(+ (* r h) R)
573.0ms
(- (+ (* w t) S) (* T (+ h (* r (+ (* r h) R)))))
51.0ms
(* r (+ (* r h) R))
137.0ms
(* T (+ h (* r (+ (* r h) R))))

simplify6.0s

Counts
91 → 91
Iterations
IterNodes
310497
21864
1517
0174

prune1.9s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 4.2b

localize66.0ms

Local error

Found 4 expressions with local error:

1.5b
(cbrt (+ (* r h) R))
1.5b
(cbrt (+ (* r h) R))
1.5b
(cbrt (+ (* r h) R))
6.7b
(* T (+ h (* r (* (* (cbrt (+ (* r h) R)) (cbrt (+ (* r h) R))) (cbrt (+ (* r h) R))))))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
cbrt-prod *-un-lft-identity add-cube-cbrt
pow1 cbrt-div add-cbrt-cube add-exp-log
flip3-+ flip-+ insert-posit16 add-log-exp
pow1/3 associate-*r* associate-*l*
associate-*r/
distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 65
Calls
4 calls:
11.0ms
(cbrt (+ (* r h) R))
11.0ms
(cbrt (+ (* r h) R))
22.0ms
(cbrt (+ (* r h) R))
29.0ms
(* T (+ h (* r (* (* (cbrt (+ (* r h) R)) (cbrt (+ (* r h) R))) (cbrt (+ (* r h) R))))))

series739.0ms

Counts
4 → 12
Calls
4 calls:
196.0ms
(cbrt (+ (* r h) R))
203.0ms
(cbrt (+ (* r h) R))
197.0ms
(cbrt (+ (* r h) R))
142.0ms
(* T (+ h (* r (* (* (cbrt (+ (* r h) R)) (cbrt (+ (* r h) R))) (cbrt (+ (* r h) R))))))

simplify1.9s

Counts
77 → 77
Iterations
IterNodes
33626
2912
1296
0110

prune1.8s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes1.9s

Accuracy

64.7% (1.4b remaining)

Error of 1.4b against oracle of 0.0b and baseline of 4.0b

bsearch226.0ms

Steps
ItersRangePoint
5
5.974511822488452e-53
1.9765646135687636e-52
1.930819054628316e-52
5
-2.8615264004202634e+174
-9.551487949637809e+173
-1.03809386075916e+174

simplify13.0ms

Iterations
IterNodes
246
146
029

end0.0ms

sample4.7s

Algorithm
intervals
Results
3.7s14329×body80valid