Details

Time bar (total: 16.9s)

sample90.0ms

Algorithm
intervals
Results
43.0ms704×body80valid

simplify1.4s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
1188
2418
31028
42228
55008
618898
done50008

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.0b

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite44.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:
22.0ms
(* (cosh x) (/ y x))
20.0ms
(/ (* (cosh x) (/ y x)) z)

series246.0ms

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

simplify1.2s

Counts
66 → 66
Iterations

Useful iterations: done (1.2s)

IterNodesCost
0137707
1347670
21562584
done5001570

prune221.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 3 expressions with local error:

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

rewrite143.0ms

Algorithm
rewrite-expression-head
Rules
173×times-frac
70×*-un-lft-identity
68×add-sqr-sqrt add-cube-cbrt
33×add-exp-log add-cbrt-cube
19×associate-/l*
17×cbrt-undiv div-exp
16×associate-/r*
12×div-inv
5×associate-/r/ add-log-exp
4×prod-exp cbrt-unprod
3×pow1 associate-/l/
2×frac-2neg flip3-+ associate-*r/ clear-num flip-+
1×+-commutative sum-log distribute-lft-out
Counts
3 → 156
Calls
3 calls:
23.0ms
(+ (exp (- x)) (exp x))
38.0ms
(/ (* 1/2 (+ (exp (- x)) (exp x))) (/ x y))
74.0ms
(/ (/ (* 1/2 (+ (exp (- x)) (exp x))) (/ x y)) z)

series220.0ms

Counts
3 → 9
Calls
3 calls:
27.0ms
(+ (exp (- x)) (exp x))
82.0ms
(/ (* 1/2 (+ (exp (- x)) (exp x))) (/ x y))
110.0ms
(/ (/ (* 1/2 (+ (exp (- x)) (exp x))) (/ x y)) z)

simplify549.0ms

Counts
165 → 165
Iterations

Useful iterations: done (539.0ms)

IterNodesCost
03243237
19513077
done50012809

prune744.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize59.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
1.3b
(/ (/ 1/2 (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (cbrt z) (cbrt z)))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
60×add-exp-log
56×times-frac
32×add-cbrt-cube
30×cbrt-undiv div-exp
25×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
20×associate-/l*
14×prod-exp cbrt-unprod
9×cbrt-prod div-inv
4×pow1 add-log-exp
3×pow1/3
2×associate-/r/
1×frac-2neg clear-num associate-/r* associate-/l/
Counts
4 → 109
Calls
4 calls:
2.0ms
(cbrt x)
2.0ms
(cbrt x)
2.0ms
(cbrt x)
45.0ms
(/ (/ 1/2 (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (cbrt z) (cbrt z)))

series1.1s

Counts
4 → 12
Calls
4 calls:
284.0ms
(cbrt x)
270.0ms
(cbrt x)
306.0ms
(cbrt x)
234.0ms
(/ (/ 1/2 (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (* (cbrt z) (cbrt z)))

simplify1.8s

Counts
121 → 121
Iterations

Useful iterations: done (1.8s)

IterNodesCost
02492315
17142219
236021732
done50021624

prune786.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 3 expressions with local error:

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

rewrite229.0ms

Algorithm
rewrite-expression-head
Rules
29×add-exp-log add-cbrt-cube
19×add-sqr-sqrt
16×*-un-lft-identity times-frac
14×add-cube-cbrt
13×associate-*r*
9×cbrt-undiv div-exp prod-exp cbrt-unprod
7×associate-*l*
5×pow1 add-log-exp
3×associate-*r/ associate-/r* div-inv
2×flip3-+ flip-+ associate-/l/ unswap-sqr
1×+-commutative frac-times frac-2neg pow-prod-down associate-*l/ clear-num sum-log *-commutative distribute-lft-out associate-/l*
Counts
3 → 81
Calls
3 calls:
20.0ms
(+ (exp (- x)) (exp x))
59.0ms
(/ (* 1/2 (+ (exp (- x)) (exp x))) x)
147.0ms
(* (/ (* 1/2 (+ (exp (- x)) (exp x))) x) (/ y z))

series216.0ms

Counts
3 → 9
Calls
3 calls:
27.0ms
(+ (exp (- x)) (exp x))
72.0ms
(/ (* 1/2 (+ (exp (- x)) (exp x))) x)
116.0ms
(* (/ (* 1/2 (+ (exp (- x)) (exp x))) x) (/ y z))

simplify4.1s

Counts
90 → 90
Iterations

Useful iterations: 2 (1.4s)

IterNodesCost
01821517
15761432
247431186
done50011186

prune337.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

regimes204.0ms

Accuracy

81.8% (1.3b remaining)

Error of 1.4b against oracle of 0.0b and baseline of 7.3b

bsearch204.0ms

Steps
ItersRangePoint
9
3.0378925307055457e+27
2.8772910639701743e+34
2.6250898118978766e+28
7
-4.765656100776285e+142
-1.111485238519238e+141
-1.1278466076747393e+141

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02849
13649
done3649

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.8s22397×body80valid