Details

Time bar (total: 36.5s)

sample80.0ms

Algorithm
intervals
Results
39.0ms61×body1280valid
13.0ms44×body640valid
7.0ms127×body80valid
3.0ms16×body320valid
1.0msbody160valid

simplify2.3s

Counts
1 → 1
Iterations
IterNodes
done5001
51593
4515
3223
2119
144
06

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.4b

localize19.0ms

Local error

Found 2 expressions with local error:

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

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
12×frac-sub
tanh-def
add-sqr-sqrt *-un-lft-identity tanh-sum add-log-exp
pow1 add-cbrt-cube add-exp-log add-cube-cbrt
sub-neg flip3-- diff-log flip-- distribute-lft-out-- difference-of-squares
Counts
2 → 37
Calls
2 calls:
8.0ms
(tanh (+ x 1.0))
32.0ms
(- (tanh (+ x 1.0)) (tanh 1.0))

series3.1s

Counts
2 → 6
Calls
2 calls:
705.0ms
(tanh (+ x 1.0))
2.4s
(- (tanh (+ x 1.0)) (tanh 1.0))

simplify4.6s

Counts
43 → 43
Iterations
IterNodes
done5000
24703
1774
0217

prune460.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 29.7b

localize53.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (- (tanh (+ x 1.0)) (tanh 1.0)) (- (tanh (+ x 1.0)) (tanh 1.0)))
2.4b
(- (tanh (+ x 1.0)) (tanh 1.0))
2.4b
(- (tanh (+ x 1.0)) (tanh 1.0))
2.4b
(- (tanh (+ x 1.0)) (tanh 1.0))

rewrite398.0ms

Algorithm
rewrite-expression-head
Rules
396×frac-sub
231×tanh-def
196×frac-times
99×tanh-sum
33×flip3-- flip--
28×*-un-lft-identity
24×add-sqr-sqrt
14×associate-*l/ associate-*r/
11×pow1
10×add-log-exp
distribute-lft-out--
add-cube-cbrt
swap-sqr difference-of-squares
add-cbrt-cube add-exp-log
sub-neg associate-*r* associate-*l*
diff-log
distribute-rgt-in distribute-lft-in
pow2 pow-plus pow-prod-down prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod unswap-sqr
Counts
4 → 339
Calls
4 calls:
238.0ms
(* (- (tanh (+ x 1.0)) (tanh 1.0)) (- (tanh (+ x 1.0)) (tanh 1.0)))
40.0ms
(- (tanh (+ x 1.0)) (tanh 1.0))
32.0ms
(- (tanh (+ x 1.0)) (tanh 1.0))
32.0ms
(- (tanh (+ x 1.0)) (tanh 1.0))

series10.0s

Counts
4 → 12
Calls
4 calls:
5.4s
(* (- (tanh (+ x 1.0)) (tanh 1.0)) (- (tanh (+ x 1.0)) (tanh 1.0)))
1.5s
(- (tanh (+ x 1.0)) (tanh 1.0))
1.5s
(- (tanh (+ x 1.0)) (tanh 1.0))
1.5s
(- (tanh (+ x 1.0)) (tanh 1.0))

simplify7.6s

Counts
351 → 351
Iterations
IterNodes
done5003
12444
0791

prune5.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 29.6b

regimes496.0ms

Accuracy

0% (0.5b remaining)

Error of 28.9b against oracle of 28.4b and baseline of 28.9b

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done16
116
011

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.1s1684×body1280valid
366.0ms1268×body640valid
235.0ms4157×body80valid
114.0ms587×body320valid
105.0ms304×body160valid