Details

Time bar (total: 17.8s)

sample54.0ms

Algorithm
intervals
Results
29.0ms534×body80valid

simplify2.5s

Counts
1 → 1
Iterations

Useful iterations: 4 (37.0ms)

IterNodesCost
067
1117
2257
3477
41346
55346
627726
done50016

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 1 expressions with local error:

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

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
4×exp-prod add-log-exp
3×add-sqr-sqrt
2×add-cube-cbrt *-un-lft-identity exp-sum rem-exp-log
1×pow1 add-exp-log sub-neg exp-diff diff-log add-cbrt-cube difference-of-squares
Counts
1 → 16
Calls
1 calls:
40.0ms
(exp (- (* x x) 1.0))

series51.0ms

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

simplify1.4s

Counts
19 → 19
Iterations

Useful iterations: 3 (237.0ms)

IterNodesCost
038151
174147
2223134
31029130
done5001130

prune102.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 2 expressions with local error:

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

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
12×*-un-lft-identity
10×add-sqr-sqrt
8×exp-prod
6×add-cube-cbrt pow-unpow
5×pow-pow add-log-exp
4×unpow-prod-down
3×pow1
2×unpow-prod-up add-exp-log exp-sum add-cbrt-cube rem-exp-log distribute-lft-out difference-of-squares
1×pow-to-exp sub-neg pow-exp sum-log sqrt-prod distribute-lft-out-- pow-sub sqr-pow
Counts
2 → 42
Calls
2 calls:
40.0ms
(exp (+ x (sqrt 1.0)))
61.0ms
(pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))

series319.0ms

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

simplify788.0ms

Counts
48 → 48
Iterations

Useful iterations: done (786.0ms)

IterNodesCost
081564
1219526
2961494
done5001490

prune270.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite438.0ms

Algorithm
rewrite-expression-head
Rules
72×sqrt-prod
59×add-sqr-sqrt
33×*-un-lft-identity
32×unpow-prod-down
23×add-cube-cbrt
17×swap-sqr
16×unpow-prod-up unswap-sqr
14×sqr-pow
13×pow1 associate-*r* associate-*l*
12×pow-unpow exp-prod
10×pow-pow
8×sub-neg
7×exp-sum add-log-exp
6×add-exp-log sqrt-pow1 pow1/2 add-cbrt-cube pow-sub
4×sqrt-div difference-of-squares
3×pow-prod-down pow-sqr pow-prod-up distribute-lft-out
2×pow-to-exp pow-exp rem-exp-log distribute-lft-out--
1×pow2 frac-times pow-plus sqrt-unprod associate-*r/ associate-*l/ prod-exp sum-log rem-square-sqrt *-commutative cbrt-unprod
Counts
4 → 155
Calls
4 calls:
40.0ms
(exp (+ x (sqrt 1.0)))
243.0ms
(* (sqrt (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))) (sqrt (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))))
67.0ms
(pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))
73.0ms
(pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))

series1.0s

Counts
4 → 12
Calls
4 calls:
39.0ms
(exp (+ x (sqrt 1.0)))
325.0ms
(* (sqrt (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))) (sqrt (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))))
320.0ms
(pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))
319.0ms
(pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))

simplify2.3s

Counts
167 → 167
Iterations

Useful iterations: done (2.3s)

IterNodesCost
01573815
13712837
218892663
done50002636

prune939.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize59.0ms

Local error

Found 4 expressions with local error:

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

rewrite440.0ms

Algorithm
rewrite-expression-head
Rules
74×sqrt-prod
66×add-sqr-sqrt
43×unpow-prod-down
34×*-un-lft-identity
22×add-cube-cbrt
20×unswap-sqr
19×pow-pow
18×pow-unpow
16×associate-*l*
14×sqr-pow
13×associate-*r*
12×exp-prod sqrt-pow1
11×pow1
10×unpow-prod-up
8×add-exp-log
7×pow-sub
6×add-cbrt-cube difference-of-squares
5×sub-neg exp-sum
4×pow1/2 sqrt-div add-log-exp
3×pow-to-exp pow-prod-down pow-exp distribute-lft-out distribute-lft-out--
2×sqrt-pow2
1×frac-times cube-unmult sqrt-unprod associate-*r/ associate-*l/ prod-exp *-commutative cbrt-unprod
Counts
4 → 163
Calls
4 calls:
64.0ms
(pow (sqrt (exp (+ x (sqrt 1.0)))) (- x (sqrt 1.0)))
65.0ms
(pow (sqrt (exp (+ x (sqrt 1.0)))) (- x (sqrt 1.0)))
223.0ms
(* (sqrt (pow (sqrt (exp (+ x (sqrt 1.0)))) (- x (sqrt 1.0)))) (sqrt (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))))
74.0ms
(pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))

series2.0s

Counts
4 → 12
Calls
4 calls:
254.0ms
(pow (sqrt (exp (+ x (sqrt 1.0)))) (- x (sqrt 1.0)))
244.0ms
(pow (sqrt (exp (+ x (sqrt 1.0)))) (- x (sqrt 1.0)))
1.1s
(* (sqrt (pow (sqrt (exp (+ x (sqrt 1.0)))) (- x (sqrt 1.0)))) (sqrt (pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))))
310.0ms
(pow (exp (+ x (sqrt 1.0))) (- x (sqrt 1.0)))

simplify2.4s

Counts
175 → 175
Iterations

Useful iterations: done (2.4s)

IterNodesCost
02404387
16314158
229033979
done50043943

prune1.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

regimes51.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01337
11637
done1637

end0.0ms

sample1.3s

Algorithm
intervals
Results
885.0ms16055×body80valid