Details

Time bar (total: 23.7s)

sample158.0ms

Algorithm
intervals
Results
112.0ms178×body1280valid
14.0ms234×body80valid
13.0ms38×body640valid
4.0ms20×body320valid
2.0ms13×body160valid

simplify53.0ms

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

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 29.9b

localize18.0ms

Local error

Found 3 expressions with local error:

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

rewrite39.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
29.0ms
(- (- (exp x) 2) (/ -1 (exp x)))
7.0ms
(- (exp x) 2)
1.0ms
(/ -1 (exp x))

series93.0ms

Calls
3 calls:
Slowest
74.0ms
(- (- (exp x) 2) (/ -1 (exp x)))
10.0ms
(/ -1 (exp x))
9.0ms
(- (exp x) 2)

simplify1.2s

Calls
23 calls:
Slowest
247.0ms
(- (* (- (pow (exp x) 3) (pow 2 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) -1))
217.0ms
(- (* (- (* (exp x) (exp x)) (* 2 2)) (exp x)) (* (+ (exp x) 2) -1))
122.0ms
(* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) (exp x))
113.0ms
(- x (+ (* 1/2 (pow x 2)) 1))
102.0ms
(/ (exp (- (exp x) 2)) (exp (/ -1 (exp x))))

prune417.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

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

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

series148.0ms

Calls
4 calls:
Slowest
56.0ms
(+ (* x x) (* 1/12 (pow x 4)))
40.0ms
(+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4))))
28.0ms
(* 1/12 (pow x 4))
25.0ms
(* (pow x 6) 1/360)

simplify502.0ms

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

prune617.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:

29.1b
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
29.1b
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
29.1b
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
0.4b
(* (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))))))

rewrite61.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
29.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))))))
11.0ms
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
11.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)))))

series602.0ms

Calls
4 calls:
Slowest
177.0ms
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
168.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))))))
143.0ms
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))
113.0ms
(cbrt (+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4)))))

simplify9.4s

Calls
59 calls:
Slowest
601.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)))))
573.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)))))
414.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))))))
386.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)))))
354.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))))))

prune1.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

5.3b
(+ (+ (* (exp x) (- (* (exp x) (exp x)) 4)) 2) (exp x))
0.0b
(+ (* (exp x) (- (* (exp x) (exp x)) 4)) 2)
0.0b
(* (exp x) (exp x))
0.0b
(* (exp x) (- (* (exp x) (exp x)) 4))

rewrite145.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1
10×*-un-lft-identity
8×add-sqr-sqrt add-cbrt-cube add-cube-cbrt
6×associate-*r* associate-*l* add-log-exp
5×associate-+l+ add-exp-log
4×distribute-rgt-in sub-neg distribute-lft-in insert-posit16
2×+-commutative flip3-+ pow-prod-down prod-exp associate-*r/ *-commutative cbrt-unprod flip-+
1×pow2 sum-log pow-plus flip3-- pow-prod-up flip-- distribute-lft-out
Calls
4 calls:
Slowest
80.0ms
(+ (+ (* (exp x) (- (* (exp x) (exp x)) 4)) 2) (exp x))
27.0ms
(+ (* (exp x) (- (* (exp x) (exp x)) 4)) 2)
27.0ms
(* (exp x) (- (* (exp x) (exp x)) 4))
9.0ms
(* (exp x) (exp x))

series124.0ms

Calls
4 calls:
Slowest
55.0ms
(+ (+ (* (exp x) (- (* (exp x) (exp x)) 4)) 2) (exp x))
35.0ms
(+ (* (exp x) (- (* (exp x) (exp x)) 4)) 2)
24.0ms
(* (exp x) (- (* (exp x) (exp x)) 4))
10.0ms
(* (exp x) (exp x))

simplify2.4s

Calls
44 calls:
Slowest
419.0ms
(* (* (* (exp x) (exp x)) (exp x)) (* (* (- (* (exp x) (exp x)) 4) (- (* (exp x) (exp x)) 4)) (- (* (exp x) (exp x)) 4)))
287.0ms
(* (exp (+ (* (exp x) (- (* (exp x) (exp x)) 4)) 2)) (exp (exp x)))
153.0ms
(+ (+ (* (exp x) (- (* (exp x) (exp x)) 4)) 2) (exp x))
139.0ms
(+ (* 4 (pow x 3)) (+ (* 3 (pow x 2)) (* 13/4 (pow x 4))))
113.0ms
(* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x)))

prune869.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes29.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.5s

Algorithm
intervals
Results
3.4s5652×body1280valid
1.1s7984×body80valid
458.0ms1229×body640valid
180.0ms626×body320valid
96.0ms331×body160valid