Details

Time bar (total: 11.2s)

sample33.0ms

Algorithm
intervals
Results
14.0ms65×body1280valid
5.0ms40×body640valid
3.0ms126×body80valid
1.0ms11×body320valid
1.0ms14×body160valid

simplify4.4s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0910
11510
22210
33010
45310
511110
627210
7114710
8405610
done500010

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.3b

localize6.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.9b
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

rewrite175.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:
5.0ms
(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
3.0ms
(+ 1.0 (exp (* -2.0 x)))
31.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

series130.0ms

Counts
3 → 9
Calls
3 calls:
35.0ms
(/ 2.0 (+ 1.0 (exp (* -2.0 x))))
19.0ms
(+ 1.0 (exp (* -2.0 x)))
76.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

simplify1.3s

Counts
69 → 69
Iterations

Useful iterations: 3 (279.0ms)

IterNodesCost
0116947
1255903
2685847
32713838
done5001838

prune164.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize10.0ms

Local error

Found 3 expressions with local error:

0.1b
(* 0.33333333333333337 (pow x 3))
0.2b
(* 5.551115123125783e-17 (pow x 4))
6.6b
(+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3)))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
19×associate-*r*
13×add-exp-log
10×add-cube-cbrt *-un-lft-identity
8×unpow-prod-down
7×add-cbrt-cube unswap-sqr
6×associate-*l* prod-exp
5×add-log-exp
4×cube-prod sqr-pow
3×pow1
2×pow-to-exp pow-exp *-commutative cbrt-unprod
1×+-commutative cube-mult flip3-+ unpow3 sum-log flip-+
Counts
3 → 67
Calls
3 calls:
6.0ms
(* 0.33333333333333337 (pow x 3))
5.0ms
(* 5.551115123125783e-17 (pow x 4))
3.0ms
(+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3)))

series174.0ms

Counts
3 → 9
Calls
3 calls:
37.0ms
(* 0.33333333333333337 (pow x 3))
35.0ms
(* 5.551115123125783e-17 (pow x 4))
102.0ms
(+ (* 5.551115123125783e-17 (pow x 4)) (* 0.33333333333333337 (pow x 3)))

simplify659.0ms

Counts
76 → 76
Iterations

Useful iterations: 2 (97.0ms)

IterNodesCost
0114734
1282647
21100602
done5000602

prune164.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b
(cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
3.9b
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
3.9b
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
3.9b
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
13×*-un-lft-identity
10×add-log-exp
8×difference-of-squares
6×cbrt-prod
5×add-cube-cbrt
4×pow1 add-exp-log flip3-- times-frac add-cbrt-cube flip-- distribute-lft-out--
3×sub-neg diff-log
2×cbrt-div
1×pow1/3
Counts
4 → 61
Calls
4 calls:
16.0ms
(cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
32.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
32.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
33.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

series427.0ms

Counts
4 → 12
Calls
4 calls:
193.0ms
(cbrt (- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0))
77.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
78.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
78.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

simplify648.0ms

Counts
73 → 73
Iterations

Useful iterations: 3 (162.0ms)

IterNodesCost
0891313
11841298
24181191
315011112
done50011112

prune210.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b
(cbrt (/ (- (* (/ 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)))
3.8b
(- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
3.9b
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
3.9b
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
25×*-un-lft-identity
23×add-sqr-sqrt
22×cbrt-prod
18×times-frac
13×add-cube-cbrt
10×add-log-exp
9×difference-of-squares
4×pow1 add-exp-log add-cbrt-cube distribute-lft-out
3×sub-neg flip3-- diff-log flip--
2×associate-/r/ distribute-lft-out--
1×cbrt-div flip3-+ pow1/3 flip-+ div-inv
Counts
4 → 74
Calls
4 calls:
27.0ms
(cbrt (/ (- (* (/ 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)))
10.0ms
(- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
31.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
33.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

series555.0ms

Counts
4 → 12
Calls
4 calls:
314.0ms
(cbrt (/ (- (* (/ 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)))
85.0ms
(- (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* 1.0 1.0))
77.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)
78.0ms
(- (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) 1.0)

simplify399.0ms

Counts
86 → 86
Iterations

Useful iterations: done (392.0ms)

IterNodesCost
01762894
13692783
211062575
done50022280

prune308.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes305.0ms

Accuracy

99.9% (0.0b remaining)

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

bsearch2.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
040111
150111
done50111

end0.0ms

sample873.0ms

Algorithm
intervals
Results
364.0ms1738×body1280valid
171.0ms1233×body640valid
109.0ms4107×body80valid
61.0ms612×body320valid
18.0ms310×body160valid