Details

Time bar (total: 18.0s)

sample125.0ms

Algorithm
intervals
Results
85.0ms180×body1280valid
13.0ms266×body80valid
11.0ms41×body640valid
3.0ms20×body320valid
1.0ms9×body160valid

simplify76.0ms

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

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 29.7b

localize22.0ms

Local error

Found 2 expressions with local error:

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

rewrite24.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
21.0ms
(+ (- (exp x) 2) (exp (- x)))
3.0ms
(- (exp x) 2)

series99.0ms

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

simplify1.9s

Calls
19 calls:
Slowest
400.0ms
(+ (* (- (* (exp x) (exp x)) (* 2 2)) (exp x)) (* (+ (exp x) 2) (exp 0)))
326.0ms
(+ (* (- (pow (exp x) 3) (pow 2 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) 1))
239.0ms
(+ (* (- (pow (exp x) 3) (pow 2 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) (exp 0)))
140.0ms
(* (exp (- (exp x) 2)) (exp (exp (- x))))
134.0ms
(+ (* (- (* (exp x) (exp x)) (* 2 2)) (exp x)) (* (+ (exp x) 2) 1))

prune306.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize35.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
12.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))

series123.0ms

Calls
4 calls:
Slowest
44.0ms
(+ (* x x) (* 1/12 (pow x 4)))
39.0ms
(+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4))))
22.0ms
(* (pow x 6) 1/360)
18.0ms
(* 1/12 (pow x 4))

simplify496.0ms

Calls
21 calls:
Slowest
118.0ms
(* (exp (* (pow x 6) 1/360)) (* (exp (* x x)) (exp (* 1/12 (pow x 4)))))
93.0ms
(* (exp (* (pow x 6) 1/360)) (exp (+ (* x x) (* 1/12 (pow x 4)))))
44.0ms
(* (exp (* x x)) (exp (* 1/12 (pow x 4))))
34.0ms
(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))
33.0ms
(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))

prune638.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize52.0ms

Local error

Found 4 expressions with local error:

4.3b
(+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (+ (* (exp x) -6) (+ 4 (* (exp x) (exp x)))))
0.1b
(+ (* (exp x) -6) (+ 4 (* (exp x) (exp x))))
0.0b
(* (exp x) (exp x))
0.0b
(* (exp x) (exp x))

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
14×pow1
11×add-log-exp
8×add-sqr-sqrt *-un-lft-identity add-cbrt-cube add-cube-cbrt
6×associate-*r* associate-*l*
4×sum-log add-exp-log insert-posit16
2×pow2 +-commutative associate-+r+ flip3-+ pow-plus pow-prod-down prod-exp *-commutative pow-prod-up cbrt-unprod flip-+
Calls
4 calls:
Slowest
52.0ms
(+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (+ (* (exp x) -6) (+ 4 (* (exp x) (exp x)))))
7.0ms
(+ (* (exp x) -6) (+ 4 (* (exp x) (exp x))))
5.0ms
(* (exp x) (exp x))
5.0ms
(* (exp x) (exp x))

series157.0ms

Calls
4 calls:
Slowest
86.0ms
(+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (+ (* (exp x) -6) (+ 4 (* (exp x) (exp x)))))
40.0ms
(+ (* (exp x) -6) (+ 4 (* (exp x) (exp x))))
15.0ms
(* (exp x) (exp x))
15.0ms
(* (exp x) (exp x))

simplify1.8s

Calls
39 calls:
Slowest
302.0ms
(* (exp (* (* (exp x) (exp x)) (* (exp x) (exp x)))) (* (exp (* (exp x) -6)) (exp (+ 4 (* (exp x) (exp x))))))
268.0ms
(* (exp (* (* (exp x) (exp x)) (* (exp x) (exp x)))) (exp (+ (* (exp x) -6) (+ 4 (* (exp x) (exp x))))))
214.0ms
(- (+ (pow (exp x) 2) (+ (pow (exp x) 4) 4)) (* 6 (exp x)))
168.0ms
(- (+ (pow (exp x) 2) (+ (pow (exp x) 4) 4)) (* 6 (exp x)))
97.0ms
(* (exp (* (exp x) -6)) (exp (+ 4 (* (exp x) (exp x)))))

prune846.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

4.3b
(+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (+ (* (exp x) -6) (+ 4 (* (exp x) (exp x)))))
4.3b
(+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (+ (* (exp x) -6) (+ 4 (* (exp x) (exp x)))))
4.3b
(+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (+ (* (exp x) -6) (+ 4 (* (exp x) (exp x)))))
0.1b
(+ (* (exp x) -6) (+ 4 (* (exp x) (exp x))))

rewrite124.0ms

Algorithm
rewrite-expression-head
Rules
21×add-log-exp
10×sum-log
4×add-sqr-sqrt pow1 +-commutative associate-+r+ *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16
Calls
4 calls:
Slowest
44.0ms
(+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (+ (* (exp x) -6) (+ 4 (* (exp x) (exp x)))))
32.0ms
(+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (+ (* (exp x) -6) (+ 4 (* (exp x) (exp x)))))
32.0ms
(+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (+ (* (exp x) -6) (+ 4 (* (exp x) (exp x)))))
13.0ms
(+ (* (exp x) -6) (+ 4 (* (exp x) (exp x))))

series295.0ms

Calls
4 calls:
Slowest
93.0ms
(+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (+ (* (exp x) -6) (+ 4 (* (exp x) (exp x)))))
89.0ms
(+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (+ (* (exp x) -6) (+ 4 (* (exp x) (exp x)))))
78.0ms
(+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (+ (* (exp x) -6) (+ 4 (* (exp x) (exp x)))))
34.0ms
(+ (* (exp x) -6) (+ 4 (* (exp x) (exp x))))

simplify3.8s

Calls
23 calls:
Slowest
323.0ms
(* (exp (* (* (exp x) (exp x)) (* (exp x) (exp x)))) (exp (+ (* (exp x) -6) (+ 4 (* (exp x) (exp x))))))
318.0ms
(* (exp (* (* (exp x) (exp x)) (* (exp x) (exp x)))) (exp (+ (* (exp x) -6) (+ 4 (* (exp x) (exp x))))))
307.0ms
(* (exp (* (* (exp x) (exp x)) (* (exp x) (exp x)))) (* (exp (* (exp x) -6)) (exp (+ 4 (* (exp x) (exp x))))))
279.0ms
(* (exp (* (* (exp x) (exp x)) (* (exp x) (exp x)))) (exp (+ (* (exp x) -6) (+ 4 (* (exp x) (exp x))))))
266.0ms
(- (+ (pow (exp x) 2) (+ (pow (exp x) 4) 4)) (* 6 (exp x)))

prune940.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes45.0ms

Accuracy

0% (0.5b remaining)

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

bsearch3.0ms

end0.0ms

sample5.9s

Algorithm
intervals
Results
4.3s5716×body1280valid
608.0ms7933×body80valid
546.0ms1210×body640valid
167.0ms616×body320valid
40.0ms278×body160valid