Details

Time bar (total: 22.7s)

sample134.0ms

Algorithm
intervals
Results
38.0ms256×body80nan
32.0ms256×body80valid

simplify836.0ms

Counts
1 → 1
Iterations
IterNodes
done5001
41817
3373
2106
150
028

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.3b

localize50.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (sqrt (+ a t)) t)
0.3b
(/ (/ 2.0 3.0) t)
2.1b
(* z (/ (sqrt (+ a t)) t))
2.9b
(+ (* z (/ (sqrt (+ a t)) t)) (* (- c b) (+ (- a (/ (/ 2.0 3.0) t)) (/ 5.0 6.0))))

rewrite182.0ms

Algorithm
rewrite-expression-head
Rules
119×times-frac
91×*-un-lft-identity
85×add-sqr-sqrt
77×add-cube-cbrt
29×sqrt-prod
25×associate-*r*
20×frac-add associate-/l*
19×associate-*r/
16×add-cbrt-cube add-exp-log
8×frac-times flip3-- flip--
7×div-inv distribute-lft-out
6×pow1 associate-/r* add-log-exp
5×cbrt-undiv flip3-+ div-exp flip-+
3×associate-*l* unswap-sqr associate-/l/
2×associate-+r+ clear-num frac-2neg sqrt-div associate-*l/ prod-exp cbrt-unprod
1×distribute-rgt-in +-commutative sum-log distribute-lft-in pow-prod-down *-commutative
Counts
4 → 187
Calls
4 calls:
12.0ms
(/ (sqrt (+ a t)) t)
10.0ms
(/ (/ 2.0 3.0) t)
39.0ms
(* z (/ (sqrt (+ a t)) t))
112.0ms
(+ (* z (/ (sqrt (+ a t)) t)) (* (- c b) (+ (- a (/ (/ 2.0 3.0) t)) (/ 5.0 6.0))))

series551.0ms

Counts
4 → 12
Calls
4 calls:
117.0ms
(/ (sqrt (+ a t)) t)
35.0ms
(/ (/ 2.0 3.0) t)
105.0ms
(* z (/ (sqrt (+ a t)) t))
294.0ms
(+ (* z (/ (sqrt (+ a t)) t)) (* (- c b) (+ (- a (/ (/ 2.0 3.0) t)) (/ 5.0 6.0))))

simplify785.0ms

Counts
199 → 199
Iterations
IterNodes
done5000
11368
0469

prune2.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 1.5b

localize70.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (/ 2.0 3.0) t)
2.1b
(* z (/ (sqrt (+ a t)) t))
3.3b
(+ (* z (/ (sqrt (+ a t)) t)) (* (- c b) (+ (- a (log (exp (/ (/ 2.0 3.0) t)))) (/ 5.0 6.0))))
3.3b
(log (exp (/ (/ 2.0 3.0) t)))

rewrite368.0ms

Algorithm
rewrite-expression-head
Rules
164×times-frac
105×add-sqr-sqrt
103×*-un-lft-identity
97×add-cube-cbrt
44×log-pow
43×exp-prod
25×associate-*r*
20×frac-add
19×associate-*r/
14×add-cbrt-cube add-exp-log
13×sqrt-prod associate-/l*
10×div-inv
8×frac-times flip3-- flip--
7×pow1
6×add-log-exp
4×cbrt-undiv flip3-+ div-exp flip-+
3×log-prod associate-/r* associate-*l* distribute-lft-out unswap-sqr
2×associate-+r+ associate-*l/ prod-exp cbrt-unprod
1×distribute-rgt-in +-commutative clear-num sum-log frac-2neg distribute-lft-in rem-log-exp pow-prod-down *-commutative associate-/l/
Counts
4 → 197
Calls
4 calls:
17.0ms
(/ (/ 2.0 3.0) t)
33.0ms
(* z (/ (sqrt (+ a t)) t))
275.0ms
(+ (* z (/ (sqrt (+ a t)) t)) (* (- c b) (+ (- a (log (exp (/ (/ 2.0 3.0) t)))) (/ 5.0 6.0))))
21.0ms
(log (exp (/ (/ 2.0 3.0) t)))

series433.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(/ (/ 2.0 3.0) t)
98.0ms
(* z (/ (sqrt (+ a t)) t))
279.0ms
(+ (* z (/ (sqrt (+ a t)) t)) (* (- c b) (+ (- a (log (exp (/ (/ 2.0 3.0) t)))) (/ 5.0 6.0))))
35.0ms
(log (exp (/ (/ 2.0 3.0) t)))

simplify787.0ms

Counts
209 → 209
Iterations
IterNodes
done5000
11378
0524

