Details

Time bar (total: 17.8s)

sample122.0ms

Algorithm
intervals
Results
48.0ms107×body1280valid
25.0ms86×body640valid
16.0ms267×body80valid
6.0ms33×body320valid
3.0ms21×body160valid

simplify4.6s

Counts
1 → 1
Iterations
IterNodes
done5000
74532
6953
5307
4153
381
242
120
06

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize20.0ms

Local error

Found 2 expressions with local error:

0.0b
(sinh (+ x 1.0))
5.7b
(- (sinh (+ x 1.0)) (sinh 1.0))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
sinh-def
add-sqr-sqrt *-un-lft-identity add-log-exp
pow1 add-cbrt-cube add-exp-log add-cube-cbrt sinh-sum
sub-neg flip3-- diff-log diff-sinh associate--l+ frac-sub flip-- distribute-lft-out-- sub-div difference-of-squares
Counts
2 → 27
Calls
2 calls:
10.0ms
(sinh (+ x 1.0))
83.0ms
(- (sinh (+ x 1.0)) (sinh 1.0))

series748.0ms

Counts
2 → 6
Calls
2 calls:
170.0ms
(sinh (+ x 1.0))
578.0ms
(- (sinh (+ x 1.0)) (sinh 1.0))

simplify3.9s

Counts
33 → 33
Iterations
IterNodes
done5000
33446
2837
1253
098

prune239.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize44.0ms

Local error

Found 4 expressions with local error:

0.0b
(sinh (/ x 2))
0.0b
(+ (+ x 1.0) 1.0)
0.0b
(cosh (/ (+ (+ x 1.0) 1.0) 2))
0.3b
(* (cosh (/ (+ (+ x 1.0) 1.0) 2)) (sinh (/ x 2)))

rewrite141.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
add-log-exp
add-sqr-sqrt
pow1 add-cbrt-cube add-exp-log add-cube-cbrt
cosh-def
sinh-def sum-log associate-*r* associate-*l* sinh-1/2 distribute-lft-out
frac-times associate-*r/
+-commutative associate-+l+ flip3-+ cosh-1/2 pow-prod-down associate-*l/ prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
4 → 56
Calls
4 calls:
5.0ms
(sinh (/ x 2))
58.0ms
(+ (+ x 1.0) 1.0)
47.0ms
(cosh (/ (+ (+ x 1.0) 1.0) 2))
28.0ms
(* (cosh (/ (+ (+ x 1.0) 1.0) 2)) (sinh (/ x 2)))

series681.0ms

Counts
4 → 12
Calls
4 calls:
151.0ms
(sinh (/ x 2))
34.0ms
(+ (+ x 1.0) 1.0)
171.0ms
(cosh (/ (+ (+ x 1.0) 1.0) 2))
325.0ms
(* (cosh (/ (+ (+ x 1.0) 1.0) 2)) (sinh (/ x 2)))

simplify2.2s

Counts
68 → 68
Iterations
IterNodes
done5001
21396
1401
0155

prune591.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

regimes128.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
done24
124
018

end0.0ms

sample4.3s

Algorithm
intervals
Results
2.0s3376×body1280valid
790.0ms2502×body640valid
549.0ms8249×body80valid
313.0ms1237×body320valid
135.0ms600×body160valid