Details

Time bar (total: 53.3s)

sample59.0ms

Algorithm
intervals
Results
45.0ms532×body80valid

simplify193.0ms

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

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 2 expressions with local error:

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

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
50×add-sqr-sqrt
34×exp-prod
32×*-un-lft-identity
30×difference-of-squares
15×distribute-lft-neg-in distribute-rgt-neg-in
8×add-log-exp
6×swap-sqr *-commutative distribute-lft-out-- unswap-sqr
5×add-cube-cbrt
3×associate-*l* rem-exp-log
2×pow1 distribute-neg-in sub-neg add-cbrt-cube diff-log exp-sum neg-log add-exp-log insert-posit16
1×neg-sub0 exp-neg neg-mul-1 flip3-- exp-diff flip--
Calls
2 calls:
Slowest
81.0ms
(exp (- (- 1 (* x x))))
10.0ms
(- 1 (* x x))

series80.0ms

Calls
2 calls:
Slowest
54.0ms
(- 1 (* x x))
27.0ms
(exp (- (- 1 (* x x))))

simplify2.1s

Calls
67 calls:
Slowest
213.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
115.0ms
(exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))))
114.0ms
(exp (* (cbrt (- (- 1 (* x x)))) (cbrt (- (- 1 (* x x))))))
111.0ms
(exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))
96.0ms
(exp (- (+ 1 (* (sqrt x) (sqrt x)))))

prune668.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

29.7b
(sqrt (* x x))
29.7b
(sqrt (* x x))
0.0b
(pow (exp (- (+ 1 (sqrt (* x x))))) (- 1 (sqrt (* x x))))
0.0b
(exp (- (+ 1 (sqrt (* x x)))))

rewrite204.0ms

Algorithm
rewrite-expression-head
Rules
64×add-sqr-sqrt
50×sqrt-prod
48×*-un-lft-identity
32×exp-prod
22×add-cube-cbrt
21×pow1
18×pow-unpow
17×pow-pow
12×distribute-lft-neg-in distribute-rgt-neg-in sqrt-pow1 distribute-lft-out difference-of-squares
11×associate-*l*
10×rem-sqrt-square swap-sqr
8×add-log-exp
6×associate-*r* *-commutative unswap-sqr
5×unpow-prod-down add-exp-log
4×distribute-neg-in add-cbrt-cube exp-sum insert-posit16
3×distribute-lft-out-- rem-exp-log
2×pow2 unpow-prod-up +-commutative neg-mul-1 pow-plus pow1/2 pow-prod-down neg-log pow-exp pow-sqr pow-prod-up
1×neg-sub0 exp-neg pow-to-exp sum-log sub-neg exp-diff pow-sub sqr-pow
Calls
4 calls:
Slowest
103.0ms
(pow (exp (- (+ 1 (sqrt (* x x))))) (- 1 (sqrt (* x x))))
88.0ms
(exp (- (+ 1 (sqrt (* x x)))))
5.0ms
(sqrt (* x x))
5.0ms
(sqrt (* x x))

series222.0ms

Calls
4 calls:
Slowest
179.0ms
(pow (exp (- (+ 1 (sqrt (* x x))))) (- 1 (sqrt (* x x))))
25.0ms
(exp (- (+ 1 (sqrt (* x x)))))
9.0ms
(sqrt (* x x))
9.0ms
(sqrt (* x x))

simplify5.5s

Calls
117 calls:
Slowest
572.0ms
(* (- (+ 1 (sqrt (* x x)))) (- 1 (sqrt (* x x))))
369.0ms
(pow (exp (- (+ 1 (sqrt (* x x))))) (- (sqrt (* x x))))
363.0ms
(pow (exp (- (+ 1 (sqrt (* x x))))) (- (sqrt (* x x))))
335.0ms
(pow (sqrt (exp (- (+ 1 (sqrt (* x x)))))) (- 1 (sqrt (* x x))))
312.0ms
(pow (* (cbrt (exp (- (+ 1 (sqrt (* x x)))))) (cbrt (exp (- (+ 1 (sqrt (* x x))))))) (- 1 (sqrt (* x x))))

prune1.6s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

29.7b
(sqrt (* x x))
29.7b
(sqrt (* x x))
29.7b
(sqrt (* x x))
0.0b
(* (pow (exp (- (sqrt (* x x)))) (- 1 (sqrt (* x x)))) (pow (exp (- 1)) (- 1 (sqrt (* x x)))))

rewrite273.0ms

