Details

Time bar (total: 26.4s)

sample183.0ms

Algorithm
intervals
Results
137.0ms190×body1280valid
14.0ms243×body80valid
12.0ms30×body640valid
5.0ms24×body320valid
1.0ms8×body160valid

simplify72.0ms

Calls
1 calls:
Slowest
72.0ms
(+ (- (exp x) 2) (exp (- x)))

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.6b

localize21.0ms

Local error

Found 3 expressions with local error:

3.1b
(- (- (exp x) 2) (/ -1 (exp x)))
0.0b
(/ -1 (exp x))
0.0b
(- (exp x) 2)

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt *-un-lft-identity
5×add-log-exp
4×add-cube-cbrt
3×pow1 associate-/r* sub-neg flip3-- add-cbrt-cube add-exp-log insert-posit16 flip--
2×associate--l+ frac-sub
1×associate--l- clear-num frac-2neg diff-log div-inv distribute-lft-out-- difference-of-squares
Calls
3 calls:
Slowest
42.0ms
(- (- (exp x) 2) (/ -1 (exp x)))
3.0ms
(- (exp x) 2)
1.0ms
(/ -1 (exp x))

series98.0ms

Calls
3 calls:
Slowest
71.0ms
(- (- (exp x) 2) (/ -1 (exp x)))
16.0ms
(/ -1 (exp x))
11.0ms
(- (exp x) 2)

simplify1.1s

Calls
23 calls:
Slowest
222.0ms
(- (* (- (pow (exp x) 3) (pow 2 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) -1))
166.0ms
(- (* (- (* (exp x) (exp x)) (* 2 2)) (exp x)) (* (+ (exp x) 2) -1))
120.0ms
(* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) (exp x))
94.0ms
(- x (+ (* 1/2 (pow x 2)) 1))
90.0ms
(/ (exp (- (exp x) 2)) (exp (/ -1 (exp x))))

prune367.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 1/12 (pow x 4))
0.0b
(* (pow x 6) 1/360)
0.0b
(+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4))))
0.0b
(+ (* x x) (* 1/12 (pow x 4)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
11×add-log-exp
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 sum-log add-cbrt-cube add-exp-log insert-posit16
3×associate-*r* associate-*l*
2×+-commutative flip3-+ *-commutative flip-+
1×associate-+r+
Calls
4 calls:
Slowest
16.0ms
(+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4))))
6.0ms
(+ (* x x) (* 1/12 (pow x 4)))
5.0ms
(* (pow x 6) 1/360)
3.0ms
(* 1/12 (pow x 4))

series135.0ms

Calls
4 calls:
Slowest
52.0ms
(+ (* x x) (* 1/12 (pow x 4)))
31.0ms
(* (pow x 6) 1/360)
27.0ms
(* 1/12 (pow x 4))
26.0ms
(+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4))))

simplify446.0ms

Calls
21 calls:
Slowest
124.0ms
(* (exp (* (pow x 6) 1/360)) (* (exp (* x x)) (exp (* 1/12 (pow x 4)))))
78.0ms
(* (exp (* (pow x 6) 1/360)) (exp (+ (* x x) (* 1/12 (pow x 4)))))
32.0ms
(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))
32.0ms
(* (exp (* x x)) (exp (* 1/12 (pow x 4))))
32.0ms
(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))

prune559.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

33.1b
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
33.1b
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
33.1b
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
0.3b
(* (cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4))))) (cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4))))))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-div
15×cbrt-prod
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×pow1 flip3-+ flip-+
7×pow1/3
6×associate-*r* associate-*l* add-exp-log
4×frac-times add-cbrt-cube insert-posit16 add-log-exp
2×pow-prod-down associate-*l/ associate-*r/ pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
28.0ms
(* (cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4))))) (cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4))))))
10.0ms
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
9.0ms
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
5.0ms
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))

series543.0ms

