Details

Time bar (total: 19.3s)

sample98.0ms

Algorithm
intervals
Results
38.0ms104×body1280valid
23.0ms92×body640valid
13.0ms379×pre80true
5.0ms38×body320valid
5.0ms129×body80valid
2.0ms16×body160valid

simplify15.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.7b

localize11.0ms

Local error

Found 1 expressions with local error:

4.2b
(- (exp x) 1)

rewrite7.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
7.0ms
(- (exp x) 1)

series18.0ms

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

simplify182.0ms

Calls
4 calls:
Slowest
133.0ms
(+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
17.0ms
(- (exp x) 1)
15.0ms
(- (exp x) 1)
15.0ms
(+ (sqrt (exp x)) 1)

prune132.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize21.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
(+ x (* (+ 1/2 (* x 1/6)) (* x x)))

rewrite13.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
9.0ms
(* (+ 1/2 (* x 1/6)) (* x x))
3.0ms
(+ x (* (+ 1/2 (* x 1/6)) (* x x)))
0.0ms
(* x 1/6)

series66.0ms

Calls
3 calls:
Slowest
41.0ms
(* (+ 1/2 (* x 1/6)) (* x x))
13.0ms
(+ x (* (+ 1/2 (* x 1/6)) (* x x)))
11.0ms
(* x 1/6)

simplify1.3s

Calls
16 calls:
Slowest
331.0ms
(* (+ (pow 1/2 3) (pow (* x 1/6) 3)) (* x x))
149.0ms
(* (- (* 1/2 1/2) (* (* x 1/6) (* x 1/6))) (* x x))
142.0ms
(+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
133.0ms
(* (* (* (+ 1/2 (* x 1/6)) (+ 1/2 (* x 1/6))) (+ 1/2 (* x 1/6))) (* (* (* x x) (* x x)) (* x x)))
120.0ms
(+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))

prune308.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

localize11.0ms

Local error

Found 4 expressions with local error:

29.8b
(/ (- (* x x) (* (* (+ 1/2 (* x 1/6)) (* x x)) (* (+ 1/2 (* x 1/6)) (* x x)))) (- x (* (+ 1/2 (* x 1/6)) (* x x))))
0.3b
(* x 1/6)
0.3b
(* x 1/6)
0.3b
(* x 1/6)

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×times-frac
6×add-cbrt-cube add-exp-log
4×pow1 insert-posit16 associate-/l* add-log-exp difference-of-squares
3×associate-/r* *-commutative
2×flip3-- associate-/r/ flip-- associate-/l/
1×cbrt-undiv clear-num frac-2neg div-sub div-exp div-inv
Calls
4 calls:
Slowest
11.0ms
(/ (- (* x x) (* (* (+ 1/2 (* x 1/6)) (* x x)) (* (+ 1/2 (* x 1/6)) (* x x)))) (- x (* (+ 1/2 (* x 1/6)) (* x x))))
0.0ms
(* x 1/6)
0.0ms
(* x 1/6)
0.0ms
(* x 1/6)

series65.0ms

Calls
4 calls:
Slowest
41.0ms
(/ (- (* x x) (* (* (+ 1/2 (* x 1/6)) (* x x)) (* (+ 1/2 (* x 1/6)) (* x x)))) (- x (* (+ 1/2 (* x 1/6)) (* x x))))
11.0ms
(* x 1/6)
7.0ms
(* x 1/6)
7.0ms
(* x 1/6)

simplify8.1s

Calls
49 calls:
Slowest
691.0ms
(sqrt (- (* x x) (* (* (+ 1/2 (* x 1/6)) (* x x)) (* (+ 1/2 (* x 1/6)) (* x x)))))
681.0ms
(/ (sqrt (- (* x x) (* (* (+ 1/2 (* x 1/6)) (* x x)) (* (+ 1/2 (* x 1/6)) (* x x))))) 1)
430.0ms
(/ (* (* (- (* x x) (* (* (+ 1/2 (* x 1/6)) (* x x)) (* (+ 1/2 (* x 1/6)) (* x x)))) (- (* x x) (* (* (+ 1/2 (* x 1/6)) (* x x)) (* (+ 1/2 (* x 1/6)) (* x x))))) (- (* x x) (* (* (+ 1/2 (* x 1/6)) (* x x)) (* (+ 1/2 (* x 1/6)) (* x x))))) (* (* (- x (* (+ 1/2 (* x 1/6)) (* x x))) (- x (* (+ 1/2 (* x 1/6)) (* x x)))) (- x (* (+ 1/2 (* x 1/6)) (* x x)))))
387.0ms
(/ (+ x (* (+ 1/2 (* x 1/6)) (* x x))) (sqrt (- x (* (+ 1/2 (* x 1/6)) (* x x)))))
379.0ms
(/ (+ x (* (+ 1/2 (* x 1/6)) (* x x))) (* (cbrt (- x (* (+ 1/2 (* x 1/6)) (* x x)))) (cbrt (- x (* (+ 1/2 (* x 1/6)) (* x x))))))

prune642.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 4 expressions with local error:

29.7b
(sqrt (- (* x x) (* (* (+ 1/2 (* x 1/6)) (* x x)) (* (+ 1/2 (* x 1/6)) (* x x)))))
29.7b
(sqrt (- (* x x) (* (* (+ 1/2 (* x 1/6)) (* x x)) (* (+ 1/2 (* x 1/6)) (* x x)))))
0.3b
(* x 1/6)
0.3b
(* x 1/6)

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt sqrt-prod
6×*-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube sqrt-div add-exp-log insert-posit16 add-log-exp
2×rem-sqrt-square flip3-- pow1/2 *-commutative flip-- difference-of-squares
Calls
4 calls:
Slowest
3.0ms
(sqrt (- (* x x) (* (* (+ 1/2 (* x 1/6)) (* x x)) (* (+ 1/2 (* x 1/6)) (* x x)))))
2.0ms
(sqrt (- (* x x) (* (* (+ 1/2 (* x 1/6)) (* x x)) (* (+ 1/2 (* x 1/6)) (* x x)))))
0.0ms
(* x 1/6)
0.0ms
(* x 1/6)

series120.0ms

Calls
4 calls:
Slowest
54.0ms
(sqrt (- (* x x) (* (* (+ 1/2 (* x 1/6)) (* x x)) (* (+ 1/2 (* x 1/6)) (* x x)))))
43.0ms
(sqrt (- (* x x) (* (* (+ 1/2 (* x 1/6)) (* x x)) (* (+ 1/2 (* x 1/6)) (* x x)))))
11.0ms
(* x 1/6)
11.0ms
(* x 1/6)

simplify4.9s

Calls
26 calls:
Slowest
747.0ms
(sqrt (- (* x x) (* (* (+ 1/2 (* x 1/6)) (* x x)) (* (+ 1/2 (* x 1/6)) (* x x)))))
668.0ms
(sqrt (- (* x x) (* (* (+ 1/2 (* x 1/6)) (* x x)) (* (+ 1/2 (* x 1/6)) (* x x)))))
583.0ms
(- x (+ (* 1/8 (pow x 3)) (* 1/12 (pow x 4))))
327.0ms
(- (+ (* 1/12 (/ (pow x 2) (sqrt -1/36))) (+ (* 1/288 (/ x (pow (sqrt -1/36) 3))) (* 1/8 (/ x (sqrt -1/36))))) (* (pow x 3) (sqrt -1/36)))
325.0ms
(- (+ (* 1/12 (/ (pow x 2) (sqrt -1/36))) (+ (* 1/288 (/ x (pow (sqrt -1/36) 3))) (* 1/8 (/ x (sqrt -1/36))))) (* (pow x 3) (sqrt -1/36)))

prune672.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.1b

regimes112.0ms

Accuracy

0% (0.4b remaining)

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

bsearch3.0ms

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.1s3412×body1280valid
472.0ms2529×body640valid
438.0ms11984×pre80true
144.0ms1236×body320valid
123.0ms4176×body80valid
48.0ms631×body160valid