Details

Time bar (total: 19.9s)

sample36.0ms

Algorithm
intervals
Results
12.0ms68×body1280valid
8.0ms187×body80valid
0.0msbody640valid

simplify3.3s

Counts
1 → 1
Iterations
IterNodes
done5000
62364
5562
4288
3140
278
126
05

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (tanh (+ x 1.0)) 1.0)
0.0b
(tanh (+ x 1.0))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
*-un-lft-identity add-log-exp
add-sqr-sqrt pow1 add-cbrt-cube add-exp-log add-cube-cbrt
+-commutative sum-log flip3-+ tanh-sum flip-+ distribute-lft-out tanh-def
Counts
2 → 23
Calls
2 calls:
19.0ms
(+ (tanh (+ x 1.0)) 1.0)
9.0ms
(tanh (+ x 1.0))

series1.7s

Counts
2 → 6
Calls
2 calls:
970.0ms
(+ (tanh (+ x 1.0)) 1.0)
721.0ms
(tanh (+ x 1.0))

simplify3.6s

Counts
29 → 29
Iterations
IterNodes
done5001
23155
1528
0153

prune258.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.2b

localize37.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (- (+ x 1.0)))
0.0b
(+ (/ (- (exp (+ x 1.0)) (exp (- (+ x 1.0)))) (+ (exp (+ x 1.0)) (exp (- (+ x 1.0))))) 1.0)
0.0b
(- (exp (+ x 1.0)) (exp (- (+ x 1.0))))
0.3b
(/ (- (exp (+ x 1.0)) (exp (- (+ x 1.0)))) (+ (exp (+ x 1.0)) (exp (- (+ x 1.0)))))

rewrite2.1s

Algorithm
rewrite-expression-head
Rules
48×*-un-lft-identity
30×add-sqr-sqrt
20×times-frac
18×add-cube-cbrt
12×exp-prod add-log-exp
distribute-lft-out
add-cbrt-cube add-exp-log distribute-lft-out-- difference-of-squares
associate-/l*
distribute-lft-neg-in pow1 associate-/r* distribute-rgt-neg-in
rem-exp-log
sum-log flip3-+ flip3-- div-sub neg-log associate-/r/ flip-+ flip-- associate-/l/
neg-sub0 exp-neg cbrt-undiv +-commutative distribute-neg-in clear-num neg-mul-1 sub-neg frac-2neg exp-diff diff-log div-exp exp-sum tanh-undef associate-+l- div-inv
Counts
4 → 99
Calls
4 calls:
56.0ms
(exp (- (+ x 1.0)))
1.4s
(+ (/ (- (exp (+ x 1.0)) (exp (- (+ x 1.0)))) (+ (exp (+ x 1.0)) (exp (- (+ x 1.0))))) 1.0)
137.0ms
(- (exp (+ x 1.0)) (exp (- (+ x 1.0))))
522.0ms
(/ (- (exp (+ x 1.0)) (exp (- (+ x 1.0)))) (+ (exp (+ x 1.0)) (exp (- (+ x 1.0)))))

series2.5s

Counts
4 → 12
Calls
4 calls:
35.0ms
(exp (- (+ x 1.0)))
1.6s
(+ (/ (- (exp (+ x 1.0)) (exp (- (+ x 1.0)))) (+ (exp (+ x 1.0)) (exp (- (+ x 1.0))))) 1.0)
98.0ms
(- (exp (+ x 1.0)) (exp (- (+ x 1.0))))
739.0ms
(/ (- (exp (+ x 1.0)) (exp (- (+ x 1.0)))) (+ (exp (+ x 1.0)) (exp (- (+ x 1.0)))))

simplify4.3s

Counts
111 → 111
Iterations
IterNodes
done5001
23296
1674
0235

prune840.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.2b

regimes182.0ms

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 0.1b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done7
17
05

end0.0ms

sample1.0s

Algorithm
intervals
Results
503.0ms2001×body1280valid
335.0ms5989×body80valid
1.0msbody640valid
0.0msbody160valid
0.0msbody320valid