Calls
4 calls:
Slowest
160.0ms
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
134.0ms
(* (cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4))))) (cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4))))))
133.0ms
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
115.0ms
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))

simplify9.1s

Calls
59 calls:
Slowest
599.0ms
(* (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))) (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
586.0ms
(* (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))) (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
360.0ms
(+ (* 20 (/ (exp (* 1/3 (- (log 1/360) (* 6 (log (/ -1 x)))))) (pow x 4))) (+ (exp (* 1/3 (- (log 1/360) (* 6 (log (/ -1 x)))))) (* 10 (/ (exp (* 1/3 (- (log 1/360) (* 6 (log (/ -1 x)))))) (pow x 2)))))
340.0ms
(cbrt (- (* (* (pow x 6) 1/360) (* (pow x 6) 1/360)) (* (+ (* x x) (* 1/12 (pow x 4))) (+ (* x x) (* 1/12 (pow x 4))))))
339.0ms
(* (cbrt (- (* (* (pow x 6) 1/360) (* (pow x 6) 1/360)) (* (+ (* x x) (* 1/12 (pow x 4))) (+ (* x x) (* 1/12 (pow x 4)))))) (cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4))))))

prune1.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

33.1b
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
33.1b
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
33.1b
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
33.1b
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt cbrt-div *-un-lft-identity add-cube-cbrt
4×pow1 flip3-+ add-cbrt-cube pow1/3 add-exp-log flip-+ insert-posit16 add-log-exp
Calls
4 calls:
Slowest
10.0ms
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
10.0ms
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
10.0ms
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
6.0ms
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))

series569.0ms

Calls
4 calls:
Slowest
158.0ms
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
153.0ms
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
136.0ms
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
122.0ms
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))

simplify5.1s

Calls
32 calls:
Slowest
351.0ms
(cbrt (- (* (* (pow x 6) 1/360) (* (pow x 6) 1/360)) (* (+ (* x x) (* 1/12 (pow x 4))) (+ (* x x) (* 1/12 (pow x 4))))))
336.0ms
(+ (* 20 (/ (exp (* 1/3 (- (log 1/360) (* 6 (log (/ -1 x)))))) (pow x 4))) (+ (exp (* 1/3 (- (log 1/360) (* 6 (log (/ -1 x)))))) (* 10 (/ (exp (* 1/3 (- (log 1/360) (* 6 (log (/ -1 x)))))) (pow x 2)))))
332.0ms
(+ (* 20 (/ (exp (* 1/3 (- (log 1/360) (* 6 (log (/ -1 x)))))) (pow x 4))) (+ (exp (* 1/3 (- (log 1/360) (* 6 (log (/ -1 x)))))) (* 10 (/ (exp (* 1/3 (- (log 1/360) (* 6 (log (/ -1 x)))))) (pow x 2)))))
327.0ms
(+ (* 20 (/ (exp (* 1/3 (- (log 1/360) (* 6 (log (/ -1 x)))))) (pow x 4))) (+ (exp (* 1/3 (- (log 1/360) (* 6 (log (/ -1 x)))))) (* 10 (/ (exp (* 1/3 (- (log 1/360) (* 6 (log (/ -1 x)))))) (pow x 2)))))
300.0ms
(+ (* 10 (/ (exp (* 1/3 (- (log 1/360) (* 6 (log (/ 1 x)))))) (pow x 2))) (+ (exp (* 1/3 (- (log 1/360) (* 6 (log (/ 1 x)))))) (* 20 (/ (exp (* 1/3 (- (log 1/360) (* 6 (log (/ 1 x)))))) (pow x 4)))))

prune959.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes51.0ms

Accuracy

0% (0.5b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 0.6b

bsearch3.0ms

end0.0ms

sample5.6s

Algorithm
intervals
Results
4.2s5733×body1280valid
619.0ms7955×body80valid
451.0ms1189×body640valid
120.0ms580×body320valid
42.0ms322×body160valid