Details

Time bar (total: 23.0s)

sample146.0ms

Algorithm
intervals
Results
97.0ms178×body1280valid
16.0ms283×body80valid
13.0ms37×body640valid
6.0ms27×body320valid
1.0ms7×body160valid

simplify83.0ms

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

prune9.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 31.2b

localize25.0ms

Local error

Found 2 expressions with local error:

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

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

series107.0ms

Calls
2 calls:
Slowest
93.0ms
(+ (- (exp x) 2) (exp (- x)))
14.0ms
(- (exp x) 2)

simplify2.0s

Calls
19 calls:
Slowest
438.0ms
(+ (* (- (* (exp x) (exp x)) (* 2 2)) (exp x)) (* (+ (exp x) 2) (exp 0)))
325.0ms
(+ (* (- (pow (exp x) 3) (pow 2 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) 1))
297.0ms
(+ (* (- (pow (exp x) 3) (pow 2 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) (exp 0)))
172.0ms
(+ (* (- (* (exp x) (exp x)) (* 2 2)) (exp x)) (* (+ (exp x) 2) 1))
137.0ms
(* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) (exp x))

prune331.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize32.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
(+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4))))
0.0b
(+ (* x x) (* 1/12 (pow x 4)))

rewrite23.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
11.0ms
(+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4))))
5.0ms
(* (pow x 6) 1/360)
3.0ms
(+ (* x x) (* 1/12 (pow x 4)))
3.0ms
(* 1/12 (pow x 4))

series127.0ms

Calls
4 calls:
Slowest
49.0ms
(+ (* x x) (* 1/12 (pow x 4)))
35.0ms
(+ (* (pow x 6) 1/360) (+ (* x x) (* 1/12 (pow x 4))))
23.0ms
(* (pow x 6) 1/360)
20.0ms
(* 1/12 (pow x 4))

simplify518.0ms

Calls
21 calls:
Slowest
104.0ms
(* (exp (* (pow x 6) 1/360)) (exp (+ (* x x) (* 1/12 (pow x 4)))))
92.0ms
(* (exp (* (pow x 6) 1/360)) (* (exp (* x x)) (exp (* 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))))
46.0ms
(* (exp (* x x)) (exp (* 1/12 (pow x 4))))

prune637.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize21.0ms

Local error

Found 4 expressions with local error:

4.1b
(+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2)
0.0b
(* (exp x) (exp x))
0.0b
(/ (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2) (* (+ (exp x) 2) (exp x)))
0.0b
(* (- (* (exp x) (exp x)) 3) (exp x))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
13×add-cbrt-cube
11×pow1
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×add-exp-log
6×associate-*r* associate-*l*
4×associate-*l/ insert-posit16 add-log-exp
3×flip3-+ times-frac prod-exp cbrt-unprod flip-+ associate-/l*
2×cbrt-undiv div-exp pow-prod-down associate-/r/ *-commutative associate-/l/
1×pow2 +-commutative clear-num associate-/r* frac-2neg pow-plus flip3-- pow-prod-up div-inv flip--
Calls
4 calls:
Slowest
34.0ms
(/ (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2) (* (+ (exp x) 2) (exp x)))
17.0ms
(* (- (* (exp x) (exp x)) 3) (exp x))
13.0ms
(+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2)
5.0ms
(* (exp x) (exp x))

series252.0ms

Calls
4 calls:
Slowest
161.0ms
(/ (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2) (* (+ (exp x) 2) (exp x)))
53.0ms
(+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2)
29.0ms
(* (- (* (exp x) (exp x)) 3) (exp x))
9.0ms
(* (exp x) (exp x))

simplify4.5s

Calls
50 calls:
Slowest
407.0ms
(/ (- (+ (pow (exp x) 3) 2) (* 3 (exp x))) (* (exp x) (+ (exp x) 2)))
392.0ms
(/ (- (+ (pow (exp x) 3) 2) (* 3 (exp x))) (* (exp x) (+ (exp x) 2)))
373.0ms
(/ (* (* (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2) (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2)) (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2)) (* (* (* (+ (exp x) 2) (+ (exp x) 2)) (+ (exp x) 2)) (* (* (exp x) (exp x)) (exp x))))
347.0ms
(/ (* (* (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2) (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2)) (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2)) (* (* (* (+ (exp x) 2) (exp x)) (* (+ (exp x) 2) (exp x))) (* (+ (exp x) 2) (exp x))))
252.0ms
(* (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* 3 3)) (exp x))

