Details

Time bar (total: 7.8s)

sample41.0ms

Algorithm
intervals
Results
15.0ms58×body1280valid
7.0ms42×body640valid
4.0ms119×body80valid
2.0ms19×body320valid
1.0ms18×body160valid

simplify132.0ms

Counts
1 → 1

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.5b

localize34.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ 1.0 (exp (* -2.0 x)))
0.0b
(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
4.3b
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

rewrite189.0ms

Algorithm
rewrite-expression-head
Rules
24×*-un-lft-identity
17×add-sqr-sqrt
13×times-frac
12×add-cube-cbrt
7×add-log-exp
5×add-exp-log add-cbrt-cube distribute-lft-out
4×associate-/r*
3×pow1 associate-/l*
2×flip3-+ associate-/r/ flip-+ difference-of-squares
1×cbrt-undiv +-commutative sub-neg flip3-- frac-2neg diff-log div-exp clear-num sum-log flip-- div-inv distribute-lft-out--
Counts
3 → 60
Calls
3 calls:
15.0ms
(+ 1.0 (exp (* -2.0 x)))
29.0ms
(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
141.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

series171.0ms

Counts
3 → 9
Calls
3 calls:
20.0ms
(+ 1.0 (exp (* -2.0 x)))
51.0ms
(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
99.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

simplify126.0ms

Counts
69 → 69

prune216.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 3 expressions with local error:

0.1b
(* (/ 3002399751580331.0 9007199254740992.0) (pow x 3))
0.4b
(* (/ 1.0 18014398509481984.0) (pow x 4))
7.6b
(+ (* (/ 1.0 18014398509481984.0) (pow x 4)) (* (/ 3002399751580331.0 9007199254740992.0) (pow x 3)))

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
53×add-sqr-sqrt
29×add-exp-log
26×associate-*l*
25×times-frac
22×add-cube-cbrt *-un-lft-identity
19×associate-*r*
14×unswap-sqr
13×add-cbrt-cube
12×prod-exp
10×unpow-prod-down
6×div-exp sqr-pow
5×cube-prod add-log-exp
4×pow-to-exp associate-*l/ pow-exp cbrt-unprod
3×pow1
2×cbrt-undiv *-commutative div-inv
1×+-commutative cube-mult flip3-+ unpow3 frac-add sum-log flip-+
Counts
3 → 105
Calls
3 calls:
43.0ms
(* (/ 3002399751580331.0 9007199254740992.0) (pow x 3))
29.0ms
(* (/ 1.0 18014398509481984.0) (pow x 4))
16.0ms
(+ (* (/ 1.0 18014398509481984.0) (pow x 4)) (* (/ 3002399751580331.0 9007199254740992.0) (pow x 3)))

series220.0ms

Counts
3 → 9
Calls
3 calls:
41.0ms
(* (/ 3002399751580331.0 9007199254740992.0) (pow x 3))
42.0ms
(* (/ 1.0 18014398509481984.0) (pow x 4))
137.0ms
(+ (* (/ 1.0 18014398509481984.0) (pow x 4)) (* (/ 3002399751580331.0 9007199254740992.0) (pow x 3)))

simplify55.0ms

Counts
114 → 114

prune433.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
0.0b
(/ (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
0.0b
(* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
4.3b
(- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))

rewrite353.0ms

Algorithm
rewrite-expression-head
Rules
119×*-un-lft-identity
92×times-frac
71×add-sqr-sqrt
59×add-cube-cbrt
27×distribute-lft-out
24×swap-sqr
20×add-exp-log add-cbrt-cube
18×associate-*r* associate-*l*
12×associate-/r/
11×pow1
8×associate-/r*
7×associate-/l*
6×cbrt-undiv flip3-+ div-exp flip-+ div-inv add-log-exp difference-of-squares
4×prod-exp cbrt-unprod unswap-sqr
2×flip3-- frac-2neg clear-num flip-- associate-/l/
1×pow2 frac-times sub-neg pow-plus diff-log div-sub associate-*r/ pow-prod-down associate-*l/ pow-sqr *-commutative pow-prod-up
Counts
4 → 175
Calls
4 calls:
17.0ms
(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
213.0ms
(/ (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
72.0ms
(* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
33.0ms
(- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))

series541.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
272.0ms
(/ (- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
59.0ms
(* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
151.0ms
(- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))

simplify99.0ms

Counts
187 → 187

prune608.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (+ (exp (* -2.0 x)) 1.0) 2)
0.0b
(/ 2.0 (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0))
4.3b
(log (exp (- (/ 2.0 (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)) (* 1.0 1.0))))
4.3b
(- (/ 2.0 (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)) (* 1.0 1.0))

rewrite955.0ms

Algorithm
rewrite-expression-head
Rules
219×times-frac
130×add-sqr-sqrt *-un-lft-identity
104×add-cube-cbrt
54×unpow-prod-down
31×associate-/r*
15×add-exp-log unpow2 sqr-pow
13×distribute-lft-out
12×difference-of-squares
10×log-pow
9×exp-prod add-cbrt-cube
7×div-exp
6×pow1 add-log-exp
5×log-prod div-inv
3×cbrt-undiv pow-unpow associate-/l*
2×pow-to-exp sub-neg exp-sum pow-exp
1×log-div flip3-- pow-pow frac-2neg exp-diff diff-log rem-log-exp clear-num associate-/r/ flip--
Counts
4 → 205
Calls
4 calls:
26.0ms
(pow (+ (exp (* -2.0 x)) 1.0) 2)
37.0ms
(/ 2.0 (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0))
607.0ms
(log (exp (- (/ 2.0 (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)) (* 1.0 1.0))))
261.0ms
(- (/ 2.0 (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)) (* 1.0 1.0))

series324.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(pow (+ (exp (* -2.0 x)) 1.0) 2)
61.0ms
(/ 2.0 (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0))
121.0ms
(log (exp (- (/ 2.0 (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)) (* 1.0 1.0))))
100.0ms
(- (/ 2.0 (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)) (* 1.0 1.0))

simplify85.0ms

Counts
217 → 217

prune855.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes263.0ms

Accuracy

98.3% (0.6b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 31.9b

bsearch2.0ms

simplify50.0ms

end0.0ms

sample1.9s

Algorithm
intervals
Results
922.0ms1711×body1280valid
355.0ms1208×body640valid
197.0ms4092×body80valid
132.0ms649×body320valid
30.0ms340×body160valid