Details

Time bar (total: 14.6s)

sample44.0ms

Algorithm
intervals
Results
25.0ms765×body80valid

simplify2.3s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
078
1188
2408
3998
42158
53678
66118
714418
835018
done50008

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.0b

localize12.0ms

Local error

Found 2 expressions with local error:

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

rewrite14.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×frac-times associate-*r/ associate-*l/ div-inv add-log-exp unswap-sqr
1×frac-2neg pow-prod-down clear-num *-commutative associate-/l*
Counts
2 → 60
Calls
2 calls:
7.0ms
(* (cosh x) (/ y x))
5.0ms
(/ (* (cosh x) (/ y x)) z)

series191.0ms

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

simplify518.0ms

Counts
66 → 66
Iterations

Useful iterations: 2 (173.0ms)

IterNodesCost
0137707
1344670
21299570
done5000570

prune144.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 2 expressions with local error:

0.3b
(/ (cosh x) (* z (/ x y)))
5.2b
(* z (/ x y))

rewrite14.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 prod-exp cbrt-unprod
3×associate-*l* associate-/l*
2×associate-*r/ div-inv add-log-exp unswap-sqr
1×cosh-def frac-2neg pow-prod-down clear-num associate-/r* associate-/r/ *-commutative associate-/l/
Counts
2 → 57
Calls
2 calls:
5.0ms
(/ (cosh x) (* z (/ x y)))
7.0ms
(* z (/ x y))

series158.0ms

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

simplify1.4s

Counts
63 → 63
Iterations

Useful iterations: 2 (102.0ms)

IterNodesCost
0128628
1321600
21009506
34383506
done5000506

prune140.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite28.0ms

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

series195.0ms

Counts
2 → 6
Calls
2 calls:
55.0ms
(/ (cosh x) z)
140.0ms
(/ (/ (cosh x) z) (/ x y))

simplify811.0ms

Counts
249 → 249
Iterations

Useful iterations: done (803.0ms)

IterNodesCost
04744758
113634441
done50004377

prune635.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
1.2b
(* (/ (sqrt (cosh x)) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (/ (/ (sqrt (cosh x)) z) (/ (cbrt x) (cbrt y))))

rewrite697.0ms

Algorithm
rewrite-expression-head
Rules
2709×times-frac
1472×add-sqr-sqrt
1095×add-cube-cbrt *-un-lft-identity
885×associate-*r*
861×cbrt-prod
432×sqrt-prod
177×add-exp-log
113×add-cbrt-cube
93×cbrt-undiv div-exp
80×unswap-sqr
70×div-inv
50×prod-exp cbrt-unprod
35×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 → 1105
Calls
4 calls:
0.0ms
(cbrt x)
0.0ms
(cbrt x)
1.0ms
(cbrt x)
551.0ms
(* (/ (sqrt (cosh x)) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (/ (/ (sqrt (cosh x)) z) (/ (cbrt x) (cbrt y))))

series643.0ms

Counts
4 → 12
Calls
4 calls:
175.0ms
(cbrt x)
176.0ms
(cbrt x)
176.0ms
(cbrt x)
116.0ms
(* (/ (sqrt (cosh x)) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (/ (/ (sqrt (cosh x)) z) (/ (cbrt x) (cbrt y))))

simplify479.0ms

Counts
1117 → 1117
Iterations

Useful iterations: 0 (107.0ms)

IterNodesCost
0187138327
done500138327

prune4.8s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

regimes146.0ms

Accuracy

86.4% (0.3b remaining)

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

bsearch102.0ms

Steps
ItersRangePoint
10
1.3896786487220964e-12
2942.2625356967415
2.5442302778414774e-06
8
-9.35262946847106e-57
-6.716735875268097e-60
-5.907375773318025e-57

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01834
12725
done2725

end0.0ms

sample1.1s

Algorithm
intervals
Results
638.0ms22378×body80valid