Details

Time bar (total: 3.1m)

sample41.0ms

Algorithm
intervals
Results
26.0ms511×body80valid

simplify185.0ms

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

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 1 expressions with local error:

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

rewrite21.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
20.0ms
(exp (- (- 1 (* x x))))

series34.0ms

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

simplify1.1s

Calls
21 calls:
Slowest
254.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
130.0ms
(exp (* (cbrt (- (- 1 (* x x)))) (cbrt (- (- 1 (* x x))))))
113.0ms
(exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))))
105.0ms
(exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))
73.0ms
(exp (- (+ (sqrt 1) x)))

prune263.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 2 expressions with local error:

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

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
16×pow-unpow
14×add-sqr-sqrt
8×exp-prod add-cube-cbrt
6×distribute-lft-neg-in distribute-rgt-neg-in
5×pow-pow add-log-exp
4×unpow-prod-down difference-of-squares
3×pow1
2×unpow-prod-up distribute-neg-in add-cbrt-cube exp-sum add-exp-log insert-posit16 distribute-lft-out distribute-lft-out-- rem-exp-log
1×neg-sub0 pow-to-exp pow-neg neg-mul-1 sum-log sub-neg pow-exp pow-sub sqr-pow
Calls
2 calls:
Slowest
21.0ms
(pow (exp (+ 1 x)) (- (- 1 x)))
15.0ms
(exp (+ 1 x))

series178.0ms

Calls
2 calls:
Slowest
163.0ms
(pow (exp (+ 1 x)) (- (- 1 x)))
15.0ms
(exp (+ 1 x))

simplify2.7s

Calls
43 calls:
Slowest
481.0ms
(* (+ 1 x) (- (- 1 x)))
339.0ms
(pow (* (cbrt (exp (+ 1 x))) (cbrt (exp (+ 1 x)))) (- (- 1 x)))
213.0ms
(+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
183.0ms
(exp (* -1 (* (- 1 x) (+ x 1))))
168.0ms
(+ (* 1/2 (* (pow x 2) E)) (+ E (* x E)))

prune524.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2)) (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2)))
0.0b
(exp (+ 1 x))
0.0b
(exp (+ 1 x))
0.0b
(pow (exp (+ 1 x)) (/ (- (- 1 x)) 2))

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
72×add-sqr-sqrt
66×*-un-lft-identity
52×pow-unpow
48×times-frac
42×add-cube-cbrt
26×unpow-prod-down
18×distribute-lft-neg-in distribute-rgt-neg-in
12×exp-prod difference-of-squares
11×sqr-pow
10×add-exp-log add-log-exp
9×prod-exp unswap-sqr
8×pow-neg swap-sqr associate-*r* associate-*l* distribute-frac-neg
7×neg-sub0 pow-to-exp div-sub exp-sum pow-exp pow-sub
6×add-cbrt-cube distribute-lft-out--
5×pow1 pow-pow
4×frac-times insert-posit16 rem-exp-log
3×neg-mul-1 distribute-lft-out
2×sum-log associate-*l/ associate-*r/
1×pow2 pow-prod-down pow-sqr un-div-inv *-commutative pow-prod-up cbrt-unprod div-inv
Calls
4 calls:
Slowest
63.0ms
(* (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2)) (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2)))
32.0ms
(pow (exp (+ 1 x)) (/ (- (- 1 x)) 2))
19.0ms
(exp (+ 1 x))
14.0ms
(exp (+ 1 x))

series395.0ms

Calls
4 calls:
Slowest
187.0ms
(* (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2)) (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2)))
178.0ms
(pow (exp (+ 1 x)) (/ (- (- 1 x)) 2))
15.0ms
(exp (+ 1 x))
15.0ms
(exp (+ 1 x))

simplify25.9s

Calls
168 calls:
Slowest
658.0ms
(* (pow (exp (+ 1 x)) (/ (- 1 x) 2)) (pow (exp (+ 1 x)) (/ (- 1 x) 2)))
524.0ms
(+ (* (pow x 2) (pow (exp -1/2) 2)) (+ (pow (exp -1/2) 2) (* 1/2 (* (pow x 4) (pow (exp -1/2) 2)))))
484.0ms
(* (+ 1 x) (/ (- (- 1 x)) 2))
473.0ms
(* (* (* (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2)) (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2))) (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2))) (* (* (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2)) (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2))) (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2))))
449.0ms
(* (pow (exp (+ 1 x)) (/ 0 2)) (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2)))

prune1.9s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize60.0ms

Local error

Found 4 expressions with local error:

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

rewrite403.0ms

Algorithm
rewrite-expression-head
Rules
242×sqrt-div
144×frac-times
129×pow1
124×sqrt-prod
121×neg-sub0 pow-neg div-sub distribute-frac-neg pow-sub
88×add-sqr-sqrt
68×pow-prod-up
57×sqrt-pow1 pow1/2
53×unpow-prod-down
50×pow-sqr
48×associate-*l/ associate-*r/
47×pow-prod-down
33×unswap-sqr
30×*-un-lft-identity add-cube-cbrt
27×swap-sqr
26×sqr-pow
23×associate-*r* associate-*l*
20×pow-plus add-cbrt-cube add-exp-log
15×pow2
10×prod-exp cbrt-unprod
9×exp-sum
7×sqrt-unprod
4×insert-posit16 add-log-exp
3×rem-sqrt-square rem-square-sqrt *-commutative
Calls
4 calls:
Slowest
240.0ms
(* (* (sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2))) (sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2)))) (* (sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2))) (sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2)))))
75.0ms
(* (sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2))) (sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2))))
64.0ms
(* (sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2))) (sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2))))
13.0ms
(sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2)))

series700.0ms

Calls
4 calls:
Slowest
215.0ms
(* (* (sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2))) (sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2)))) (* (sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2))) (sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2)))))
179.0ms
(sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2)))
170.0ms
(* (sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2))) (sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2))))
136.0ms
(* (sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2))) (sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2))))

simplify2.4m

Calls
533 calls:
Slowest
795.0ms
(* (* (sqrt (pow (exp (+ 1 x)) (/ (- 1 x) 2))) (sqrt (pow (exp (+ 1 x)) (/ (- 1 x) 2)))) (* (sqrt (pow (exp (+ 1 x)) (/ (- 1 x) 2))) (sqrt (pow (exp (+ 1 x)) (/ (- 1 x) 2)))))
790.0ms
(* (sqrt (sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2)))) (sqrt (sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2)))))
771.0ms
(* (* (sqrt (pow (exp (+ 1 x)) (/ 0 2))) (sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2)))) (* (sqrt (pow (exp (+ 1 x)) (/ 0 2))) (sqrt 1)))
765.0ms
(sqrt (sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2))))
726.0ms
(* (sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2))) (sqrt (pow (exp (+ 1 x)) (/ (- (- 1 x)) 2))))

prune4.3s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes131.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.1s16042×body80valid