Details

Time bar (total: 40.9s)

sample174.0ms

Algorithm
intervals
Results
126.0ms182×body1280valid
15.0ms282×body80valid
13.0ms39×body640valid
4.0ms19×body320valid
1.0ms7×body160valid

simplify76.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
76.0ms
(+ (- (exp x) 2) (exp (- x)))

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 28.8b

localize25.0ms

Local error

Found 2 expressions with local error:

3.0b
(+ (- (exp x) 2) (exp (- x)))
0.0b
(- (exp x) 2)

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
25×*-un-lft-identity
20×add-sqr-sqrt
18×prod-diff
16×add-cube-cbrt
11×associate-+l+
9×add-log-exp
5×fma-def
4×frac-add
3×flip3-- fma-neg flip-- distribute-lft-out--
2×neg-sub0 exp-neg expm1-log1p-u pow1 sum-log sub-neg add-cbrt-cube exp-diff diff-log add-exp-log insert-posit16 log1p-expm1-u distribute-lft-out difference-of-squares
1×+-commutative flip3-+ associate-+l- flip-+
Counts
2 → 67
Calls
2 calls:
Slowest
68.0ms
(+ (- (exp x) 2) (exp (- x)))
9.0ms
(- (exp x) 2)

series99.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
86.0ms
(+ (- (exp x) 2) (exp (- x)))
13.0ms
(- (exp x) 2)

simplify3.5s

Counts
57 → 73
Calls
57 calls:
Slowest
494.0ms
(+ (* (- (* (exp x) (exp x)) (* 2 2)) (exp x)) (* (+ (exp x) 2) (exp 0)))
310.0ms
(+ (* (- (pow (exp x) 3) (pow 2 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) 1))
206.0ms
(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))
202.0ms
(+ (* (- (pow (exp x) 3) (pow 2 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) (exp 0)))
180.0ms
(- (+ (exp (* -1 x)) (exp x)) 2)

prune733.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) (* x x))
0.1b
(* (* x x) (* x x))
0.1b
(* (* (* x x) (* x x)) 1/360)
0.0b
(fma (* (* (* x x) (* x x)) 1/360) (* x x) (fma (* (* x x) (* x x)) 1/12 (* x x)))

rewrite157.0ms

Algorithm
rewrite-expression-head
Rules
244×pow1
72×pow-prod-up
59×pow-prod-down
46×add-cbrt-cube add-exp-log
44×pow-sqr
36×pow-plus
29×prod-exp cbrt-unprod
26×pow2
6×add-sqr-sqrt
5×*-un-lft-identity associate-*r* add-cube-cbrt
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-*l* *-commutative unswap-sqr
2×swap-sqr
1×fma-udef
Counts
4 → 174
Calls
4 calls:
Slowest
92.0ms
(* (* (* x x) (* x x)) 1/360)
35.0ms
(* (* x x) (* x x))
26.0ms
(* (* x x) (* x x))
0.0ms
(fma (* (* (* x x) (* x x)) 1/360) (* x x) (fma (* (* x x) (* x x)) 1/12 (* x x)))

series251.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
91.0ms
(fma (* (* (* x x) (* x x)) 1/360) (* x x) (fma (* (* x x) (* x x)) 1/12 (* x x)))
70.0ms
(* (* (* x x) (* x x)) 1/360)
53.0ms
(* (* x x) (* x x))
38.0ms
(* (* x x) (* x x))

simplify8.2s

Counts
166 → 186
Calls
166 calls:
Slowest
518.0ms
(* (* (* (* (* x x) x) (* (* x x) x)) (* (* (* x x) (* x x)) (* x x))) (* (* 1/360 1/360) 1/360))
476.0ms
(* (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) x) (* (* x x) x))) (* (* 1/360 1/360) 1/360))
437.0ms
(* (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* x x))) (* (* 1/360 1/360) 1/360))
411.0ms
(* (* (* (* (* x x) x) (* (* x x) x)) (* (* (* x x) x) (* (* x x) x))) (* (* 1/360 1/360) 1/360))
408.0ms
(* (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* (* x x) (* x x))) (* (* 1/360 1/360) 1/360))

prune1.6s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

2.7b
(fma (+ (* (exp x) (exp x)) -3) (exp x) 2)
0.0b
(/ (fma (+ (* (exp x) (exp x)) -3) (exp x) 2) (* (+ (exp x) 2) (exp x)))
0.0b
(* (exp x) (exp x))
0.0b
(* (+ (exp x) 2) (exp x))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
20×*-un-lft-identity
18×exp-prod add-cube-cbrt
13×pow1 add-cbrt-cube
9×add-exp-log
7×associate-*l*
6×associate-*r*
5×pow-prod-down
4×expm1-log1p-u associate-*l/ pow-sqr pow-prod-up insert-posit16 log1p-expm1-u add-log-exp
3×times-frac swap-sqr prod-exp cbrt-unprod associate-/l*
2×cbrt-undiv flip3-+ div-exp associate-/r/ *-commutative flip-+ unswap-sqr
1×pow2 clear-num associate-/r* frac-2neg pow-plus fma-udef div-inv distribute-lft-out
Counts
4 → 98
Calls
4 calls:
Slowest
42.0ms
(* (+ (exp x) 2) (exp x))
27.0ms
(/ (fma (+ (* (exp x) (exp x)) -3) (exp x) 2) (* (+ (exp x) 2) (exp x)))
25.0ms
(* (exp x) (exp x))
1.0ms
(fma (+ (* (exp x) (exp x)) -3) (exp x) 2)

