Details

Time bar (total: 26.0s)

sample71.0ms

Algorithm
intervals
Results
27.0ms101×body1280valid
13.0ms65×body640valid
10.0ms271×body80valid
5.0ms43×body320valid
1.0ms14×body160valid

simplify9.4s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
1157
2307
3677
41357
52567
64607
79777
818647
932637
1044457
done50017

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (sinh y) y)
0.0b
(* (cos x) (/ (sinh y) y))
0.0b
(sinh y)

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
19×add-cube-cbrt *-un-lft-identity times-frac
13×associate-*r*
10×add-exp-log add-cbrt-cube
5×pow1
3×associate-*l* associate-/r* associate-/l* add-log-exp
2×cbrt-undiv sinh-def div-exp prod-exp cbrt-unprod div-inv unswap-sqr
1×frac-2neg associate-*r/ pow-prod-down clear-num *-commutative associate-/l/
Counts
3 → 68
Calls
3 calls:
7.0ms
(/ (sinh y) y)
17.0ms
(* (cos x) (/ (sinh y) y))
1.0ms
(sinh y)

series263.0ms

Counts
3 → 9
Calls
3 calls:
91.0ms
(/ (sinh y) y)
103.0ms
(* (cos x) (/ (sinh y) y))
68.0ms
(sinh y)

simplify1.8s

Counts
77 → 77
Iterations

Useful iterations: 3 (933.0ms)

IterNodesCost
0138730
1313687
21010621
33477609
done5002609

prune177.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (cos x) (/ y (sinh y)))
0.0b
(sinh y)
0.0b
(/ y (sinh y))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
87×times-frac
54×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
17×associate-/r*
10×add-exp-log add-cbrt-cube
6×sinh-def associate-/r/ div-inv associate-/l*
4×cbrt-undiv div-exp
3×pow1 add-log-exp
2×frac-2neg clear-num
Counts
3 → 110
Calls
3 calls:
14.0ms
(/ (cos x) (/ y (sinh y)))
1.0ms
(sinh y)
5.0ms
(/ y (sinh y))

series269.0ms

Counts
3 → 9
Calls
3 calls:
102.0ms
(/ (cos x) (/ y (sinh y)))
67.0ms
(sinh y)
99.0ms
(/ y (sinh y))

simplify1.1s

Counts
119 → 119
Iterations

Useful iterations: done (1.1s)

IterNodesCost
02171546
14551454
214631379
done50001357

prune337.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (/ y (sinh y)))
0.0b
(/ y (sinh y))
0.0b
(/ y (sinh y))
0.0b
(/ (/ (cos x) (sqrt (/ y (sinh y)))) (sqrt (/ y (sinh y))))

rewrite203.0ms

Algorithm
rewrite-expression-head
Rules
2897×times-frac
1568×sqrt-prod
1242×add-sqr-sqrt
1239×add-cube-cbrt *-un-lft-identity
133×associate-/r/ div-inv
114×sinh-def
62×associate-/l*
23×associate-/r*
20×sqrt-div
13×add-exp-log add-cbrt-cube
5×pow1 cbrt-undiv div-exp
4×add-log-exp
3×frac-2neg clear-num
2×rem-sqrt-square
1×sqrt-pow1 pow1/2 associate-/l/
Counts
4 → 1123
Calls
4 calls:
5.0ms
(sqrt (/ y (sinh y)))
5.0ms
(/ y (sinh y))
5.0ms
(/ y (sinh y))
59.0ms
(/ (/ (cos x) (sqrt (/ y (sinh y)))) (sqrt (/ y (sinh y))))

series398.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(sqrt (/ y (sinh y)))
100.0ms
(/ y (sinh y))
98.0ms
(/ y (sinh y))
117.0ms
(/ (/ (cos x) (sqrt (/ y (sinh y)))) (sqrt (/ y (sinh y))))

simplify2.7s

Counts
1135 → 1135
Iterations

Useful iterations: done (2.6s)

IterNodesCost
0183436861
1403034263
done500032294

prune4.1s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ y (sinh y))
0.0b
(/ y (sinh y))
0.0b
(cbrt (/ y (sinh y)))
0.0b
(cbrt (/ y (sinh y)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
36×times-frac
34×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
28×cbrt-prod
8×add-exp-log add-cbrt-cube
6×associate-/r* associate-/l*
4×pow1 sinh-def associate-/r/ div-inv add-log-exp
2×cbrt-undiv cbrt-div frac-2neg pow1/3 div-exp clear-num
Counts
4 → 102
Calls
4 calls:
9.0ms
(/ y (sinh y))
5.0ms
(/ y (sinh y))
3.0ms
(cbrt (/ y (sinh y)))
3.0ms
(cbrt (/ y (sinh y)))

series688.0ms

Counts
4 → 12
Calls
4 calls:
99.0ms
(/ y (sinh y))
100.0ms
(/ y (sinh y))
247.0ms
(cbrt (/ y (sinh y)))
242.0ms
(cbrt (/ y (sinh y)))

simplify1.9s

Counts
114 → 114
Iterations

Useful iterations: done (1.9s)

IterNodesCost
01251170
12111110
24391052
310211026
433211014
done5002982

prune525.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes49.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01016
11214
done1214

end0.0ms

sample2.1s

Algorithm
intervals
Results
786.0ms3006×body1280valid
372.0ms2370×body640valid
317.0ms8504×body80valid
139.0ms1260×body320valid
46.0ms613×body160valid