Details

Time bar (total: 20.4s)

sample46.0ms

Algorithm
intervals
Results
25.0ms501×body80valid

simplify2.8s

Counts
1 → 1
Iterations

Useful iterations: 4 (40.0ms)

IterNodesCost
067
1117
2257
3497
41406
55176
626026
done50016

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize20.0ms

Local error

Found 1 expressions with local error:

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

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
12×exp-prod
7×add-sqr-sqrt
5×distribute-neg-in *-un-lft-identity exp-sum add-cube-cbrt add-log-exp
4×distribute-lft-neg-in distribute-rgt-neg-in
3×prod-diff rem-exp-log
2×neg-log difference-of-squares
1×neg-sub0 exp-neg expm1-log1p-u pow1 neg-mul-1 sub-neg add-cbrt-cube exp-diff diff-log add-exp-log log1p-expm1-u
Counts
1 → 31
Calls
1 calls:
36.0ms
(exp (- (- 1.0 (* x x))))

series43.0ms

Counts
1 → 3
Calls
1 calls:
43.0ms
(exp (- (- 1.0 (* x x))))

simplify3.8s

Counts
34 → 34
Iterations

Useful iterations: done (3.8s)

IterNodesCost
075310
1140298
2401273
32519230
done5001228

prune183.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b
(exp (- (+ (sqrt 1.0) x)))
0.0b
(pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))

rewrite142.0ms

Algorithm
rewrite-expression-head
Rules
32×*-un-lft-identity
26×add-sqr-sqrt
24×exp-prod
22×add-cube-cbrt
20×unpow-prod-up
18×prod-diff
13×pow-pow
10×sqrt-prod
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×expm1-log1p-u distribute-neg-in neg-mul-1 add-cbrt-cube exp-sum neg-log add-exp-log log1p-expm1-u 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 → 83
Calls
2 calls:
60.0ms
(exp (- (+ (sqrt 1.0) x)))
77.0ms
(pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))

series342.0ms

Counts
2 → 6
Calls
2 calls:
48.0ms
(exp (- (+ (sqrt 1.0) x)))
294.0ms
(pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))

simplify902.0ms

Counts
89 → 89
Iterations

Useful iterations: done (897.0ms)

IterNodesCost
01581509
14331301
216371163
done50001143

prune337.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp (- (+ (sqrt 1.0) x)))
0.0b
(* (sqrt (pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))) (sqrt (pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))))
0.0b
(pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))
0.0b
(pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))

rewrite590.0ms

Algorithm
rewrite-expression-head
Rules
216×sqrt-prod
153×add-sqr-sqrt
136×unpow-prod-up
121×*-un-lft-identity
120×prod-diff
105×add-cube-cbrt
41×swap-sqr
36×exp-prod
32×unpow-prod-down
31×associate-*r* associate-*l*
26×pow-pow
16×unswap-sqr
14×sqr-pow
13×pow1
12×distribute-lft-neg-in pow-unpow distribute-rgt-neg-in
8×sub-neg add-log-exp
7×distribute-neg-in exp-sum
6×sqrt-pow1 add-cbrt-cube pow1/2 add-exp-log distribute-lft-out pow-sub
4×expm1-log1p-u sqrt-div log1p-expm1-u difference-of-squares
3×neg-mul-1 pow-prod-down pow-sqr pow-prod-up rem-exp-log
2×pow-to-exp neg-log pow-exp distribute-lft-out--
1×pow2 neg-sub0 exp-neg frac-times sum-log rem-square-sqrt pow-plus exp-diff sqrt-unprod associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod
Counts
4 → 286
Calls
4 calls:
71.0ms
(exp (- (+ (sqrt 1.0) x)))
324.0ms
(* (sqrt (pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))) (sqrt (pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))))
73.0ms
(pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))
98.0ms
(pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))

series953.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(exp (- (+ (sqrt 1.0) x)))
297.0ms
(* (sqrt (pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))) (sqrt (pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))))
281.0ms
(pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))
333.0ms
(pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))

simplify1.6s

Counts
298 → 298
Iterations

Useful iterations: done (1.5s)

IterNodesCost
02899135
16626246
225555606
done50005332

prune1.4s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize80.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (sqrt (pow (exp (- (sqrt 1.0))) (- (sqrt 1.0) x))) (* (sqrt (pow (exp (- x)) (- (sqrt 1.0) x))) (sqrt (pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x)))))
0.0b
(pow (exp (- x)) (- (sqrt 1.0) x))
0.0b
(pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))
0.1b
(pow (exp (- (sqrt 1.0))) (- (sqrt 1.0) x))

rewrite356.0ms

Algorithm
rewrite-expression-head
Rules
84×add-sqr-sqrt
82×*-un-lft-identity
80×unpow-prod-up
72×prod-diff add-cube-cbrt sqrt-prod
41×pow-pow
38×exp-prod
30×associate-*l*
18×pow-unpow
15×pow-sub
13×distribute-lft-neg-in unpow-prod-down distribute-rgt-neg-in
12×pow1 sqrt-div
9×add-cbrt-cube add-exp-log
7×pow-prod-down
6×difference-of-squares
5×frac-times associate-*r/
4×expm1-log1p-u sub-neg log1p-expm1-u add-log-exp sqr-pow
3×pow-to-exp neg-mul-1 sqrt-pow1 pow1/2 associate-*l/ pow-exp prod-exp cbrt-unprod distribute-lft-out--
2×sqrt-unprod distribute-lft-out
1×distribute-neg-in associate-*r* exp-sum *-commutative
Counts
4 → 225
Calls
4 calls:
216.0ms
(* (sqrt (pow (exp (- (sqrt 1.0))) (- (sqrt 1.0) x))) (* (sqrt (pow (exp (- x)) (- (sqrt 1.0) x))) (sqrt (pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x)))))
15.0ms
(pow (exp (- x)) (- (sqrt 1.0) x))
89.0ms
(pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))
23.0ms
(pow (exp (- (sqrt 1.0))) (- (sqrt 1.0) x))

series1.4s

Counts
4 → 12
Calls
4 calls:
948.0ms
(* (sqrt (pow (exp (- (sqrt 1.0))) (- (sqrt 1.0) x))) (* (sqrt (pow (exp (- x)) (- (sqrt 1.0) x))) (sqrt (pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x)))))
60.0ms
(pow (exp (- x)) (- (sqrt 1.0) x))
293.0ms
(pow (exp (- (+ (sqrt 1.0) x))) (- (sqrt 1.0) x))
126.0ms
(pow (exp (- (sqrt 1.0))) (- (sqrt 1.0) x))

simplify1.9s

Counts
237 → 237
Iterations

Useful iterations: done (1.9s)

IterNodesCost
03395795
110174983
241784462
done50014456

prune1.7s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

regimes169.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01933
12333
22433
done2433

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.3s15791×body80valid