Details

Time bar (total: 13.7s)

sample112.0ms

Algorithm
intervals
Results
62.0ms749×body80valid

simplify1.8s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
1188
2418
31028
42268
55088
618988
done50008

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.5b

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite62.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:
23.0ms
(* (cosh x) (/ y x))
37.0ms
(/ (* (cosh x) (/ y x)) z)

series279.0ms

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

simplify1.3s

Counts
70 → 70
Iterations

Useful iterations: done (1.3s)

IterNodesCost
0141739
1354701
21584606
done5000600

prune192.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 2 expressions with local error:

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

rewrite41.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:
15.0ms
(* (cosh x) y)
24.0ms
(/ (* (cosh x) y) (* z x))

series284.0ms

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

simplify817.0ms

Counts
51 → 51
Iterations

Useful iterations: 2 (232.0ms)

IterNodesCost
0106512
1284493
21551397
done5000397

prune150.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 3 expressions with local error:

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

rewrite57.0ms

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

series360.0ms

Counts
3 → 9
Calls
3 calls:
75.0ms
(* (cosh x) y)
119.0ms
(/ (* (cosh x) y) z)
165.0ms
(/ (/ (* (cosh x) y) z) x)

simplify1.1s

Counts
104 → 104
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01801153
14451102
22278999
done5000989

prune379.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (cosh x) y)
0.0b
(/ (* (cosh x) y) z)
5.3b
(* (/ (* (cosh x) y) z) (/ 1 x))

rewrite78.0ms

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

series335.0ms

Counts
3 → 9
Calls
3 calls:
78.0ms
(* (cosh x) y)
112.0ms
(/ (* (cosh x) y) z)
146.0ms
(* (/ (* (cosh x) y) z) (/ 1 x))

simplify3.0s

Counts
110 → 110
Iterations

Useful iterations: done (3.0s)

IterNodesCost
01921281
15511172
23613940
done5001928

prune280.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes157.0ms

Accuracy

88% (0.8b remaining)

Error of 0.9b against oracle of 0.0b and baseline of 7.0b

bsearch127.0ms

Steps
ItersRangePoint
8
2.0961804712629655e-72
1.9571072620604557e-68
1.9092807616058557e-68
6
-7.141856567206707e+81
-9.593165182687808e+80
-9.805921840000082e+80

simplify6.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
02238
12931
done2931

end0.0ms

sample2.7s

Algorithm
intervals
Results
1.6s22555×body80valid