prune2.5s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 1.0b

localize75.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- c b) (+ (- a (/ 0.6666666666666666 t)) (/ 5.0 6.0)))
0.2b
(/ (sqrt (+ a t)) t)
2.1b
(* z (/ (sqrt (+ a t)) t))
2.9b
(+ (* z (/ (sqrt (+ a t)) t)) (* (- c b) (+ (- a (/ 0.6666666666666666 t)) (/ 5.0 6.0))))

rewrite389.0ms

Algorithm
rewrite-expression-head
Rules
58×*-un-lft-identity
49×add-sqr-sqrt
44×times-frac
37×add-cube-cbrt
30×associate-*r*
29×sqrt-prod
26×frac-add
23×associate-*r/
16×frac-times flip3-- flip--
13×add-cbrt-cube add-exp-log
9×distribute-lft-out
8×pow1 flip3-+ associate-*l* flip-+
7×associate-/l*
6×add-log-exp
4×associate-*l/ unswap-sqr
3×associate-/r* prod-exp cbrt-unprod
2×distribute-rgt-in cbrt-undiv associate-+r+ distribute-lft-in sqrt-div div-exp pow-prod-down *-commutative div-inv distribute-lft-out-- associate-/l/
1×+-commutative clear-num sum-log frac-2neg difference-of-squares
Counts
4 → 155
Calls
4 calls:
243.0ms
(* (- c b) (+ (- a (/ 0.6666666666666666 t)) (/ 5.0 6.0)))
24.0ms
(/ (sqrt (+ a t)) t)
25.0ms
(* z (/ (sqrt (+ a t)) t))
90.0ms
(+ (* z (/ (sqrt (+ a t)) t)) (* (- c b) (+ (- a (/ 0.6666666666666666 t)) (/ 5.0 6.0))))

series555.0ms

Counts
4 → 12
Calls
4 calls:
108.0ms
(* (- c b) (+ (- a (/ 0.6666666666666666 t)) (/ 5.0 6.0)))
87.0ms
(/ (sqrt (+ a t)) t)
120.0ms
(* z (/ (sqrt (+ a t)) t))
240.0ms
(+ (* z (/ (sqrt (+ a t)) t)) (* (- c b) (+ (- a (/ 0.6666666666666666 t)) (/ 5.0 6.0))))

simplify605.0ms

Counts
167 → 167
Iterations
IterNodes
done5000
11145
0367

prune1.8s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize94.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
0.6b
(cbrt t)
2.9b
(+ (* (* (/ z (cbrt t)) (/ (fabs (cbrt (+ t a))) (cbrt t))) (/ (sqrt (cbrt (+ a t))) (cbrt t))) (* (- c b) (+ (- a (/ 0.6666666666666666 t)) (/ 5.0 6.0))))

rewrite140.0ms

Algorithm
rewrite-expression-head
Rules
140×frac-add
126×frac-times
84×associate-*l/
70×associate-*r/
56×flip3-- flip--
22×flip3-+ flip-+
9×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×add-log-exp
4×pow1 add-cbrt-cube add-exp-log
3×pow1/3
2×associate-+r+
1×distribute-rgt-in +-commutative sum-log distribute-lft-in
Counts
4 → 144
Calls
4 calls:
1.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt t)
116.0ms
(+ (* (* (/ z (cbrt t)) (/ (fabs (cbrt (+ t a))) (cbrt t))) (/ (sqrt (cbrt (+ a t))) (cbrt t))) (* (- c b) (+ (- a (/ 0.6666666666666666 t)) (/ 5.0 6.0))))

series1.4s

Counts
4 → 12
Calls
4 calls:
233.0ms
(cbrt t)
218.0ms
(cbrt t)
231.0ms
(cbrt t)
688.0ms
(+ (* (* (/ z (cbrt t)) (/ (fabs (cbrt (+ t a))) (cbrt t))) (/ (sqrt (cbrt (+ a t))) (cbrt t))) (* (- c b) (+ (- a (/ 0.6666666666666666 t)) (/ 5.0 6.0))))

simplify805.0ms

Counts
156 → 156
Iterations
IterNodes
done5000
11698
0443

prune2.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.2b

regimes676.0ms

Accuracy

-7.7% (2.0b remaining)

Error of 2.9b against oracle of 0.9b and baseline of 2.7b

bsearch111.0ms

Steps
ItersRangePoint
5
1.3315093933805551e+241
5.240429025030812e+241
2.1085350951729283e+241

simplify11.0ms

Iterations
IterNodes
done60
160
047

end0.0ms

sample5.2s

Algorithm
intervals
Results
2.3s7927×body80nan
1.4s8000×body80valid