Details

Time bar (total: 16.9s)

sample70.0ms

Algorithm
intervals
Results
39.0ms699×body80valid

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
done5000
61941
5509
4226
3102
241
118
07

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.3b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ y (/ x (cosh x)))
0.0b
(/ x (cosh x))
7.8b
(/ (/ y (/ x (cosh x))) z)

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
504×times-frac
246×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
53×associate-/l*
23×div-inv
22×associate-/r/
20×associate-/r*
19×add-cbrt-cube add-exp-log
17×cosh-def
10×cbrt-undiv div-exp
3×expm1-log1p-u pow1 clear-num frac-2neg log1p-expm1-u add-log-exp
1×associate-/l/
Counts
3 → 316
Calls
3 calls:
10.0ms
(/ y (/ x (cosh x)))
4.0ms
(/ x (cosh x))
26.0ms
(/ (/ y (/ x (cosh x))) z)

series419.0ms

Counts
3 → 9
Calls
3 calls:
111.0ms
(/ y (/ x (cosh x)))
112.0ms
(/ x (cosh x))
195.0ms
(/ (/ y (/ x (cosh x))) z)

simplify747.0ms

Counts
325 → 325
Iterations
IterNodes
done5000
11437
0542

prune1.9s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt z)
0.5b
(cbrt z)
0.6b
(* (cbrt z) (cbrt z))
4.1b
(* (/ (/ 1 x) (* (cbrt z) (cbrt z))) (/ (* y (cosh x)) (cbrt z)))

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
129×add-exp-log
54×div-exp
51×add-cbrt-cube
49×prod-exp
42×add-sqr-sqrt
33×times-frac
28×cbrt-undiv
27×cbrt-unprod
26×*-un-lft-identity
25×cbrt-prod add-cube-cbrt
23×associate-*l*
16×associate-*r*
13×pow1
8×pow1/3 unswap-sqr
6×rec-exp 1-exp swap-sqr
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-prod-down div-inv
2×pow-sqr *-commutative pow-prod-up
1×pow2 frac-times pow-plus associate-*l/ associate-*r/
Counts
4 → 155
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
9.0ms
(* (cbrt z) (cbrt z))
82.0ms
(* (/ (/ 1 x) (* (cbrt z) (cbrt z))) (/ (* y (cosh x)) (cbrt z)))

series1.1s

Counts
4 → 12
Calls
4 calls:
316.0ms
(cbrt z)
275.0ms
(cbrt z)
279.0ms
(* (cbrt z) (cbrt z))
199.0ms
(* (/ (/ 1 x) (* (cbrt z) (cbrt z))) (/ (* y (cosh x)) (cbrt z)))

simplify543.0ms

Counts
167 → 167
Iterations
IterNodes
done5000
1829
0257

prune927.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite53.0ms

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

series474.0ms

Counts
3 → 9
Calls
3 calls:
182.0ms
(* z (/ x (cosh x)))
87.0ms
(/ x (cosh x))
205.0ms
(/ y (* z (/ x (cosh x))))

simplify848.0ms

Counts
100 → 100
Iterations
IterNodes
done5000
21712
1409
0165

prune525.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(cbrt (cosh x))
0.0b
(* (cbrt (cosh x)) (cbrt (cosh x)))
0.0b
(/ (/ x (* (cbrt (cosh x)) (cbrt (cosh x)))) (cbrt (cosh x)))
5.1b
(/ y (* z (/ (/ x (* (cbrt (cosh x)) (cbrt (cosh x)))) (cbrt (cosh x)))))

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
59×add-sqr-sqrt
52×cbrt-prod
51×*-un-lft-identity add-cube-cbrt
35×add-exp-log
34×cbrt-div cosh-def
23×add-cbrt-cube associate-/r/
15×cbrt-undiv div-exp
13×associate-/l*
11×pow1
9×associate-*r/ div-inv
8×frac-times associate-*l/
7×associate-/r* pow1/3 prod-exp cbrt-unprod
6×swap-sqr associate-*r* associate-*l*
4×expm1-log1p-u log1p-expm1-u add-log-exp unswap-sqr
2×clear-num frac-2neg pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus *-commutative associate-/l/
Counts
4 → 185
Calls
4 calls:
1.0ms
(cbrt (cosh x))
10.0ms
(* (cbrt (cosh x)) (cbrt (cosh x)))
24.0ms
(/ (/ x (* (cbrt (cosh x)) (cbrt (cosh x)))) (cbrt (cosh x)))
51.0ms
(/ y (* z (/ (/ x (* (cbrt (cosh x)) (cbrt (cosh x)))) (cbrt (cosh x)))))

series912.0ms

Counts
4 → 12
Calls
4 calls:
186.0ms
(cbrt (cosh x))
381.0ms
(* (cbrt (cosh x)) (cbrt (cosh x)))
121.0ms
(/ (/ x (* (cbrt (cosh x)) (cbrt (cosh x)))) (cbrt (cosh x)))
223.0ms
(/ y (* z (/ (/ x (* (cbrt (cosh x)) (cbrt (cosh x)))) (cbrt (cosh x)))))

simplify2.3s

Counts
197 → 197
Iterations
IterNodes
done5001
24172
1840
0325

prune1.0s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes307.0ms

Accuracy

90.7% (0.6b remaining)

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

bsearch104.0ms

Steps
ItersRangePoint
5
1.2790266617330037e-96
4.5988542204754404e-96
4.489894380771519e-96
7
-2.6787974459236572e-15
-5.10986653714767e-17
-2.560829197112517e-15

simplify2.0ms

Iterations
IterNodes
done23
123
019

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.7s22046×body80valid