Details

Time bar (total: 1.7m)

sample39.0ms

Algorithm
intervals
Results
28.0ms523×body80valid

simplify160.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
160.0ms
(exp (- (- 1 (* x x))))

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 1 expressions with local error:

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

rewrite34.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
Counts
1 → 29
Calls
1 calls:
Slowest
33.0ms
(exp (- (- 1 (* x x))))

series37.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
37.0ms
(exp (- (- 1 (* x x))))

simplify999.0ms

Counts
21 → 32
Calls
21 calls:
Slowest
217.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
144.0ms
(exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))
123.0ms
(exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))))
103.0ms
(exp (* (cbrt (- (- 1 (* x x)))) (cbrt (- (- 1 (* x x))))))
66.0ms
(exp (sqrt (- (- 1 (* x x)))))

prune213.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 2 expressions with local error:

0.0b
(pow (exp (- (+ 1 x))) (- 1 x))
0.0b
(exp (- (+ 1 x)))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
24×exp-prod
21×*-un-lft-identity
13×add-sqr-sqrt pow-pow
10×add-cube-cbrt
8×distribute-lft-neg-in distribute-rgt-neg-in
6×pow-unpow add-log-exp
4×unpow-prod-down distribute-lft-out
3×pow1 rem-exp-log
2×unpow-prod-up distribute-neg-in neg-mul-1 add-cbrt-cube exp-sum neg-log add-exp-log insert-posit16 difference-of-squares
1×neg-sub0 exp-neg pow-to-exp sum-log sub-neg exp-diff pow-exp distribute-lft-out-- pow-sub sqr-pow
Counts
2 → 63
Calls
2 calls:
Slowest
28.0ms
(exp (- (+ 1 x)))
27.0ms
(pow (exp (- (+ 1 x))) (- 1 x))

series205.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
181.0ms
(pow (exp (- (+ 1 x))) (- 1 x))
24.0ms
(exp (- (+ 1 x)))

simplify3.6s

Counts
48 → 69
Calls
48 calls:
Slowest
534.0ms
(* (- (+ 1 x)) (- 1 x))
336.0ms
(pow (* (cbrt (exp (- (+ 1 x)))) (cbrt (exp (- (+ 1 x))))) (- 1 x))
336.0ms
(pow (exp (- (+ 1 x))) (- x))
287.0ms
(pow (sqrt (exp (- (+ 1 x)))) (- 1 x))
286.0ms
(pow (exp (- (+ 1 x))) (- x))

prune521.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 3 expressions with local error:

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

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
57×add-sqr-sqrt
46×unpow-prod-down
39×add-exp-log
38×pow-exp
35×*-un-lft-identity
27×prod-exp
26×add-cube-cbrt
24×times-frac
19×associate-*l*
16×div-exp
15×unswap-sqr
14×pow-to-exp pow-pow
12×e-exp-1 pow-unpow sqr-pow
10×exp-prod
9×associate-*r*
8×unpow-prod-up rec-exp 1-exp
6×pow1 pow-sub
5×add-cbrt-cube
4×sub-neg difference-of-squares
3×distribute-lft-neg-in distribute-rgt-neg-in insert-posit16 add-log-exp
2×div-inv distribute-lft-out--
1×frac-times neg-mul-1 pow-prod-down associate-*l/ associate-*r/ *-commutative cbrt-unprod pow-flip inv-pow
Counts
3 → 160
Calls
3 calls:
Slowest
25.0ms
(* (pow (/ 1 E) (- 1 x)) (pow (exp (- x)) (- 1 x)))
8.0ms
(pow (exp (- x)) (- 1 x))
6.0ms
(pow (/ 1 E) (- 1 x))

series272.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
168.0ms
(* (pow (/ 1 E) (- 1 x)) (pow (exp (- x)) (- 1 x)))
68.0ms
(pow (/ 1 E) (- 1 x))
36.0ms
(pow (exp (- x)) (- 1 x))

