Details

Time bar (total: 14.8s)

sample31.0ms

Algorithm
intervals
Results
10.0ms54×body640valid
7.0ms142×body80valid
5.0ms35×body320valid
2.0ms25×body160valid

simplify6.0ms

Counts
1 → 1
Iterations
IterNodes
done15
215
111
06

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.3b

localize17.0ms

Local error

Found 1 expressions with local error:

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

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
354×times-frac
352×*-un-lft-identity
267×add-sqr-sqrt
243×add-cube-cbrt
234×prod-diff
45×distribute-lft-out
36×div-inv
28×associate-/r/
18×fma-neg
14×flip3-+ flip-+
10×distribute-lft-out--
9×difference-of-squares
3×add-log-exp
1×expm1-log1p-u pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log frac-sub insert-posit16 log1p-expm1-u flip--
Counts
1 → 287
Calls
1 calls:
62.0ms
(- (/ 1 (+ x 1)) (/ 1 x))

series39.0ms

Counts
1 → 3
Calls
1 calls:
39.0ms
(- (/ 1 (+ x 1)) (/ 1 x))

simplify2.9s

Counts
290 → 290
Iterations
IterNodes
done5012
33068
21411
1764
0334

prune509.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
23×add-sqr-sqrt
15×add-cube-cbrt
12×prod-diff
10×add-cbrt-cube add-exp-log
8×add-log-exp
7×distribute-lft-out
6×times-frac associate-/l* distribute-lft-out--
5×pow1
4×associate-*r* associate-*r/
3×expm1-log1p-u fma-neg associate-*l* insert-posit16 log1p-expm1-u difference-of-squares
2×cbrt-undiv flip3-+ flip3-- diff-log div-exp prod-exp associate-/r/ cbrt-unprod flip-+ flip-- associate-/l/
1×distribute-rgt-in clear-num associate-/r* sum-log sub-neg frac-2neg distribute-lft-in div-sub pow-prod-down *-commutative div-inv associate--r+ unswap-sqr
Counts
3 → 96
Calls
3 calls:
14.0ms
(* x (+ 1 x))
66.0ms
(/ (- x (+ 1 x)) (* x (+ 1 x)))
23.0ms
(- x (+ 1 x))

series85.0ms

Counts
3 → 9
Calls
3 calls:
47.0ms
(* x (+ 1 x))
31.0ms
(/ (- x (+ 1 x)) (* x (+ 1 x)))
7.0ms
(- x (+ 1 x))

simplify1.7s

Counts
105 → 105
Iterations
IterNodes
done5002
21467
1402
0140

prune278.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.3b

localize25.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ 1 (* x x))
0.4b
(/ 1 (* x x))
0.5b
(/ 1 (* (* x x) x))
14.1b
(- (/ 1 (* (* x x) x)) (fma (/ 1 (* x x)) (/ 1 (* x x)) (/ 1 (* x x))))

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
47×add-exp-log
40×pow1
28×*-un-lft-identity
27×add-sqr-sqrt
25×add-cube-cbrt
24×pow-flip
23×add-cbrt-cube
21×times-frac prod-diff
15×prod-exp
14×div-exp
9×associate-/l*
8×pow-plus pow-prod-up div-inv
7×cbrt-undiv rec-exp fma-neg 1-exp
6×add-log-exp
5×pow-prod-down cbrt-unprod
4×pow2 expm1-log1p-u pow-sqr insert-posit16 log1p-expm1-u
3×clear-num associate-/r* frac-2neg inv-pow
2×distribute-lft-out--
1×sub-neg flip3-- diff-log pow3 fma-udef flip-- associate--r+ difference-of-squares
Counts
4 → 162
Calls
4 calls:
11.0ms
(/ 1 (* x x))
9.0ms
(/ 1 (* x x))
30.0ms
(/ 1 (* (* x x) x))
85.0ms
(- (/ 1 (* (* x x) x)) (fma (/ 1 (* x x)) (/ 1 (* x x)) (/ 1 (* x x))))

series188.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(/ 1 (* x x))
32.0ms
(/ 1 (* x x))
64.0ms
(/ 1 (* (* x x) x))
52.0ms
(- (/ 1 (* (* x x) x)) (fma (/ 1 (* x x)) (/ 1 (* x x)) (/ 1 (* x x))))

simplify2.4s

Counts
174 → 174
Iterations
IterNodes
done5022
33128
2887
1378
0160

prune418.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ 1 (* x x))
0.4b
(/ 1 (* x x))
0.5b
(/ 1 (* (* x x) x))
14.1b
(- (/ 1 (* (* x x) x)) (fma (/ 1 (* x x)) (/ 1 (* x x)) (pow x -2)))

rewrite179.0ms

Algorithm
rewrite-expression-head
Rules
47×add-exp-log
40×pow1
28×*-un-lft-identity
27×add-sqr-sqrt
25×add-cube-cbrt
24×pow-flip
23×add-cbrt-cube
21×times-frac prod-diff
15×prod-exp
14×div-exp
9×associate-/l*
8×pow-plus pow-prod-up div-inv
7×cbrt-undiv rec-exp fma-neg 1-exp
6×add-log-exp
5×pow-prod-down cbrt-unprod
4×pow2 expm1-log1p-u pow-sqr insert-posit16 log1p-expm1-u
3×clear-num associate-/r* frac-2neg inv-pow
2×distribute-lft-out--
1×sub-neg flip3-- diff-log pow3 fma-udef flip-- associate--r+ difference-of-squares
Counts
4 → 162
Calls
4 calls:
19.0ms
(/ 1 (* x x))
19.0ms
(/ 1 (* x x))
24.0ms
(/ 1 (* (* x x) x))
116.0ms
(- (/ 1 (* (* x x) x)) (fma (/ 1 (* x x)) (/ 1 (* x x)) (pow x -2)))

series135.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(/ 1 (* x x))
24.0ms
(/ 1 (* x x))
50.0ms
(/ 1 (* (* x x) x))
36.0ms
(- (/ 1 (* (* x x) x)) (fma (/ 1 (* x x)) (/ 1 (* x x)) (pow x -2)))

simplify2.9s

Counts
174 → 174
Iterations
IterNodes
done5010
33083
2884
1378
0162

prune527.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes52.0ms

Accuracy

100% (0.0b remaining)

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

bsearch136.0ms

Steps
ItersRangePoint
9
2842.495256040047
513310621636.50653
229105.08111828775
9
-5.5526078831285184e+17
-5300214575.088034
-6935920363808791.0

simplify9.0ms

Iterations
IterNodes
done28
128
020

end0.0ms

sample2.0s

Algorithm
intervals
Results
666.0ms1980×body640valid
663.0ms1238×body320valid
408.0ms4150×body80valid
97.0ms635×body160valid