Details

Time bar (total: 18.2s)

sample73.0ms

Algorithm
intervals
Results
34.0ms256×body80valid
16.0ms256×pre80true

simplify6.0s

Counts
1 → 1
Iterations
IterNodes
63862
5976
4302
3132
253
122
08

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.7b

localize31.0ms

Local error

Found 3 expressions with local error:

0.1b
(sinh k)
0.1b
(sinh (- k (* k x)))
23.6b
(/ (sinh (- k (* k x))) (sinh k))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
times-frac
add-cbrt-cube add-exp-log
sinh-def
pow1 associate-/r* insert-posit16 associate-/l* add-log-exp
sinh-diff sinh-sum
cbrt-undiv clear-num sub-neg frac-2neg div-sub div-exp associate-/r/ div-inv associate-/l/
Counts
3 → 52
Calls
3 calls:
3.0ms
(sinh k)
9.0ms
(sinh (- k (* k x)))
40.0ms
(/ (sinh (- k (* k x))) (sinh k))

series478.0ms

Counts
3 → 9
Calls
3 calls:
135.0ms
(sinh k)
107.0ms
(sinh (- k (* k x)))
236.0ms
(/ (sinh (- k (* k x))) (sinh k))

simplify5.0s

Counts
61 → 61
Iterations
IterNodes
46104
31718
2600
1235
0115

prune873.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.6b

localize26.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (- 1 x) (* (* x k) (* 1/3 k)))
0.3b
(* 1/3 k)
0.3b
(* (* x k) (* 1/3 k))

rewrite174.0ms

Algorithm
rewrite-expression-head
Rules
17×pow1 add-cbrt-cube add-exp-log
pow-prod-down prod-exp cbrt-unprod
add-log-exp
add-sqr-sqrt
*-un-lft-identity add-cube-cbrt
associate-*r* associate-*l*
diff-log insert-posit16
sub-neg associate--l+ *-commutative
associate--l- flip3-- flip-- unswap-sqr
Counts
3 → 59
Calls
3 calls:
96.0ms
(- (- 1 x) (* (* x k) (* 1/3 k)))
13.0ms
(* 1/3 k)
64.0ms
(* (* x k) (* 1/3 k))

series185.0ms

Counts
3 → 9
Calls
3 calls:
92.0ms
(- (- 1 x) (* (* x k) (* 1/3 k)))
30.0ms
(* 1/3 k)
63.0ms
(* (* x k) (* 1/3 k))

simplify2.5s

Counts
68 → 68
Iterations
IterNodes
34049
2799
1232
096

prune849.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.4b

regimes127.0ms

Accuracy

0% (1.1b remaining)

Error of 1.8b against oracle of 0.7b and baseline of 1.8b

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
13
03

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.0s8000×body80valid
553.0ms8000×pre80true