series290.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
162.0ms
(/ (fma (+ (* (exp x) (exp x)) -3) (exp x) 2) (* (+ (exp x) 2) (exp x)))
68.0ms
(fma (+ (* (exp x) (exp x)) -3) (exp x) 2)
36.0ms
(* (+ (exp x) 2) (exp x))
24.0ms
(* (exp x) (exp x))

simplify5.8s

Counts
77 → 110
Calls
77 calls:
Slowest
670.0ms
(* (* (* (+ (exp x) 2) (+ (exp x) 2)) (+ (exp x) 2)) (* (* (exp x) (exp x)) (exp x)))
564.0ms
(* (+ (pow (exp x) 3) (pow 2 3)) (exp x))
439.0ms
(* (- (* (exp x) (exp x)) (* 2 2)) (exp x))
349.0ms
(/ (* (* (fma (+ (* (exp x) (exp x)) -3) (exp x) 2) (fma (+ (* (exp x) (exp x)) -3) (exp x) 2)) (fma (+ (* (exp x) (exp x)) -3) (exp x) 2)) (* (* (* (+ (exp x) 2) (exp x)) (* (+ (exp x) 2) (exp x))) (* (+ (exp x) 2) (exp x))))
335.0ms
(/ (* (* (fma (+ (* (exp x) (exp x)) -3) (exp x) 2) (fma (+ (* (exp x) (exp x)) -3) (exp x) 2)) (fma (+ (* (exp x) (exp x)) -3) (exp x) 2)) (* (* (* (+ (exp x) 2) (+ (exp x) 2)) (+ (exp x) 2)) (* (* (exp x) (exp x)) (exp x))))

prune1.1s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.2b
(fma (* x x) (fma x 4 3) (* (* (* x x) (* x x)) 13/4))
0.1b
(/ (fma (* x x) (fma x 4 3) (* (* (* x x) (* x x)) 13/4)) (* (+ (exp x) 2) (exp x)))
0.1b
(* (* x x) (* x x))
0.1b
(* (* (* x x) (* x x)) 13/4)

rewrite214.0ms

Algorithm
rewrite-expression-head
Rules
133×pow1
39×add-cbrt-cube
38×add-exp-log
36×pow-prod-down pow-prod-up
22×prod-exp pow-sqr cbrt-unprod
18×pow-plus
13×pow2
8×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
4×expm1-log1p-u associate-*r* insert-posit16 log1p-expm1-u add-log-exp
3×times-frac associate-/l*
2×cbrt-undiv div-exp associate-*l* associate-*l/ associate-/r/ *-commutative unswap-sqr
1×clear-num associate-/r* frac-2neg flip3-+ swap-sqr flip-+ fma-udef div-inv
Counts
4 → 134
Calls
4 calls:
Slowest
132.0ms
(* (* (* x x) (* x x)) 13/4)
52.0ms
(* (* x x) (* x x))
26.0ms
(/ (fma (* x x) (fma x 4 3) (* (* (* x x) (* x x)) 13/4)) (* (+ (exp x) 2) (exp x)))
1.0ms
(fma (* x x) (fma x 4 3) (* (* (* x x) (* x x)) 13/4))

series276.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
107.0ms
(/ (fma (* x x) (fma x 4 3) (* (* (* x x) (* x x)) 13/4)) (* (+ (exp x) 2) (exp x)))
74.0ms
(* (* (* x x) (* x x)) 13/4)
61.0ms
(* (* x x) (* x x))
34.0ms
(fma (* x x) (fma x 4 3) (* (* (* x x) (* x x)) 13/4))

simplify10.7s

Counts
114 → 146
Calls
114 calls:
Slowest
504.0ms
(* (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) x) (* (* x x) x))) (* (* 13/4 13/4) 13/4))
456.0ms
(/ (* (* (fma (* x x) (fma x 4 3) (* (* (* x x) (* x x)) 13/4)) (fma (* x x) (fma x 4 3) (* (* (* x x) (* x x)) 13/4))) (fma (* x x) (fma x 4 3) (* (* (* x x) (* x x)) 13/4))) (* (* (* (+ (exp x) 2) (exp x)) (* (+ (exp x) 2) (exp x))) (* (+ (exp x) 2) (exp x))))
455.0ms
(* (* (* (* (* x x) x) (* (* x x) x)) (* (* (* x x) x) (* (* x x) x))) (* (* 13/4 13/4) 13/4))
447.0ms
(* (* (* (* (* x x) x) (* (* x x) x)) (* (* (* x x) (* x x)) (* x x))) (* (* 13/4 13/4) 13/4))
436.0ms
(* (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) (* x x)) (* x x))) (* (* 13/4 13/4) 13/4))

prune1.5s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes37.0ms

Accuracy

0% (0.7b remaining)

Error of 0.8b against oracle of 0.1b and baseline of 0.8b

bsearch2.0ms

end0.0ms

sample5.7s

Algorithm
intervals
Results
4.3s5680×body1280valid
529.0ms8152×body80valid
385.0ms1210×body640valid
120.0ms601×body320valid
41.0ms315×body160valid