Details

Time bar (total: 49.6s)

sample141.0ms

Algorithm
intervals
Results
102.0ms192×body1280valid
12.0ms230×body80valid
9.0ms30×body640valid
4.0ms22×body320valid
1.0ms6×body160valid

simplify62.0ms

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

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 29.9b

localize16.0ms

Local error

Found 2 expressions with local error:

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

rewrite68.0ms

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

series132.0ms

Calls
2 calls:
Slowest
107.0ms
(+ (- (exp x) 2) (exp (- x)))
25.0ms
(- (exp x) 2)

simplify2.6s

Calls
25 calls:
Slowest
420.0ms
(* (/ (exp (exp x)) (exp 2)) (exp (exp (- x))))
418.0ms
(+ (* (- (* (exp x) (exp x)) (* 2 2)) (exp x)) (* (+ (exp x) 2) (exp 0)))
297.0ms
(+ (* (- (pow (exp x) 3) (pow 2 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) 1))
197.0ms
(+ (* (- (pow (exp x) 3) (pow 2 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2 2) (* (exp x) 2))) (exp 0)))
188.0ms
(+ (pow x 2) (+ (* 1/12 (pow x 4)) (* 1/360 (pow x 6))))

prune400.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) (* x x))
0.1b
(* (* x x) (* x x))
0.1b
(* (* (* x x) (* x x)) (* x x))
0.1b
(* 1/12 (* (* x x) (* x x)))

rewrite237.0ms

Algorithm
rewrite-expression-head
Rules
909×pow1
378×pow-prod-up
203×pow-prod-down
163×pow-plus
159×pow-sqr
102×pow2
87×add-cbrt-cube add-exp-log
60×prod-exp cbrt-unprod
6×add-sqr-sqrt associate-*l*
5×*-un-lft-identity add-cube-cbrt
4×associate-*r* *-commutative insert-posit16 add-log-exp unswap-sqr
2×swap-sqr
1×pow3
Calls
4 calls:
Slowest
93.0ms
(* (* (* x x) (* x x)) (* x x))
72.0ms
(* 1/12 (* (* x x) (* x x)))
28.0ms
(* (* x x) (* x x))
26.0ms
(* (* x x) (* x x))

series279.0ms

Calls
4 calls:
Slowest
82.0ms
(* (* (* x x) (* x x)) (* x x))
72.0ms
(* 1/12 (* (* x x) (* x x)))
67.0ms
(* (* x x) (* x x))
59.0ms
(* (* x x) (* x x))

simplify16.6s

Calls
425 calls:
Slowest
1.3s
(* (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) x) (* (* x x) x))) (* (* (* x x) (* x x)) (* x x)))
1.1s
(* (* (* (* (* x x) x) (* (* x x) x)) (* (* (* x x) x) (* (* x x) x))) (* (* (* x x) x) (* (* x x) x)))
657.0ms
(* (* (* 1/12 1/12) 1/12) (* (* (* (* x x) x) (* (* x x) x)) (* (* (* x x) x) (* (* x x) x))))
559.0ms
(* (* (* 1/12 1/12) 1/12) (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* (* x x) (* x x))))
404.0ms
(* (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* (* x x) (* x x))) (* (* (* x x) (* x x)) (* x x)))

prune2.8s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite203.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
18×exp-prod *-un-lft-identity add-cube-cbrt
13×pow1 add-cbrt-cube
9×add-exp-log
7×associate-*l*
6×associate-*r* add-log-exp
5×pow-prod-down
4×associate-*l/ pow-sqr pow-prod-up insert-posit16
3×flip3-+ times-frac swap-sqr prod-exp cbrt-unprod flip-+ associate-/l*
2×cbrt-undiv div-exp associate-/r/ *-commutative unswap-sqr associate-/l/
1×pow2 +-commutative clear-num associate-/r* sum-log frac-2neg pow-plus flip3-- div-inv flip-- difference-of-squares
Calls
4 calls:
Slowest
82.0ms
(/ (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2) (* (+ (exp x) 2) (exp x)))
65.0ms
(* (- (* (exp x) (exp x)) 3) (exp x))
28.0ms
(+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2)
25.0ms
(* (exp x) (exp x))

series384.0ms

Calls
4 calls:
Slowest
203.0ms
(/ (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2) (* (+ (exp x) 2) (exp x)))
83.0ms
(+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2)
74.0ms
(* (- (* (exp x) (exp x)) 3) (exp x))
24.0ms
(* (exp x) (exp x))

simplify6.9s

Calls
81 calls:
Slowest
478.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))))
456.0ms
(+ (pow (* (- (* (exp x) (exp x)) 3) (exp x)) 3) (pow 2 3))
449.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))))
393.0ms
(* (- (pow (* (exp x) (exp x)) 3) (pow 3 3)) (exp x))
315.0ms
(* (exp (* (- (* (exp x) (exp x)) 3) (exp x))) (exp 2))

prune907.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize55.0ms

Local error

Found 4 expressions with local error:

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

rewrite425.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
12×*-un-lft-identity log-pow add-cube-cbrt
11×add-cbrt-cube
9×pow1 exp-prod add-exp-log
7×times-frac associate-/l*
6×add-log-exp
4×log-prod associate-*l* associate-*l/ insert-posit16
3×associate-*r*
2×cbrt-undiv flip3-+ div-exp prod-exp associate-/r/ cbrt-unprod flip-+
1×+-commutative clear-num associate-/r* sum-log frac-2neg flip3-- rem-log-exp exp-sum pow-prod-down *-commutative div-inv flip-- difference-of-squares unswap-sqr
Calls
4 calls:
Slowest
246.0ms
(/ (log (exp (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2))) (* (+ (exp x) 2) (exp x)))
95.0ms
(* (- (* (exp x) (exp x)) 3) (exp x))
59.0ms
(log (exp (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2)))
24.0ms
(+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2)

series453.0ms

Calls
4 calls:
Slowest
220.0ms
(/ (log (exp (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2))) (* (+ (exp x) 2) (exp x)))
98.0ms
(+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2)
68.0ms
(log (exp (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2)))
67.0ms
(* (- (* (exp x) (exp x)) 3) (exp x))

simplify10.5s

Calls
60 calls:
Slowest
472.0ms
(cbrt (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2))
375.0ms
(/ (* (* (log (exp (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2))) (log (exp (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2)))) (log (exp (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2)))) (* (* (* (+ (exp x) 2) (exp x)) (* (+ (exp x) 2) (exp x))) (* (+ (exp x) 2) (exp x))))
357.0ms
(- (log (log (exp (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2)))) (log (* (+ (exp x) 2) (exp x))))
351.0ms
(/ (* (* (log (exp (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2))) (log (exp (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2)))) (log (exp (+ (* (- (* (exp x) (exp x)) 3) (exp x)) 2)))) (* (* (* (+ (exp x) 2) (+ (exp x) 2)) (+ (exp x) 2)) (* (* (exp x) (exp x)) (exp x))))
345.0ms
(* (- (pow (* (exp x) (exp x)) 3) (pow 3 3)) (exp x))

prune896.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes27.0ms

Accuracy

0% (0.6b remaining)

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

bsearch2.0ms

end0.0ms

sample5.4s

Algorithm
intervals
Results
3.9s5600×body1280valid
555.0ms8153×body80valid
482.0ms1242×body640valid
225.0ms670×body320valid
41.0ms306×body160valid