Details

Time bar (total: 34.7s)

sample132.0ms

Algorithm
intervals
Results
51.0ms103×body1280valid
25.0ms72×body640valid
19.0ms258×body80valid
8.0ms34×body320valid
3.0ms17×body160valid

simplify3.0s

Counts
1 → 1
Iterations
IterNodes
done5001
71888
6631
5245
4128
365
230
115
06

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 1 expressions with local error:

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

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×associate-*r*
10×times-frac
9×*-un-lft-identity add-cube-cbrt
6×add-cbrt-cube add-exp-log
3×pow1 associate-*l*
2×prod-exp cbrt-unprod unswap-sqr
1×expm1-log1p-u cbrt-undiv div-exp pow-prod-down associate-*r/ *-commutative log1p-expm1-u div-inv add-log-exp
Counts
1 → 34
Calls
1 calls:
19.0ms
(* (sin x) (/ (sinh y) y))

series142.0ms

Counts
1 → 3
Calls
1 calls:
142.0ms
(* (sin x) (/ (sinh y) y))

simplify2.4s

Counts
37 → 37
Iterations
IterNodes
done5019
33386
2872
1265
099

prune169.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (/ (sinh y) y))
0.0b
(sqrt (/ (sinh y) y))
0.0b
(* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))
0.0b
(* (sin x) (sqrt (/ (sinh y) y)))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
54×sqrt-prod
48×add-sqr-sqrt
39×times-frac
35×*-un-lft-identity add-cube-cbrt
32×associate-*r*
13×pow1
11×add-cbrt-cube add-exp-log
7×sqrt-div
4×expm1-log1p-u rem-sqrt-square associate-*l* pow-prod-down prod-exp associate-*r/ cbrt-unprod log1p-expm1-u div-inv add-log-exp
3×unswap-sqr
2×sqrt-pow1 pow1/2 *-commutative
1×frac-times associate-*l/
Counts
4 → 126
Calls
4 calls:
4.0ms
(sqrt (/ (sinh y) y))
4.0ms
(sqrt (/ (sinh y) y))
66.0ms
(* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))
26.0ms
(* (sin x) (sqrt (/ (sinh y) y)))

series708.0ms

Counts
4 → 12
Calls
4 calls:
135.0ms
(sqrt (/ (sinh y) y))
120.0ms
(sqrt (/ (sinh y) y))
197.0ms
(* (* (sin x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))
256.0ms
(* (sin x) (sqrt (/ (sinh y) y)))

simplify4.4s

Counts
138 → 138
Iterations
IterNodes
done5000
24654
11153
0390

prune926.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize65.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (sin x) (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y)))))
0.0b
(cbrt (sqrt (/ (sinh y) y)))
0.0b
(cbrt (sqrt (/ (sinh y) y)))
0.0b
(cbrt (sqrt (/ (sinh y) y)))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
48×cbrt-prod
39×sqrt-prod
30×add-sqr-sqrt
29×*-un-lft-identity add-cube-cbrt
27×times-frac
9×pow1 add-exp-log
7×cbrt-div add-cbrt-cube sqrt-div
4×expm1-log1p-u associate-*r/ log1p-expm1-u add-log-exp
3×pow1/3 associate-*l* pow-prod-down prod-exp cbrt-unprod div-inv
1×frac-times associate-*r* associate-*l/ *-commutative unswap-sqr
Counts
4 → 105
Calls
4 calls:
36.0ms
(* (sin x) (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y)))))
4.0ms
(cbrt (sqrt (/ (sinh y) y)))
5.0ms
(cbrt (sqrt (/ (sinh y) y)))
5.0ms
(cbrt (sqrt (/ (sinh y) y)))

series1.6s

Counts
4 → 12
Calls
4 calls:
654.0ms
(* (sin x) (* (cbrt (sqrt (/ (sinh y) y))) (cbrt (sqrt (/ (sinh y) y)))))
353.0ms
(cbrt (sqrt (/ (sinh y) y)))
301.0ms
(cbrt (sqrt (/ (sinh y) y)))
284.0ms
(cbrt (sqrt (/ (sinh y) y)))

simplify13.6s

Counts
117 → 117
Iterations
IterNodes
done5001
11228
0389

prune1.4s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes247.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done7
17
06

end0.0ms

sample5.6s

Algorithm
intervals
Results
1.7s3016×body1280valid
1.5s2477×body640valid
1.3s8499×body80valid
354.0ms1281×body320valid
256.0ms642×body160valid