Details

Time bar (total: 19.5s)

sample86.0ms

Algorithm
intervals
Results
45.0ms643×body80valid

simplify7.3s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
1188
2418
31028
42248
53778
65928
712288
834768
done50008

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.8b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (cosh x) (/ y x))
6.4b
(/ (* (cosh x) (/ y x)) z)

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
16×add-exp-log add-cbrt-cube
13×times-frac associate-*r*
12×add-cube-cbrt *-un-lft-identity
5×cbrt-undiv div-exp
4×pow1 cosh-def prod-exp cbrt-unprod
3×associate-*l* associate-/r* associate-/l/
2×expm1-log1p-u frac-times associate-*r/ associate-*l/ log1p-expm1-u div-inv add-log-exp unswap-sqr
1×frac-2neg pow-prod-down clear-num *-commutative associate-/l*
Counts
2 → 64
Calls
2 calls:
16.0ms
(* (cosh x) (/ y x))
27.0ms
(/ (* (cosh x) (/ y x)) z)

series283.0ms

Counts
2 → 6
Calls
2 calls:
112.0ms
(* (cosh x) (/ y x))
171.0ms
(/ (* (cosh x) (/ y x)) z)

simplify1.4s

Counts
70 → 70
Iterations

Useful iterations: 2 (209.0ms)

IterNodesCost
0141739
1338701
21303600
done5000600

prune266.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 2 expressions with local error:

0.5b
(/ (cosh x) (/ x (/ y z)))
5.5b
(/ x (/ y z))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
471×times-frac
229×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
57×associate-/r*
22×div-inv
16×add-exp-log add-cbrt-cube
9×cbrt-undiv div-exp
6×associate-/r/ associate-/l*
2×pow1 expm1-log1p-u frac-2neg clear-num log1p-expm1-u add-log-exp
1×cosh-def associate-/l/
Counts
2 → 271
Calls
2 calls:
25.0ms
(/ (cosh x) (/ x (/ y z)))
10.0ms
(/ x (/ y z))

series187.0ms

Counts
2 → 6
Calls
2 calls:
163.0ms
(/ (cosh x) (/ x (/ y z)))
24.0ms
(/ x (/ y z))

simplify2.3s

Counts
277 → 277
Iterations

Useful iterations: 2 (984.0ms)

IterNodesCost
04914840
110724447
243954295
done50014295

prune1.2s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (cosh x) y)
6.3b
(/ (* (cosh x) y) (* z x))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
16×add-exp-log add-cbrt-cube
6×add-sqr-sqrt
5×prod-exp cbrt-unprod
4×pow1 cbrt-undiv add-cube-cbrt *-un-lft-identity div-exp
3×associate-*r* associate-*l*
2×expm1-log1p-u cosh-def associate-*l/ log1p-expm1-u add-log-exp
1×frac-2neg times-frac pow-prod-down clear-num associate-/r* *-commutative div-inv associate-/l/ associate-/l* unswap-sqr
Counts
2 → 45
Calls
2 calls:
8.0ms
(* (cosh x) y)
18.0ms
(/ (* (cosh x) y) (* z x))

series231.0ms

Counts
2 → 6
Calls
2 calls:
93.0ms
(* (cosh x) y)
139.0ms
(/ (* (cosh x) y) (* z x))

simplify873.0ms

Counts
51 → 51
Iterations

Useful iterations: 2 (211.0ms)

IterNodesCost
0106512
1271493
21228397
done5001397

prune171.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (cosh x) y)
0.2b
(* (* (cosh x) y) (/ 1 x))
6.4b
(/ (* (* (cosh x) y) (/ 1 x)) z)

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
59×add-exp-log
35×add-cbrt-cube
25×prod-exp
17×div-exp
16×add-sqr-sqrt associate-*r*
14×add-cube-cbrt *-un-lft-identity
13×cbrt-unprod
12×times-frac
10×pow1
9×cbrt-undiv
7×associate-*l/
5×cosh-def
4×rec-exp 1-exp associate-*l* pow-prod-down associate-/l/
3×expm1-log1p-u associate-/r* log1p-expm1-u add-log-exp
2×frac-times associate-*r/ un-div-inv *-commutative div-inv
1×frac-2neg clear-num associate-/l* unswap-sqr
Counts
3 → 100
Calls
3 calls:
16.0ms
(* (cosh x) y)
40.0ms
(* (* (cosh x) y) (/ 1 x))
28.0ms
(/ (* (* (cosh x) y) (/ 1 x)) z)

series364.0ms

Counts
3 → 9
Calls
3 calls:
94.0ms
(* (cosh x) y)
110.0ms
(* (* (cosh x) y) (/ 1 x))
160.0ms
(/ (* (* (cosh x) y) (/ 1 x)) z)

simplify1.5s

Counts
109 → 109
Iterations

Useful iterations: 2 (433.0ms)

IterNodesCost
01901264
14781044
21753835
done5000835

prune313.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0b

regimes199.0ms

Accuracy

86.6% (0.8b remaining)

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

bsearch126.0ms

Steps
ItersRangePoint
9
1.0312546939307916e-41
2.663753937486077e-36
1.580946681139866e-36
6
-1.2914149103236554e+107
-1.648440985139046e+106
-1.6696755632011837e+106

simplify6.0ms

Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
02238
12931
done2931

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.1s22250×body80valid