Details

Time bar (total: 12.8s)

sample96.0ms

Algorithm
intervals
Results
53.0ms751×body80valid

simplify914.0ms

Counts
1 → 1

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.0b

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite57.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)
30.0ms
(* (cosh x) (/ y x))
20.0ms
(/ (* (cosh x) (/ y x)) z)

series385.0ms

Counts
3 → 9
Calls
3 calls:
66.0ms
(cosh x)
135.0ms
(* (cosh x) (/ y x))
184.0ms
(/ (* (cosh x) (/ y x)) z)

simplify841.0ms

Counts
77 → 77

prune282.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (exp x) (exp (- x)))
0.0b
(* (+ (exp x) (exp (- x))) y)
6.2b
(/ (* (+ (exp x) (exp (- x))) y) (* z (* 2 x)))

rewrite157.0ms

Algorithm
rewrite-expression-head
Rules
26×add-exp-log add-cbrt-cube
10×prod-exp cbrt-unprod
9×*-un-lft-identity
7×add-sqr-sqrt
6×cbrt-undiv div-exp
5×pow1 add-cube-cbrt add-log-exp
4×associate-*l* associate-*l/
3×flip3-+ associate-*r* flip-+
2×associate-/l/ distribute-lft-out
1×+-commutative frac-2neg times-frac pow-prod-down clear-num associate-/r* sum-log *-commutative div-inv associate-/l* unswap-sqr
Counts
3 → 60
Calls
3 calls:
13.0ms
(+ (exp x) (exp (- x)))
90.0ms
(* (+ (exp x) (exp (- x))) y)
52.0ms
(/ (* (+ (exp x) (exp (- x))) y) (* z (* 2 x)))

series268.0ms

Counts
3 → 9
Calls
3 calls:
26.0ms
(+ (exp x) (exp (- x)))
91.0ms
(* (+ (exp x) (exp (- x))) y)
151.0ms
(/ (* (+ (exp x) (exp (- x))) y) (* z (* 2 x)))

simplify1.1s

Counts
69 → 69

prune303.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (exp x) (exp (- x)))
0.0b
(/ (* (+ (exp x) (exp (- x))) y) z)
0.0b
(* (+ (exp x) (exp (- x))) y)
5.4b
(/ (/ (* (+ (exp x) (exp (- x))) y) z) (* 2 x))

rewrite151.0ms

Algorithm
rewrite-expression-head
Rules
32×add-exp-log add-cbrt-cube
16×*-un-lft-identity times-frac
14×add-sqr-sqrt
12×cbrt-undiv add-cube-cbrt div-exp
8×associate-/l*
7×prod-exp cbrt-unprod
6×pow1 add-log-exp
4×associate-*l* associate-*l/ associate-/r* div-inv
3×flip3-+ associate-*r* flip-+ associate-/l/
2×frac-2neg clear-num distribute-lft-out
1×+-commutative pow-prod-down sum-log *-commutative unswap-sqr
Counts
4 → 94
Calls
4 calls:
22.0ms
(+ (exp x) (exp (- x)))
28.0ms
(/ (* (+ (exp x) (exp (- x))) y) z)
63.0ms
(* (+ (exp x) (exp (- x))) y)
34.0ms
(/ (/ (* (+ (exp x) (exp (- x))) y) z) (* 2 x))

series361.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(+ (exp x) (exp (- x)))
99.0ms
(/ (* (+ (exp x) (exp (- x))) y) z)
74.0ms
(* (+ (exp x) (exp (- x))) y)
152.0ms
(/ (/ (* (+ (exp x) (exp (- x))) y) z) (* 2 x))

simplify1.0s

Counts
106 → 106

prune418.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (* (+ (exp x) (exp (- x))) y) z)
0.0b
(+ (exp x) (exp (- x)))
0.0b
(* (+ (exp x) (exp (- x))) y)
5.5b
(* (/ (* (+ (exp x) (exp (- x))) y) z) (/ 1 (* 2 x)))

rewrite233.0ms

Algorithm
rewrite-expression-head
Rules
89×add-exp-log
47×add-cbrt-cube
39×prod-exp
28×div-exp
17×cbrt-unprod
16×add-sqr-sqrt *-un-lft-identity
14×cbrt-undiv
12×add-cube-cbrt
11×associate-*l*
10×associate-*r*
9×times-frac
8×pow1
6×rec-exp 1-exp add-log-exp
5×associate-*l/
3×flip3-+ associate-/r* flip-+ div-inv
2×pow-prod-down *-commutative associate-/l/ distribute-lft-out unswap-sqr
1×+-commutative frac-times frac-2neg associate-*r/ clear-num sum-log un-div-inv associate-/l*
Counts
4 → 114
Calls
4 calls:
25.0ms
(/ (* (+ (exp x) (exp (- x))) y) z)
13.0ms
(+ (exp x) (exp (- x)))
75.0ms
(* (+ (exp x) (exp (- x))) y)
112.0ms
(* (/ (* (+ (exp x) (exp (- x))) y) z) (/ 1 (* 2 x)))

series726.0ms

Counts
4 → 12
Calls
4 calls:
428.0ms
(/ (* (+ (exp x) (exp (- x))) y) z)
26.0ms
(+ (exp x) (exp (- x)))
90.0ms
(* (+ (exp x) (exp (- x))) y)
181.0ms
(* (/ (* (+ (exp x) (exp (- x))) y) z) (/ 1 (* 2 x)))

simplify1.2s

Counts
126 → 126

prune357.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

regimes221.0ms

Accuracy

94.4% (0.4b remaining)

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

bsearch194.0ms

Steps
ItersRangePoint
8
6.2284567409941875e-52
1.511783599993348e-48
1.4817404865213e-48
10
-5.851402944006723e+27
-6.273479761754129e+16
-1.3476409820386945e+20

simplify1.1s

end0.0ms

sample2.3s

Algorithm
intervals
Results
1.2s22306×body80valid