Details

Time bar (total: 16.7s)

sample160.0ms

Algorithm
intervals
Results
47.0ms259×body80nan
37.0ms256×body80valid

simplify1.0s

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

prune36.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.8b

localize45.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (sqrt (+ a t)) t)
0.4b
(/ (/ 2.0 3.0) t)
1.8b
(* z (/ (sqrt (+ a t)) t))
3.4b
(+ (* z (/ (sqrt (+ a t)) t)) (* (- c b) (+ (- a (/ (/ 2.0 3.0) t)) (/ 5.0 6.0))))

rewrite183.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:
24.0ms
(/ (sqrt (+ a t)) t)
18.0ms
(/ (/ 2.0 3.0) t)
38.0ms
(* z (/ (sqrt (+ a t)) t))
88.0ms
(+ (* z (/ (sqrt (+ a t)) t)) (* (- c b) (+ (- a (/ (/ 2.0 3.0) t)) (/ 5.0 6.0))))

series535.0ms

Counts
4 → 12
Calls
4 calls:
96.0ms
(/ (sqrt (+ a t)) t)
33.0ms
(/ (/ 2.0 3.0) t)
101.0ms
(* z (/ (sqrt (+ a t)) t))
304.0ms
(+ (* z (/ (sqrt (+ a t)) t)) (* (- c b) (+ (- a (/ (/ 2.0 3.0) t)) (/ 5.0 6.0))))

simplify714.0ms

Counts
199 → 199
Iterations
IterNodes
done5000
11368
0469

prune2.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 1.7b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(* b (+ a 0.8333333333333334))
0.0b
(* y (exp (* 2.0 (- (* c a) (* b (+ a 0.8333333333333334))))))
0.0b
(exp (* 2.0 (- (* c a) (* b (+ a 0.8333333333333334)))))
1.7b
(- (* c a) (* b (+ a 0.8333333333333334)))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
11×associate-*r*
10×*-un-lft-identity
8×pow1 add-cbrt-cube exp-sum add-cube-cbrt add-log-exp
7×add-exp-log
6×distribute-rgt-in distribute-lft-in associate-*l*
5×sub-neg
2×pow-prod-down prod-exp associate-*r/ *-commutative cbrt-unprod associate--r+ unswap-sqr
1×exp-prod flip3-+ flip3-- exp-to-pow diff-log flip-+ flip-- distribute-lft-out rem-exp-log
Counts
4 → 73
Calls
4 calls:
30.0ms
(* b (+ a 0.8333333333333334))
21.0ms
(* y (exp (* 2.0 (- (* c a) (* b (+ a 0.8333333333333334))))))
18.0ms
(exp (* 2.0 (- (* c a) (* b (+ a 0.8333333333333334)))))
6.0ms
(- (* c a) (* b (+ a 0.8333333333333334)))

series288.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(* b (+ a 0.8333333333333334))
106.0ms
(* y (exp (* 2.0 (- (* c a) (* b (+ a 0.8333333333333334))))))
75.0ms
(exp (* 2.0 (- (* c a) (* b (+ a 0.8333333333333334)))))
62.0ms
(- (* c a) (* b (+ a 0.8333333333333334)))

simplify604.0ms

Counts
85 → 85
Iterations
IterNodes
done5001
21220
1331
0123

prune538.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.5b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (* (- (* c a) (* (+ a 0.8333333333333334) b)) 2.0))
0.0b
(* y (log (exp (exp (* (- (* c a) (* (+ a 0.8333333333333334) b)) 2.0)))))
0.2b
(log (exp (exp (* (- (* c a) (* (+ a 0.8333333333333334) b)) 2.0))))
1.7b
(- (* c a) (* (+ a 0.8333333333333334) b))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
11×*-un-lft-identity add-cube-cbrt
10×add-log-exp
9×log-prod
8×pow1 log-pow
7×exp-prod associate-*r*
6×add-cbrt-cube add-exp-log
3×distribute-rgt-in distribute-lft-in associate-*l*
2×exp-to-pow diff-log
1×sub-neg flip3-- rem-log-exp pow-prod-down prod-exp *-commutative cbrt-unprod flip-- unswap-sqr rem-exp-log
Counts
4 → 66
Calls
4 calls:
16.0ms
(exp (* (- (* c a) (* (+ a 0.8333333333333334) b)) 2.0))
29.0ms
(* y (log (exp (exp (* (- (* c a) (* (+ a 0.8333333333333334) b)) 2.0)))))
4.0ms
(log (exp (exp (* (- (* c a) (* (+ a 0.8333333333333334) b)) 2.0))))
6.0ms
(- (* c a) (* (+ a 0.8333333333333334) b))

series263.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(exp (* (- (* c a) (* (+ a 0.8333333333333334) b)) 2.0))
107.0ms
(* y (log (exp (exp (* (- (* c a) (* (+ a 0.8333333333333334) b)) 2.0)))))
59.0ms
(log (exp (exp (* (- (* c a) (* (+ a 0.8333333333333334) b)) 2.0))))
42.0ms
(- (* c a) (* (+ a 0.8333333333333334) b))

simplify687.0ms

Counts
78 → 78
Iterations
IterNodes
done5001
21087
1249
0109

prune638.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.2b

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b
(* y (log (exp (- (+ (* c (* 2.0 a)) 1) (* b 1.6666666666666667)))))
0.0b
(- (+ (* c (* 2.0 a)) 1) (* b 1.6666666666666667))
0.0b
(exp (- (+ (* c (* 2.0 a)) 1) (* b 1.6666666666666667)))
0.3b
(log (exp (- (+ (* c (* 2.0 a)) 1) (* b 1.6666666666666667))))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
18×log-prod
15×add-log-exp
14×add-sqr-sqrt
12×*-un-lft-identity exp-sum add-cube-cbrt
9×exp-prod
8×pow1 log-pow
7×associate-*r*
6×distribute-rgt-in distribute-lft-in add-cbrt-cube add-exp-log
5×sub-neg associate--l+
4×diff-log
3×associate-*l* rem-exp-log
2×sum-log exp-diff
1×log-div flip3-- rem-log-exp pow-prod-down prod-exp *-commutative cbrt-unprod flip-- unswap-sqr
Counts
4 → 84
Calls
4 calls:
633.0ms
(* y (log (exp (- (+ (* c (* 2.0 a)) 1) (* b 1.6666666666666667)))))
117.0ms
(- (+ (* c (* 2.0 a)) 1) (* b 1.6666666666666667))
176.0ms
(exp (- (+ (* c (* 2.0 a)) 1) (* b 1.6666666666666667)))
250.0ms
(log (exp (- (+ (* c (* 2.0 a)) 1) (* b 1.6666666666666667))))

series290.0ms

Counts
4 → 12
Calls
4 calls:
100.0ms
(* y (log (exp (- (+ (* c (* 2.0 a)) 1) (* b 1.6666666666666667)))))
67.0ms
(- (+ (* c (* 2.0 a)) 1) (* b 1.6666666666666667))
46.0ms
(exp (- (+ (* c (* 2.0 a)) 1) (* b 1.6666666666666667)))
77.0ms
(log (exp (- (+ (* c (* 2.0 a)) 1) (* b 1.6666666666666667))))

simplify498.0ms

Counts
96 → 96
Iterations
IterNodes
done5000
21211
1313
0131

prune663.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes772.0ms

Accuracy

0% (2.8b remaining)

Error of 3.1b against oracle of 0.3b and baseline of 3.1b

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
done36
136
028

end0.0ms

sample5.3s

Algorithm
intervals
Results
2.3s7996×body80nan
1.6s8000×body80valid