Details

Time bar (total: 20.9s)

sample94.0ms

Algorithm
intervals
Results
39.0ms107×body1280valid
16.0ms72×body640valid
13.0ms372×pre80true
6.0ms40×body320valid
5.0ms124×body80valid
3.0ms29×body160valid

simplify17.0ms

Calls
1 calls:
Slowest
17.0ms
(- (exp x) 1)

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 57.9b

localize5.0ms

Local error

Found 1 expressions with local error:

6.5b
(- (exp x) 1)

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
2×add-sqr-sqrt
1×pow1 sub-neg *-un-lft-identity flip3-- add-cbrt-cube difference-of-sqr-1 add-exp-log add-cube-cbrt insert-posit16 flip-- add-log-exp
Calls
1 calls:
Slowest
4.0ms
(- (exp x) 1)

series16.0ms

Calls
1 calls:
Slowest
16.0ms
(- (exp x) 1)

simplify155.0ms

Calls
4 calls:
Slowest
125.0ms
(+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
11.0ms
(- (exp x) 1)
10.0ms
(- (exp x) 1)
8.0ms
(+ (sqrt (exp x)) 1)

prune122.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize12.0ms

Local error

Found 3 expressions with local error:

0.3b
(* x 1/6)
0.0b
(* (+ 1/2 (* x 1/6)) (* x x))
0.0b
(+ 1/2 (* x 1/6))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
5×pow1 add-cbrt-cube add-exp-log
4×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
3×associate-*l* insert-posit16 add-log-exp
2×flip3-+ associate-*l/ *-commutative flip-+
1×+-commutative associate-*r* pow-prod-down prod-exp cbrt-unprod
Calls
3 calls:
Slowest
4.0ms
(* (+ 1/2 (* x 1/6)) (* x x))
1.0ms
(+ 1/2 (* x 1/6))
0.0ms
(* x 1/6)

series168.0ms

Calls
3 calls:
Slowest
97.0ms
(* (+ 1/2 (* x 1/6)) (* x x))
42.0ms
(+ 1/2 (* x 1/6))
29.0ms
(* x 1/6)

simplify1.0s

Calls
16 calls:
Slowest
369.0ms
(* (+ (pow 1/2 3) (pow (* x 1/6) 3)) (* x x))
181.0ms
(* (- (* 1/2 1/2) (* (* x 1/6) (* x 1/6))) (* x x))
173.0ms
(* (* (* (+ 1/2 (* x 1/6)) (+ 1/2 (* x 1/6))) (+ 1/2 (* x 1/6))) (* (* (* x x) (* x x)) (* x x)))
63.0ms
(* (+ 1/2 (* x 1/6)) (* x x))
62.0ms
(+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))

prune289.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

localize29.0ms

Local error

Found 4 expressions with local error:

6.4b
(- (pow (exp x) 3) (pow 1 3))
0.1b
(pow (exp x) 3)
0.0b
(/ (- (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))))
0.0b
(* (exp x) (exp x))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
52×add-sqr-sqrt
37×*-un-lft-identity
27×times-frac
22×add-cube-cbrt
15×difference-of-squares
10×pow1 distribute-lft-out--
9×add-cbrt-cube associate-/l*
8×unpow-prod-down cube-prod
6×cube-mult add-exp-log add-log-exp
5×difference-cubes
4×insert-posit16
3×associate-/r* associate-*r* associate-*l*
2×flip3-- associate-/r/ flip-- associate-/l/
1×pow2 pow-to-exp cbrt-undiv clear-num sub-neg pow-pow frac-2neg flip3-+ pow-plus diff-log unpow3 div-sub div-exp pow-prod-down pow-exp prod-exp *-commutative pow-prod-up cbrt-unprod flip-+ div-inv rem-cube-cbrt
Calls
4 calls:
Slowest
39.0ms
(/ (- (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))))
10.0ms
(- (pow (exp x) 3) (pow 1 3))
4.0ms
(* (exp x) (exp x))
1.0ms
(pow (exp x) 3)

series168.0ms

Calls
4 calls:
Slowest
84.0ms
(/ (- (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))))
37.0ms
(- (pow (exp x) 3) (pow 1 3))
24.0ms
(pow (exp x) 3)
23.0ms
(* (exp x) (exp x))

simplify8.8s

Calls
113 calls:
Slowest
340.0ms
(/ (* (* (- (pow (exp x) 3) (pow 1 3)) (- (pow (exp x) 3) (pow 1 3))) (- (pow (exp x) 3) (pow 1 3))) (* (* (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))))
335.0ms
(+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (+ (* 1 1) (* (exp x) 1)) (+ (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))))
222.0ms
(/ (- (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))))
222.0ms
(- (* (pow (exp x) 3) (pow (exp x) 3)) (* (pow 1 3) (pow 1 3)))
217.0ms
(+ (* 3 x) (+ (* 9/2 (pow x 3)) (* 9/2 (pow x 2))))

prune1.1s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

6.4b
(- (exp (+ x (+ x x))) 1)
0.0b
(/ (- (exp (+ x (+ x x))) 1) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))))
0.0b
(* (exp x) (exp x))
0.0b
(exp (+ x (+ x x)))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
16×*-un-lft-identity add-cube-cbrt
12×times-frac
9×pow1
8×add-cbrt-cube
6×add-exp-log
5×difference-of-sqr-1 add-log-exp
4×insert-posit16 associate-/l*
3×exp-prod associate-/r* associate-*r* associate-*l*
2×flip3-- associate-/r/ flip-- associate-/l/
1×pow2 cbrt-undiv clear-num sub-neg frac-2neg flip3-+ pow-plus div-sub div-exp exp-sum pow-prod-down prod-exp *-commutative pow-prod-up cbrt-unprod flip-+ div-inv rem-exp-log
Calls
4 calls:
Slowest
27.0ms
(/ (- (exp (+ x (+ x x))) 1) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))))
13.0ms
(- (exp (+ x (+ x x))) 1)
4.0ms
(* (exp x) (exp x))
3.0ms
(exp (+ x (+ x x)))

series164.0ms

Calls
4 calls:
Slowest
101.0ms
(/ (- (exp (+ x (+ x x))) 1) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))))
27.0ms
(- (exp (+ x (+ x x))) 1)
24.0ms
(* (exp x) (exp x))
13.0ms
(exp (+ x (+ x x)))

simplify5.0s

Calls
66 calls:
Slowest
404.0ms
(/ (* (* (- (exp (+ x (+ x x))) 1) (- (exp (+ x (+ x x))) 1)) (- (exp (+ x (+ x x))) 1)) (* (* (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))))
301.0ms
(+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (- (* (+ (* 1 1) (* (exp x) 1)) (+ (* 1 1) (* (exp x) 1))) (* (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))))
237.0ms
(+ (* 3 x) (+ (* 9/2 (pow x 3)) (* 9/2 (pow x 2))))
215.0ms
(/ (- (exp (+ x (+ x x))) 1) (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))))
181.0ms
(/ (* (cbrt (- (exp (+ x (+ x x))) 1)) (cbrt (- (exp (+ x (+ x x))) 1))) (* (cbrt (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1)))) (cbrt (+ (* (exp x) (exp x)) (+ (* 1 1) (* (exp x) 1))))))

prune580.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes82.0ms

Accuracy

0% (0.4b remaining)

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

bsearch3.0ms

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.1s3445×body1280valid
760.0ms11903×pre80true
522.0ms2456×body640valid
158.0ms1267×body320valid
131.0ms4102×body80valid
72.0ms633×body160valid