Details

Time bar (total: 33.9s)

sample100.0ms

Algorithm
intervals
Results
53.0ms689×body80valid

simplify8.3s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
1188
2418
31028
42208
53688
65748
711868
834108
done50008

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.1b

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(cosh x)
0.2b
(* (cosh x) (/ y x))
7.3b
(/ (* (cosh x) (/ y x)) z)

rewrite51.0ms

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

series359.0ms

Counts
3 → 9
Calls
3 calls:
58.0ms
(cosh x)
129.0ms
(* (cosh x) (/ y x))
172.0ms
(/ (* (cosh x) (/ y x)) z)

simplify1.8s

Counts
77 → 77
Iterations

Useful iterations: 2 (300.0ms)

IterNodesCost
0150773
1355735
21349631
done5001631

prune320.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.3b

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(cosh x)
0.6b
(/ (cosh x) (* z (/ x y)))
6.8b
(* z (/ x y))

rewrite59.0ms

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

series308.0ms

Counts
3 → 9
Calls
3 calls:
71.0ms
(cosh x)
210.0ms
(/ (cosh x) (* z (/ x y)))
27.0ms
(* z (/ x y))

simplify2.8s

Counts
74 → 74
Iterations

Useful iterations: 2 (215.0ms)

IterNodesCost
0141694
1333665
21018567
34338567
done5001567

prune243.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.3b

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(cosh x)
0.2b
(/ (cosh x) z)
7.0b
(/ (/ (cosh x) z) (/ x y))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
430×times-frac
207×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
30×div-inv
17×add-exp-log add-cbrt-cube
16×associate-/r* associate-/l*
9×cbrt-undiv div-exp
3×pow1 add-log-exp
2×cosh-def frac-2neg clear-num associate-/l/
1×associate-/r/
Counts
3 → 251
Calls
3 calls:
1.0ms
(cosh x)
8.0ms
(/ (cosh x) z)
34.0ms
(/ (/ (cosh x) z) (/ x y))

series385.0ms

Counts
3 → 9
Calls
3 calls:
68.0ms
(cosh x)
95.0ms
(/ (cosh x) z)
222.0ms
(/ (/ (cosh x) z) (/ x y))

simplify2.1s

Counts
260 → 260
Iterations

Useful iterations: 2 (1.1s)

IterNodesCost
04834824
113024506
246474342
done50014342

prune909.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.2b

localize51.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)
1.7b
(* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (/ (/ (cbrt (cosh x)) z) (/ (cbrt x) (cbrt y))))

rewrite790.0ms

Algorithm
rewrite-expression-head
Rules
2557×times-frac
1271×add-sqr-sqrt
1212×cbrt-prod
1080×add-cube-cbrt *-un-lft-identity
885×associate-*r*
357×add-exp-log
178×cbrt-undiv div-exp
161×add-cbrt-cube
120×prod-exp cbrt-unprod
65×div-inv
48×unswap-sqr
10×associate-*l*
6×pow1
4×add-log-exp
3×pow1/3
2×associate-/r/
1×frac-times associate-*r/ pow-prod-down associate-*l/ *-commutative
Counts
4 → 1098
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)
595.0ms
(* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (/ (/ (cbrt (cosh x)) z) (/ (cbrt x) (cbrt y))))

series1.3s

Counts
4 → 12
Calls
4 calls:
287.0ms
(cbrt y)
278.0ms
(cbrt y)
266.0ms
(cbrt y)
454.0ms
(* (/ (* (cbrt (cosh x)) (cbrt (cosh x))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (/ (/ (cbrt (cosh x)) z) (/ (cbrt x) (cbrt y))))

simplify3.4s

Counts
1110 → 1110
Iterations

Useful iterations: done (3.3s)

IterNodesCost
0216342242
done500140722

prune7.7s

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.2b

regimes361.0ms

Accuracy

88.2% (0.3b remaining)

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

bsearch2.0ms

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
02052
12840
done2840

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.2s22409×body80valid