prune876.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize21.0ms

Local error

Found 4 expressions with local error:

5.3b
(+ (* (* (- (* (exp x) (exp x)) 3) (sqrt (exp x))) (sqrt (exp x))) 2)
0.0b
(* (* (- (* (exp x) (exp x)) 3) (sqrt (exp x))) (sqrt (exp x)))
0.0b
(/ (+ (* (* (- (* (exp x) (exp x)) 3) (sqrt (exp x))) (sqrt (exp x))) 2) (* (+ (exp x) 2) (exp x)))
0.0b
(* (exp x) (exp x))

rewrite162.0ms

Algorithm
rewrite-expression-head
Rules
16×add-cbrt-cube
14×pow1
13×add-exp-log
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×associate-*r*
6×associate-*l/
5×prod-exp cbrt-unprod
4×associate-*l* pow-prod-down insert-posit16 add-log-exp
3×flip3-+ times-frac sqrt-prod flip-+ associate-/l*
2×cbrt-undiv div-exp associate-/r/ *-commutative associate-/l/
1×pow2 +-commutative clear-num associate-/r* frac-2neg pow-plus flip3-- pow-prod-up div-inv flip--
Calls
4 calls:
Slowest
74.0ms
(/ (+ (* (* (- (* (exp x) (exp x)) 3) (sqrt (exp x))) (sqrt (exp x))) 2) (* (+ (exp x) 2) (exp x)))
42.0ms
(* (* (- (* (exp x) (exp x)) 3) (sqrt (exp x))) (sqrt (exp x)))
36.0ms
(+ (* (* (- (* (exp x) (exp x)) 3) (sqrt (exp x))) (sqrt (exp x))) 2)
8.0ms
(* (exp x) (exp x))

series293.0ms

Calls
4 calls:
Slowest
184.0ms
(/ (+ (* (* (- (* (exp x) (exp x)) 3) (sqrt (exp x))) (sqrt (exp x))) 2) (* (+ (exp x) 2) (exp x)))
60.0ms
(+ (* (* (- (* (exp x) (exp x)) 3) (sqrt (exp x))) (sqrt (exp x))) 2)
38.0ms
(* (* (- (* (exp x) (exp x)) 3) (sqrt (exp x))) (sqrt (exp x)))
10.0ms
(* (exp x) (exp x))

simplify6.4s

Calls
55 calls:
Slowest
668.0ms
(* (* (* (* (- (* (exp x) (exp x)) 3) (- (* (exp x) (exp x)) 3)) (- (* (exp x) (exp x)) 3)) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))))
529.0ms
(/ (* (* (+ (* (* (- (* (exp x) (exp x)) 3) (sqrt (exp x))) (sqrt (exp x))) 2) (+ (* (* (- (* (exp x) (exp x)) 3) (sqrt (exp x))) (sqrt (exp x))) 2)) (+ (* (* (- (* (exp x) (exp x)) 3) (sqrt (exp x))) (sqrt (exp x))) 2)) (* (* (* (+ (exp x) 2) (+ (exp x) 2)) (+ (exp x) 2)) (* (* (exp x) (exp x)) (exp x))))
445.0ms
(+ (pow (* (* (- (* (exp x) (exp x)) 3) (sqrt (exp x))) (sqrt (exp x))) 3) (pow 2 3))
426.0ms
(* (* (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* 3 3)) (sqrt (exp x))) (sqrt (exp x)))
416.0ms
(/ (* (* (+ (* (* (- (* (exp x) (exp x)) 3) (sqrt (exp x))) (sqrt (exp x))) 2) (+ (* (* (- (* (exp x) (exp x)) 3) (sqrt (exp x))) (sqrt (exp x))) 2)) (+ (* (* (- (* (exp x) (exp x)) 3) (sqrt (exp x))) (sqrt (exp x))) 2)) (* (* (* (+ (exp x) 2) (exp x)) (* (+ (exp x) 2) (exp x))) (* (+ (exp x) 2) (exp x))))

prune900.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes40.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.4s

Algorithm
intervals
Results
4.0s5697×body1280valid
534.0ms8047×body80valid
432.0ms1186×body640valid
131.0ms626×body320valid
43.0ms317×body160valid