Details

Time bar (total: 16.2s)

sample48.0ms

Algorithm
intervals
Results
17.0ms56×body1280valid
7.0ms34×body640valid
6.0ms135×body80valid
3.0ms17×body320valid
1.0ms14×body160valid

simplify724.0ms

Counts
1 → 1

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.4b

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite135.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:
19.0ms
(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
7.0ms
(+ 1.0 (exp (* -2.0 x)))
105.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

series197.0ms

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

simplify1.1s

Counts
69 → 69

prune244.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite144.0ms

Algorithm
rewrite-expression-head
Rules
86×*-un-lft-identity
64×times-frac
52×add-sqr-sqrt
40×add-cube-cbrt
24×swap-sqr
20×distribute-lft-out
18×associate-*r* associate-*l*
16×add-exp-log add-cbrt-cube
11×pow1
10×add-log-exp
8×associate-/r/
6×flip3-+ flip-+
4×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv unswap-sqr
2×+-commutative sum-log
1×pow2 frac-times sub-neg flip3-- pow-plus diff-log associate-*r/ pow-prod-down associate-*l/ pow-sqr *-commutative pow-prod-up flip-- difference-of-squares
Counts
4 → 125
Calls
4 calls:
7.0ms
(+ 1.0 (exp (* -2.0 x)))
9.0ms
(+ 1.0 (exp (* -2.0 x)))
84.0ms
(* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
35.0ms
(- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))

series290.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(+ 1.0 (exp (* -2.0 x)))
29.0ms
(+ 1.0 (exp (* -2.0 x)))
80.0ms
(* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))
157.0ms
(- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))

simplify1.1s

Counts
137 → 137

prune449.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize52.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 1.0 (exp (* -2.0 x)))
0.0b
(/ (- (log (pow (exp 1) (/ 2.0 (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
0.3b
(pow (exp 1) (/ 2.0 (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)))
3.2b
(- (log (pow (exp 1) (/ 2.0 (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)))) (* 1.0 1.0))

rewrite238.0ms

Algorithm
rewrite-expression-head
Rules
190×times-frac
128×*-un-lft-identity
104×add-sqr-sqrt
98×add-cube-cbrt pow-unpow
42×unpow-prod-down
15×distribute-lft-out
11×sqr-pow
9×unpow2
7×log-prod associate--l+ add-log-exp
6×add-exp-log add-cbrt-cube difference-of-squares
5×pow1 div-inv
4×pow-pow associate-/r* associate-/l*
3×exp-prod associate-/r/
2×flip3-- flip3-+ flip-- flip-+ associate-/l/
1×cbrt-undiv +-commutative pow-to-exp sub-neg frac-2neg diff-log div-sub div-exp pow-exp clear-num sum-log
Counts
4 → 188
Calls
4 calls:
15.0ms
(+ 1.0 (exp (* -2.0 x)))
138.0ms
(/ (- (log (pow (exp 1) (/ 2.0 (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
50.0ms
(pow (exp 1) (/ 2.0 (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)))
9.0ms
(- (log (pow (exp 1) (/ 2.0 (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)))) (* 1.0 1.0))

series1.4s

Counts
4 → 12
Calls
4 calls:
30.0ms
(+ 1.0 (exp (* -2.0 x)))
729.0ms
(/ (- (log (pow (exp 1) (/ 2.0 (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)))) (* 1.0 1.0)) (+ (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
239.0ms
(pow (exp 1) (/ 2.0 (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)))
441.0ms
(- (log (pow (exp 1) (/ 2.0 (/ (pow (+ (exp (* -2.0 x)) 1.0) 2) 2.0)))) (* 1.0 1.0))

simplify662.0ms

Counts
200 → 200

prune1.2s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize57.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 1.0 (exp (* -2.0 x)))
0.0b
(/ (sqrt 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2))
1.0b
(pow (pow (exp 1) (/ (sqrt 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2))) (/ (sqrt 2.0) (/ 1 2.0)))
3.2b
(- (log (pow (pow (exp 1) (/ (sqrt 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2))) (/ (sqrt 2.0) (/ 1 2.0)))) (* 1.0 1.0))

rewrite136.0ms

Algorithm
rewrite-expression-head
Rules
186×times-frac
128×*-un-lft-identity
113×add-sqr-sqrt
112×add-cube-cbrt
83×pow-unpow
69×sqrt-prod
48×unpow-prod-down
11×log-prod associate--l+ sqr-pow
10×add-exp-log
9×associate-/r*
8×div-inv distribute-lft-out
7×unpow2 add-log-exp
6×add-cbrt-cube associate-/l*
5×pow-exp
4×pow1
3×pow-to-exp div-exp
1×cbrt-undiv +-commutative sub-neg flip3-- pow-pow frac-2neg flip3-+ diff-log clear-num sum-log associate-/r/ flip-- flip-+ difference-of-squares
Counts
4 → 222
Calls
4 calls:
9.0ms
(+ 1.0 (exp (* -2.0 x)))
48.0ms
(/ (sqrt 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2))
27.0ms
(pow (pow (exp 1) (/ (sqrt 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2))) (/ (sqrt 2.0) (/ 1 2.0)))
37.0ms
(- (log (pow (pow (exp 1) (/ (sqrt 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2))) (/ (sqrt 2.0) (/ 1 2.0)))) (* 1.0 1.0))

series1.7s

Counts
4 → 12
Calls
4 calls:
24.0ms
(+ 1.0 (exp (* -2.0 x)))
90.0ms
(/ (sqrt 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2))
658.0ms
(pow (pow (exp 1) (/ (sqrt 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2))) (/ (sqrt 2.0) (/ 1 2.0)))
927.0ms
(- (log (pow (pow (exp 1) (/ (sqrt 2.0) (pow (+ (exp (* -2.0 x)) 1.0) 2))) (/ (sqrt 2.0) (/ 1 2.0)))) (* 1.0 1.0))

simplify1.9s

Counts
234 → 234

prune1.5s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

regimes280.0ms

Accuracy

99.9% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 28.7b

bsearch2.0ms

simplify881.0ms

end0.0ms

sample1.7s

Algorithm
intervals
Results
566.0ms1676×body1280valid
384.0ms1223×body640valid
257.0ms4182×body80valid
86.0ms590×body320valid
67.0ms329×body160valid