Details

Time bar (total: 1.4m)

sample50.0ms

Algorithm
intervals
Results
37.0ms480×body80valid

simplify188.0ms

Calls
1 calls:
Slowest
188.0ms
(exp (- (- 1 (* x x))))

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 1 expressions with local error:

0.0b
(exp (- (- 1 (* x x))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
14×exp-prod
6×add-sqr-sqrt *-un-lft-identity
5×distribute-lft-neg-in distribute-rgt-neg-in add-log-exp
4×add-cube-cbrt difference-of-squares
3×rem-exp-log
2×distribute-neg-in exp-sum neg-log
1×neg-sub0 exp-neg pow1 neg-mul-1 sub-neg add-cbrt-cube exp-diff diff-log add-exp-log insert-posit16
Calls
1 calls:
Slowest
27.0ms
(exp (- (- 1 (* x x))))

series21.0ms

Calls
1 calls:
Slowest
21.0ms
(exp (- (- 1 (* x x))))

simplify950.0ms

Calls
21 calls:
Slowest
222.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
149.0ms
(exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))))
112.0ms
(exp (* (cbrt (- (- 1 (* x x)))) (cbrt (- (- 1 (* x x))))))
92.0ms
(exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))
63.0ms
(exp (- (+ (sqrt 1) x)))

prune182.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 1 expressions with local error:

0.0b
(pow (/ 1 E) (- 1 (* x x)))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
13×unpow-prod-down
10×add-sqr-sqrt *-un-lft-identity
9×times-frac add-cube-cbrt
7×pow-exp add-exp-log
5×pow-unpow
4×div-exp
3×pow1 e-exp-1 pow-pow
2×unpow-prod-up rec-exp 1-exp difference-of-squares
1×pow-to-exp sub-neg add-cbrt-cube insert-posit16 div-inv pow-flip inv-pow pow-sub add-log-exp sqr-pow
Calls
1 calls:
Slowest
6.0ms
(pow (/ 1 E) (- 1 (* x x)))

series80.0ms

Calls
1 calls:
Slowest
80.0ms
(pow (/ 1 E) (- 1 (* x x)))

simplify4.8s

Calls
32 calls:
Slowest
652.0ms
(pow (/ (* (cbrt 1) (cbrt 1)) (sqrt E)) (- 1 (* x x)))
432.0ms
(exp (* (log (/ 1 E)) (- 1 (pow x 2))))
396.0ms
(pow (* (cbrt (/ 1 E)) (cbrt (/ 1 E))) (- 1 (* x x)))
389.0ms
(pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt E) (cbrt E))) (- 1 (* x x)))
364.0ms
(exp (* (log (/ 1 E)) (- 1 (pow x 2))))

prune317.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 2 expressions with local error:

0.0b
(pow (/ 1 E) (- (* x x)))
0.0b
(* (pow (/ 1 E) 1) (pow (/ 1 E) (- (* x x))))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
134×add-exp-log
133×pow-exp
81×prod-exp
76×add-sqr-sqrt div-exp
69×unpow-prod-down
57×e-exp-1
47×times-frac
38×rec-exp 1-exp
36×*-un-lft-identity
26×add-cube-cbrt
25×unswap-sqr
19×pow-to-exp
17×associate-*r* associate-*l*
13×sqr-pow
6×pow-unpow
4×pow1 add-cbrt-cube
3×pow-neg pow-pow div-inv
2×neg-sub0 associate-*r/ insert-posit16 pow-sub add-log-exp
1×distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in un-div-inv *-commutative pow-prod-up cbrt-unprod pow-flip inv-pow
Calls
2 calls:
Slowest
45.0ms
(* (pow (/ 1 E) 1) (pow (/ 1 E) (- (* x x))))
9.0ms
(pow (/ 1 E) (- (* x x)))

series202.0ms

Calls
2 calls:
Slowest
137.0ms
(* (pow (/ 1 E) 1) (pow (/ 1 E) (- (* x x))))
64.0ms
(pow (/ 1 E) (- (* x x)))

simplify32.9s

Calls
204 calls:
Slowest
583.0ms
(pow (/ 1 E) (- (* x x)))
569.0ms
(- (+ (* 1/2 (* (pow x 4) (pow (log (/ 1 E)) 2))) 1) (* (pow x 2) (log (/ 1 E))))
521.0ms
(cbrt (pow (/ 1 E) (- (* x x))))
521.0ms
(pow (/ 1 (* (cbrt E) (cbrt E))) (- (* x x)))
508.0ms
(pow (/ (sqrt 1) (* (cbrt E) (cbrt E))) (- (* x x)))

prune1.6s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (pow (/ 1 E) 1) (pow (pow (/ 1 E) x) (- x)))
0.0b
(pow (/ 1 E) x)

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
228×pow-exp
157×add-exp-log
117×unpow-prod-down
99×prod-exp
92×add-sqr-sqrt
84×div-exp
63×e-exp-1
51×times-frac
42×rec-exp 1-exp
39×*-un-lft-identity
35×unswap-sqr
30×pow-to-exp
27×add-cube-cbrt
21×associate-*r* sqr-pow
17×associate-*l*
4×pow1 add-cbrt-cube
3×pow-unpow pow-pow div-inv
2×pow-neg associate-*r/ insert-posit16 add-log-exp
1×neg-sub0 un-div-inv *-commutative cbrt-unprod pow-flip inv-pow pow-sub
Calls
2 calls:
Slowest
30.0ms
(* (pow (/ 1 E) 1) (pow (pow (/ 1 E) x) (- x)))
5.0ms
(pow (/ 1 E) x)

series426.0ms

Calls
2 calls:
Slowest
378.0ms
(* (pow (/ 1 E) 1) (pow (pow (/ 1 E) x) (- x)))
48.0ms
(pow (/ 1 E) x)

simplify38.0s

Calls
239 calls:
Slowest
726.0ms
(* (pow (/ 1 (sqrt E)) 1) (sqrt (pow (pow (/ 1 E) x) (- x))))
468.0ms
(+ (* x (log (/ 1 E))) (+ (* 1/2 (* (pow x 2) (pow (log (/ 1 E)) 2))) 1))
437.0ms
(+ (log (pow (/ 1 E) 1)) (* (* (log (/ 1 E)) x) (- x)))
413.0ms
(+ (* (- 0 (log E)) 1) (log (pow (pow (/ 1 E) x) (- x))))
403.0ms
(+ (* (- (log 1) 1) 1) (log (pow (pow (/ 1 E) x) (- x))))

prune1.6s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

regimes77.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample1.4s

Algorithm
intervals
Results
1.2s16057×body80valid