Details

Time bar (total: 21.0s)

sample153.0ms

Algorithm
intervals
Results
109.0ms189×body1280valid
15.0ms257×body80valid
11.0ms31×body640valid
5.0ms20×body320valid
1.0ms9×body160valid

simplify80.0ms

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

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 27.9b

localize25.0ms

Local error

Found 2 expressions with local error:

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

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
4×*-un-lft-identity frac-add add-log-exp
3×flip3-- flip--
2×neg-sub0 add-sqr-sqrt exp-neg pow1 associate-+l+ sub-neg add-cbrt-cube exp-diff add-exp-log add-cube-cbrt insert-posit16
1×+-commutative sum-log flip3-+ associate-+l- flip-+ distribute-lft-out
Calls
2 calls:
Slowest
32.0ms
(+ (- (exp x) 2) (exp (- x)))
7.0ms
(- (exp x) 2)

series108.0ms

Calls
2 calls:
Slowest
95.0ms
(+ (- (exp x) 2) (exp (- x)))
13.0ms
(- (exp x) 2)

simplify1.9s

Calls
19 calls:
Slowest
392.0ms
(+ (* (- (* (exp x) (exp x)) (* 2 2)) (exp x)) (* (+ (exp x) 2) (exp 0)))
343.0ms
(+ (* (- (pow (exp x) 3) (pow 2 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) 1))
254.0ms
(+ (* (- (pow (exp x) 3) (pow 2 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) (exp 0)))
135.0ms
(+ (* (- (* (exp x) (exp x)) (* 2 2)) (exp x)) (* (+ (exp x) 2) 1))
117.0ms
(* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) (exp x))

prune350.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

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

rewrite16.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
8.0ms
(+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4))))
3.0ms
(+ (* x x) (* 1/12 (pow x 4)))
2.0ms
(* (pow x 6) 1/360)
1.0ms
(* 1/12 (pow x 4))

series308.0ms

Calls
4 calls:
Slowest
127.0ms
(+ (* x x) (* 1/12 (pow x 4)))
74.0ms
(+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4))))
61.0ms
(* (pow x 6) 1/360)
45.0ms
(* 1/12 (pow x 4))

simplify491.0ms

Calls
21 calls:
Slowest
113.0ms
(* (exp (* (pow x 6) 1/360)) (* (exp (* x x)) (exp (* 1/12 (pow x 4)))))
110.0ms
(* (exp (* (pow x 6) 1/360)) (exp (+ (* x x) (* 1/12 (pow x 4)))))
59.0ms
(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))
54.0ms
(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))
34.0ms
(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))

prune620.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 4 expressions with local error:

31.2b
(log (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
2.7b
(exp (log (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4))))))
0.1b
(* 1/12 (pow x 4))
0.0b
(* (pow x 6) 1/360)

rewrite19.0ms

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

series423.0ms

Calls
4 calls:
Slowest
185.0ms
(log (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
92.0ms
(* (pow x 6) 1/360)
89.0ms
(exp (log (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4))))))
57.0ms
(* 1/12 (pow x 4))

simplify2.4s

Calls
33 calls:
Slowest
340.0ms
(log (- (* (* (pow x 6) 1/360) (* (pow x 6) 1/360)) (* (+ (* x x) (* 1/12 (pow x 4))) (+ (* x x) (* 1/12 (pow x 4))))))
330.0ms
(exp (log (- (* (* (pow x 6) 1/360) (* (pow x 6) 1/360)) (* (+ (* x x) (* 1/12 (pow x 4))) (+ (* x x) (* 1/12 (pow x 4)))))))
316.0ms
(- (+ (log 1/360) (* 30 (/ 1 (pow x 2)))) (+ (* 6 (log (/ -1 x))) (* 90 (/ 1 (pow x 4)))))
298.0ms
(- (+ (log 1/360) (* 30 (/ 1 (pow x 2)))) (+ (* 6 (log (/ 1 x))) (* 90 (/ 1 (pow x 4)))))
228.0ms
(exp (log (+ (pow (* (pow x 6) 1/360) 3) (pow (+ (* x x) (* 1/12 (pow x 4))) 3))))

prune680.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 4 expressions with local error:

31.2b
(log (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
31.2b
(log (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
30.1b
(sqrt (exp (log (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))))
30.1b
(sqrt (exp (log (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt log-prod
12×sqrt-prod
10×*-un-lft-identity add-cube-cbrt
8×log-div exp-sum
6×pow1 add-exp-log
4×rem-sqrt-square flip3-+ add-cbrt-cube exp-diff sqrt-div flip-+ insert-posit16 add-log-exp
2×pow1/2 rem-log-exp log-pow
Calls
4 calls:
Slowest
24.0ms
(sqrt (exp (log (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))))
22.0ms
(sqrt (exp (log (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))))
12.0ms
(log (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
6.0ms
(log (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))

series574.0ms

Calls
4 calls:
Slowest
168.0ms
(sqrt (exp (log (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))))
140.0ms
(log (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
133.0ms
(log (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
133.0ms
(sqrt (exp (log (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))))

simplify6.3s

Calls
44 calls:
Slowest
725.0ms
(- (+ (log 1/360) (* 30 (/ 1 (pow x 2)))) (+ (* 6 (log (/ 1 x))) (* 90 (/ 1 (pow x 4)))))
394.0ms
(- (+ (log 1/360) (* 30 (/ 1 (pow x 2)))) (+ (* 6 (log (/ 1 x))) (* 90 (/ 1 (pow x 4)))))
366.0ms
(log (- (* (* (pow x 6) 1/360) (* (pow x 6) 1/360)) (* (+ (* x x) (* 1/12 (pow x 4))) (+ (* x x) (* 1/12 (pow x 4))))))
345.0ms
(log (- (* (* (pow x 6) 1/360) (* (pow x 6) 1/360)) (* (+ (* x x) (* 1/12 (pow x 4))) (+ (* x x) (* 1/12 (pow x 4))))))
334.0ms
(- (+ (* 1/2 (/ 1 (* (sqrt 1/360) x))) (+ (* (sqrt 1/360) (pow x 3)) (* 1/24 (/ x (sqrt 1/360))))) (* 1/1152 (/ 1 (* (pow (sqrt 1/360) 3) x))))

prune1.1s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes39.0ms

Accuracy

0% (0.6b remaining)

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

bsearch2.0ms

end0.0ms

sample5.3s

Algorithm
intervals
Results
4.1s5733×body1280valid
417.0ms8029×body80valid
381.0ms1175×body640valid
162.0ms633×body320valid
89.0ms290×body160valid