simplify24.2s

Counts
154 → 169
Calls
154 calls:
Slowest
718.0ms
(+ (* (- 0 1) (- 1 x)) (* (log (exp (- x))) (- 1 x)))
697.0ms
(+ (* (- (log 1) 1) (- 1 x)) (* (log (exp (- x))) (- 1 x)))
648.0ms
(- (+ (/ 1 E) (* 1/2 (/ (* (pow x 2) (pow (log (/ 1 E)) 2)) E))) (/ (* x (log (/ 1 E))) E))
544.0ms
(+ (* (- (log 1) (log E)) (- 1 x)) (* (log (exp (- x))) (- 1 x)))
535.0ms
(+ (* (log (/ 1 E)) (- 1 x)) (* (log (exp (- x))) (- 1 x)))

prune1.5s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite146.0ms

Algorithm
rewrite-expression-head
Rules
297×add-exp-log
240×prod-exp
207×pow-exp
97×add-sqr-sqrt
94×unpow-prod-down
84×pow-to-exp
82×div-exp
66×times-frac
65×*-un-lft-identity
56×associate-*l*
53×add-cube-cbrt
41×rec-exp 1-exp
33×sqrt-prod
21×unswap-sqr
18×pow-sub
16×pow-pow
15×sqr-pow
12×pow-unpow
11×add-cbrt-cube
10×unpow-prod-up exp-prod associate-*r*
8×pow1
6×frac-times associate-*r/
5×sub-neg
4×associate-*l/ cbrt-unprod insert-posit16 add-log-exp difference-of-squares
3×distribute-lft-neg-in distribute-rgt-neg-in pow-prod-down div-inv pow-flip
2×*-commutative distribute-lft-out--
1×neg-mul-1 sqrt-pow1 pow1/2 inv-pow
Counts
4 → 336
Calls
4 calls:
Slowest
66.0ms
(* (pow (/ 1 (sqrt E)) (- 1 x)) (* (pow (/ 1 (sqrt E)) (- 1 x)) (pow (exp (- x)) (- 1 x))))
50.0ms
(* (pow (/ 1 (sqrt E)) (- 1 x)) (pow (exp (- x)) (- 1 x)))
8.0ms
(pow (/ 1 (sqrt E)) (- 1 x))
8.0ms
(pow (exp (- x)) (- 1 x))

series673.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
306.0ms
(* (pow (/ 1 (sqrt E)) (- 1 x)) (* (pow (/ 1 (sqrt E)) (- 1 x)) (pow (exp (- x)) (- 1 x))))
237.0ms
(* (pow (/ 1 (sqrt E)) (- 1 x)) (pow (exp (- x)) (- 1 x)))
105.0ms
(pow (/ 1 (sqrt E)) (- 1 x))
25.0ms
(pow (exp (- x)) (- 1 x))

simplify1.1m

Counts
333 → 348
Calls
333 calls:
Slowest
651.0ms
(* (pow (/ 1 (sqrt E)) x) (pow (/ 1 (sqrt E)) x))
558.0ms
(+ (* (- (log (sqrt E))) (- 1 x)) (+ (* (log (/ 1 (sqrt E))) (- 1 x)) (* (- x) (- 1 x))))
554.0ms
(+ (* (- (log (sqrt E))) (- 1 x)) (* (- x) (- 1 x)))
540.0ms
(* (pow (/ 1 (sqrt E)) 1) (* (pow (/ 1 (sqrt E)) (- 1 x)) (pow (exp (- x)) (- 1 x))))
514.0ms
(+ (log (pow (/ 1 (sqrt E)) (- 1 x))) (log (pow (exp (- x)) (- 1 x))))

prune3.8s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

regimes43.0ms

Accuracy

0% (0.0b remaining)

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

bsearch5.0ms

end0.0ms

sample1.3s

Algorithm
intervals
Results
1.1s15914×body80valid