Details

Time bar (total: 6.3s)

sample20.0ms

Algorithm
intervals
Results
13.0ms256×body80valid

simplify6.0ms

Counts
1 → 1
Iterations
IterNodes
done15
215
114
07

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (/ 1 (- x 1)) (/ x (+ x 1)))
0.0b
(/ 1 (- x 1))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
69×*-un-lft-identity
53×add-sqr-sqrt
50×times-frac
27×fma-def
25×add-cube-cbrt
14×difference-of-squares
9×distribute-lft-out--
8×distribute-lft-out
7×associate-/r* difference-of-sqr-1
6×add-exp-log
4×add-cbrt-cube associate-/r/ add-log-exp
3×pow1 div-inv associate-/l*
2×expm1-log1p-u flip3-- div-exp insert-posit16 log1p-expm1-u flip--
1×cbrt-undiv +-commutative rec-exp clear-num sum-log frac-2neg flip3-+ 1-exp frac-add flip-+ pow-flip inv-pow
Counts
2 → 100
Calls
2 calls:
51.0ms
(+ (/ 1 (- x 1)) (/ x (+ x 1)))
18.0ms
(/ 1 (- x 1))

series112.0ms

Counts
2 → 6
Calls
2 calls:
86.0ms
(+ (/ 1 (- x 1)) (/ x (+ x 1)))
26.0ms
(/ 1 (- x 1))

simplify852.0ms

Counts
106 → 106
Iterations
IterNodes
done2002
2877
1294
0126

prune376.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize24.0ms

Local error

Found 3 expressions with local error:

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

rewrite207.0ms

Algorithm
rewrite-expression-head
Rules
94×*-un-lft-identity
58×times-frac
55×add-sqr-sqrt
27×fma-def add-cube-cbrt
16×distribute-lft-out
14×difference-of-squares
11×distribute-lft-out--
9×exp-prod
8×add-log-exp
7×associate-/r* difference-of-sqr-1 add-exp-log
5×add-cbrt-cube
4×pow1 associate-/r/ div-inv
3×expm1-log1p-u insert-posit16 log1p-expm1-u associate-/l*
2×sum-log flip3-- div-exp flip-- rem-exp-log
1×cbrt-undiv +-commutative rec-exp clear-num frac-2neg flip3-+ 1-exp exp-sum frac-add flip-+ pow-flip inv-pow
Counts
3 → 122
Calls
3 calls:
33.0ms
(+ (/ 1 (- x 1)) (/ x (+ x 1)))
11.0ms
(/ 1 (- x 1))
161.0ms
(exp (+ (/ 1 (- x 1)) (/ x (+ x 1))))

series228.0ms

Counts
3 → 9
Calls
3 calls:
80.0ms
(+ (/ 1 (- x 1)) (/ x (+ x 1)))
17.0ms
(/ 1 (- x 1))
132.0ms
(exp (+ (/ 1 (- x 1)) (/ x (+ x 1))))

simplify869.0ms

Counts
131 → 131
Iterations
IterNodes
done2002
21179
1363
0158

prune419.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize41.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (/ 1 (- x 1)) (/ x (+ x 1)))
0.0b
(/ 1 (- x 1))
0.0b
(pow E (+ (/ 1 (- x 1)) (/ x (+ x 1))))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
95×*-un-lft-identity
58×times-frac
56×add-sqr-sqrt
28×add-cube-cbrt
27×fma-def
16×distribute-lft-out
14×difference-of-squares
11×distribute-lft-out--
9×pow-unpow
8×add-exp-log
7×associate-/r* difference-of-sqr-1
5×pow1 add-cbrt-cube add-log-exp
4×associate-/r/ div-inv
3×expm1-log1p-u unpow-prod-down insert-posit16 log1p-expm1-u associate-/l*
2×flip3-- div-exp pow-exp flip--
1×pow-to-exp cbrt-undiv unpow-prod-up +-commutative e-exp-1 rec-exp clear-num sum-log pow-pow frac-2neg flip3-+ 1-exp frac-add flip-+ pow-flip inv-pow sqr-pow
Counts
3 → 128
Calls
3 calls:
36.0ms
(+ (/ 1 (- x 1)) (/ x (+ x 1)))
8.0ms
(/ 1 (- x 1))
35.0ms
(pow E (+ (/ 1 (- x 1)) (/ x (+ x 1))))

series345.0ms

Counts
3 → 9
Calls
3 calls:
77.0ms
(+ (/ 1 (- x 1)) (/ x (+ x 1)))
23.0ms
(/ 1 (- x 1))
244.0ms
(pow E (+ (/ 1 (- x 1)) (/ x (+ x 1))))

simplify988.0ms

Counts
137 → 137
Iterations
IterNodes
done2011
21378
1436
0173

prune463.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes39.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done13
113
09

end0.0ms

sample1.2s

Algorithm
intervals
Results
1.1s8000×body80valid