Details

Time bar (total: 19.3s)

sample113.0ms

Algorithm
intervals
Results
79.0ms182×body1280valid
11.0ms260×body80valid
8.0ms37×body640valid
3.0ms21×body320valid
1.0ms10×body160valid

simplify99.0ms

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

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 26.0b

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite27.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
19.0ms
(- (- (exp x) 2) (/ -1 (exp x)))
6.0ms
(- (exp x) 2)
1.0ms
(/ -1 (exp x))

series120.0ms

Calls
3 calls:
Slowest
95.0ms
(- (- (exp x) 2) (/ -1 (exp x)))
13.0ms
(- (exp x) 2)
12.0ms
(/ -1 (exp x))

simplify1.1s

Calls
23 calls:
Slowest
229.0ms
(- (* (- (pow (exp x) 3) (pow 2 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) -1))
146.0ms
(/ (exp (- (exp x) 2)) (exp (/ -1 (exp x))))
140.0ms
(- (* (- (* (exp x) (exp x)) (* 2 2)) (exp x)) (* (+ (exp x) 2) -1))
130.0ms
(* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) (exp x))
100.0ms
(- x (+ (* 1/2 (pow x 2)) 1))

prune486.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite30.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))

series335.0ms

Calls
4 calls:
Slowest
142.0ms
(+ (* x x) (* 1/12 (pow x 4)))
82.0ms
(* (pow x 6) 1/360)
65.0ms
(+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4))))
46.0ms
(* 1/12 (pow x 4))

simplify416.0ms

Calls
21 calls:
Slowest
94.0ms
(* (exp (* (pow x 6) 1/360)) (* (exp (* x x)) (exp (* 1/12 (pow x 4)))))
71.0ms
(* (exp (* (pow x 6) 1/360)) (exp (+ (* x x) (* 1/12 (pow x 4)))))
41.0ms
(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))
38.0ms
(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))
30.0ms
(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))

prune636.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize8.0ms

Local error

Found 4 expressions with local error:

31.8b
(sqrt (+ (* x x) (* 1/12 (pow x 4))))
31.8b
(sqrt (+ (* x x) (* 1/12 (pow x 4))))
0.1b
(* 1/12 (pow x 4))
0.1b
(* 1/12 (pow x 4))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
6×associate-*r* sqrt-prod
4×pow1 add-cbrt-cube sqrt-div add-exp-log insert-posit16 add-log-exp
2×rem-sqrt-square flip3-+ pow1/2 *-commutative flip-+
Calls
4 calls:
Slowest
5.0ms
(sqrt (+ (* x x) (* 1/12 (pow x 4))))
5.0ms
(sqrt (+ (* x x) (* 1/12 (pow x 4))))
3.0ms
(* 1/12 (pow x 4))
2.0ms
(* 1/12 (pow x 4))

series301.0ms

Calls
4 calls:
Slowest
109.0ms
(sqrt (+ (* x x) (* 1/12 (pow x 4))))
88.0ms
(sqrt (+ (* x x) (* 1/12 (pow x 4))))
55.0ms
(* 1/12 (pow x 4))
49.0ms
(* 1/12 (pow x 4))

simplify2.8s

Calls
30 calls:
Slowest
392.0ms
(sqrt (- (* (* x x) (* x x)) (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4)))))
351.0ms
(sqrt (+ (pow (* x x) 3) (pow (* 1/12 (pow x 4)) 3)))
351.0ms
(sqrt (+ (pow (* x x) 3) (pow (* 1/12 (pow x 4)) 3)))
337.0ms
(sqrt (- (* (* x x) (* x x)) (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4)))))
271.0ms
(- (+ (* (pow x 2) (sqrt 1/12)) (* 1/2 (/ 1 (sqrt 1/12)))) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt 1/12) 3)))))

prune884.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

31.8b
(sqrt (+ (* x x) (* 1/12 (pow x 4))))
31.8b
(sqrt (+ (* x x) (* 1/12 (pow x 4))))
31.8b
(sqrt (+ (* x x) (* 1/12 (pow x 4))))
31.8b
(sqrt (+ (* x x) (* 1/12 (pow x 4))))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt sqrt-prod
8×*-un-lft-identity sqrt-div add-cube-cbrt
4×pow1 rem-sqrt-square flip3-+ add-cbrt-cube pow1/2 add-exp-log flip-+ insert-posit16 add-log-exp
Calls
4 calls:
Slowest
4.0ms
(sqrt (+ (* x x) (* 1/12 (pow x 4))))
4.0ms
(sqrt (+ (* x x) (* 1/12 (pow x 4))))
3.0ms
(sqrt (+ (* x x) (* 1/12 (pow x 4))))
2.0ms
(sqrt (+ (* x x) (* 1/12 (pow x 4))))

series427.0ms

Calls
4 calls:
Slowest
121.0ms
(sqrt (+ (* x x) (* 1/12 (pow x 4))))
116.0ms
(sqrt (+ (* x x) (* 1/12 (pow x 4))))
96.0ms
(sqrt (+ (* x x) (* 1/12 (pow x 4))))
94.0ms
(sqrt (+ (* x x) (* 1/12 (pow x 4))))

simplify5.4s

Calls
36 calls:
Slowest
360.0ms
(sqrt (- (* (* x x) (* x x)) (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4)))))
359.0ms
(sqrt (- (* (* x x) (* x x)) (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4)))))
353.0ms
(sqrt (- (* (* x x) (* x x)) (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4)))))
344.0ms
(sqrt (- (* (* x x) (* x x)) (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4)))))
320.0ms
(sqrt (+ (pow (* x x) 3) (pow (* 1/12 (pow x 4)) 3)))

prune920.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes33.0ms

Accuracy

0% (0.6b remaining)

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

bsearch3.0ms

end0.0ms

sample5.0s

Algorithm
intervals
Results
3.3s5651×body1280valid
758.0ms1283×body640valid
461.0ms8114×body80valid
145.0ms598×body320valid
72.0ms288×body160valid