Algorithm
rewrite-expression-head
Rules
142×add-sqr-sqrt
97×sqrt-prod
90×*-un-lft-identity
72×pow-unpow
48×difference-of-squares
46×pow-prod-down
35×pow1
29×pow-pow
25×add-cube-cbrt
24×exp-prod associate-*l*
23×unswap-sqr
20×swap-sqr add-exp-log
18×sqrt-pow1 associate-*r*
16×pow-exp prod-exp
15×rem-sqrt-square *-commutative pow-prod-up
14×distribute-lft-out--
12×unpow-prod-down
9×distribute-lft-neg-in
8×pow-to-exp distribute-rgt-neg-in sqr-pow
6×add-cbrt-cube
4×unpow-prod-up insert-posit16 pow-sub add-log-exp
3×pow2 neg-mul-1 pow-plus pow1/2 pow-sqr
2×sub-neg
1×frac-times associate-*l/ associate-*r/ cbrt-unprod
Calls
4 calls:
Slowest
250.0ms
(* (pow (exp (- (sqrt (* x x)))) (- 1 (sqrt (* x x)))) (pow (exp (- 1)) (- 1 (sqrt (* x x)))))
5.0ms
(sqrt (* x x))
5.0ms
(sqrt (* x x))
5.0ms
(sqrt (* x x))

series209.0ms

Calls
4 calls:
Slowest
179.0ms
(* (pow (exp (- (sqrt (* x x)))) (- 1 (sqrt (* x x)))) (pow (exp (- 1)) (- 1 (sqrt (* x x)))))
12.0ms
(sqrt (* x x))
9.0ms
(sqrt (* x x))
9.0ms
(sqrt (* x x))

simplify31.7s

Calls
237 calls:
Slowest
805.0ms
(+ (* (log (exp (- (sqrt (* x x))))) (- 1 (sqrt (* x x)))) (* (- 1) (- 1 (sqrt (* x x)))))
737.0ms
(+ (* (log (exp (- (sqrt (* x x))))) (- 1 (sqrt (* x x)))) (* (- 1) (- 1 (sqrt (* x x)))))
567.0ms
(* (pow (exp (- (sqrt (* x x)))) 1) (pow (exp (- 1)) 1))
499.0ms
(* (sqrt (pow (exp (- (sqrt (* x x)))) (- 1 (sqrt (* x x))))) (sqrt (pow (exp (- 1)) (- 1 (sqrt (* x x))))))
496.0ms
(* (pow (exp (- (sqrt (* x x)))) 1) (pow (exp (- 1)) 1))

prune3.0s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

29.7b
(sqrt (* x x))
29.7b
(sqrt (* x x))
29.7b
(sqrt (* x x))
0.0b
(pow (exp (- (sqrt (* x x)))) (- 1 (sqrt (* x x))))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
87×sqrt-prod
79×add-sqr-sqrt
44×*-un-lft-identity
41×pow-pow
40×exp-prod
34×add-cube-cbrt
29×pow1
20×swap-sqr
18×distribute-lft-neg-in pow-unpow distribute-rgt-neg-in sqrt-pow1
16×associate-*l*
15×rem-sqrt-square associate-*r*
12×difference-of-squares
10×*-commutative unswap-sqr
5×add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp
3×pow2 unpow-prod-down pow-plus pow1/2 pow-prod-down pow-sqr pow-prod-up distribute-lft-out--
2×unpow-prod-up pow-exp
1×pow-to-exp neg-mul-1 sub-neg pow-sub sqr-pow
Calls
4 calls:
Slowest
32.0ms
(pow (exp (- (sqrt (* x x)))) (- 1 (sqrt (* x x))))
11.0ms
(sqrt (* x x))
10.0ms
(sqrt (* x x))
10.0ms
(sqrt (* x x))

series55.0ms

Calls
4 calls:
Slowest
23.0ms
(pow (exp (- (sqrt (* x x)))) (- 1 (sqrt (* x x))))
15.0ms
(sqrt (* x x))
9.0ms
(sqrt (* x x))
8.0ms
(sqrt (* x x))

simplify3.3s

Calls
139 calls:
Slowest
276.0ms
(pow (exp (- (sqrt (* x x)))) (- (sqrt (* x x))))
275.0ms
(pow (sqrt (exp (- (sqrt (* x x))))) (- 1 (sqrt (* x x))))
256.0ms
(pow (* (cbrt (exp (- (sqrt (* x x))))) (cbrt (exp (- (sqrt (* x x)))))) (- 1 (sqrt (* x x))))
216.0ms
(pow (exp (- (sqrt (* x x)))) (- (sqrt (* x x))))
206.0ms
(pow (exp (- (sqrt (* x x)))) (sqrt (* x x)))

prune2.7s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes57.0ms

Accuracy

0% (0.0b remaining)

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

bsearch3.0ms

end0.0ms

sample1.3s

Algorithm
intervals
Results
1.1s15957×body80valid