Details

Time bar (total: 15.6s)

sample42.0ms

Algorithm
intervals
Results
13.0ms54×body640valid
9.0ms140×body80valid
8.0ms40×body320valid
3.0ms22×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: 15.9b

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
370×*-un-lft-identity
366×times-frac
277×add-sqr-sqrt
253×add-cube-cbrt
234×prod-diff
49×distribute-lft-out
37×div-inv
30×associate-/r/
18×fma-neg
15×flip3-+ flip-+
10×distribute-lft-out--
9×difference-of-squares
6×add-exp-log
4×associate-/r* add-cbrt-cube add-log-exp
3×pow1 associate-/l*
2×expm1-log1p-u div-exp insert-posit16 log1p-expm1-u
1×cbrt-undiv rec-exp clear-num sub-neg frac-2neg flip3-- diff-log 1-exp frac-sub pow-flip flip-- inv-pow
Counts
2 → 327
Calls
2 calls:
18.0ms
(/ 1 (+ x 1))
56.0ms
(- (/ 1 (+ x 1)) (/ 1 x))

series70.0ms

Counts
2 → 6
Calls
2 calls:
32.0ms
(/ 1 (+ x 1))
37.0ms
(- (/ 1 (+ x 1)) (/ 1 x))

simplify2.9s

Counts
333 → 333
Iterations
IterNodes
done5000
34090
21678
1820
0358

prune765.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize29.0ms

Local error

Found 3 expressions with local error:

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

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity
16×add-sqr-sqrt
14×add-cube-cbrt
11×associate-+r+
10×add-cbrt-cube add-exp-log
9×prod-diff
8×add-log-exp
7×distribute-lft-out
5×pow1 times-frac associate-/l*
4×flip3-+ associate-*l* associate-*l/ flip-+
3×expm1-log1p-u fma-def associate-*r* insert-posit16 log1p-expm1-u distribute-lft-out--
2×cbrt-undiv associate-+r- sum-log div-exp prod-exp associate-/r/ cbrt-unprod associate-/l/
1×+-commutative clear-num associate-/r* sub-neg frac-2neg diff-log div-sub pow-prod-down *-commutative div-inv unswap-sqr
Counts
3 → 89
Calls
3 calls:
19.0ms
(* (+ x 1) x)
56.0ms
(/ (+ x (- -1 x)) (* (+ x 1) x))
11.0ms
(+ x (- -1 x))

series70.0ms

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

simplify1.5s

Counts
98 → 98
Iterations
IterNodes
done5001
21127
1370
0143

prune329.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.2b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x x) (- (* 1 1) (* x 1)))
0.2b
(* (* x x) (* x x))
0.2b
(/ (- -1 (- x x)) (+ (* (* x x) (* x x)) x))
20.3b
(* (/ (- -1 (- x x)) (+ (* (* x x) (* x x)) x)) (+ (* x x) (- (* 1 1) (* x 1))))

rewrite397.0ms

Algorithm
rewrite-expression-head
Rules
117×pow1
61×*-un-lft-identity
45×add-sqr-sqrt
37×times-frac
36×pow-prod-up
26×add-cube-cbrt
25×associate-*l*
24×pow-prod-down
23×add-cbrt-cube add-exp-log
22×pow-sqr
21×distribute-lft-out--
18×pow-plus
13×pow2
10×prod-exp cbrt-unprod
9×add-log-exp
7×difference-of-squares
6×associate-/l*
5×flip3-+ flip-+
4×expm1-log1p-u associate-*r* associate-/r/ insert-posit16 log1p-expm1-u
3×associate-+r+ associate-/r* unswap-sqr
2×frac-times cbrt-undiv sum-log div-exp associate-*r/ *-commutative div-inv associate-/l/
1×distribute-rgt-in +-commutative clear-num associate-+r- sub-neg fma-def frac-2neg distribute-lft-in flip3-- diff-log div-sub swap-sqr prod-diff associate-*l/ flip--
Counts
4 → 185
Calls
4 calls:
23.0ms
(+ (* x x) (- (* 1 1) (* x 1)))
24.0ms
(* (* x x) (* x x))
93.0ms
(/ (- -1 (- x x)) (+ (* (* x x) (* x x)) x))
254.0ms
(* (/ (- -1 (- x x)) (+ (* (* x x) (* x x)) x)) (+ (* x x) (- (* 1 1) (* x 1))))

series221.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(+ (* x x) (- (* 1 1) (* x 1)))
42.0ms
(* (* x x) (* x x))
97.0ms
(/ (- -1 (- x x)) (+ (* (* x x) (* x x)) x))
59.0ms
(* (/ (- -1 (- x x)) (+ (* (* x x) (* x x)) x)) (+ (* x x) (- (* 1 1) (* x 1))))

simplify2.7s

Counts
197 → 197
Iterations
IterNodes
done5000
23422
1873
0236

prune638.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x x) (- (* 1 1) (* x 1)))
0.2b
(/ (- -1 (- x x)) (+ (pow x 4) x))
20.3b
(* (/ (- -1 (- x x)) (+ (pow x 4) x)) (+ (* x x) (- (* 1 1) (* x 1))))

rewrite249.0ms

Algorithm
rewrite-expression-head
Rules
98×*-un-lft-identity
50×add-sqr-sqrt
49×times-frac
30×associate-*l*
27×add-cube-cbrt distribute-lft-out--
13×distribute-lft-out
10×add-cbrt-cube add-exp-log
9×difference-of-squares
8×add-log-exp
6×associate-/l*
5×pow1 flip3-+ flip-+
4×associate-/r* associate-/r/
3×expm1-log1p-u associate-+r+ associate-*r* insert-posit16 log1p-expm1-u
2×frac-times cbrt-undiv sum-log div-exp prod-exp associate-*r/ cbrt-unprod div-inv unswap-sqr associate-/l/
1×distribute-rgt-in +-commutative clear-num associate-+r- sub-neg fma-def frac-2neg distribute-lft-in flip3-- diff-log div-sub prod-diff pow-prod-down associate-*l/ *-commutative flip--
Counts
3 → 132
Calls
3 calls:
28.0ms
(+ (* x x) (- (* 1 1) (* x 1)))
43.0ms
(/ (- -1 (- x x)) (+ (pow x 4) x))
175.0ms
(* (/ (- -1 (- x x)) (+ (pow x 4) x)) (+ (* x x) (- (* 1 1) (* x 1))))

series183.0ms

Counts
3 → 9
Calls
3 calls:
18.0ms
(+ (* x x) (- (* 1 1) (* x 1)))
103.0ms
(/ (- -1 (- x x)) (+ (pow x 4) x))
62.0ms
(* (/ (- -1 (- x x)) (+ (pow x 4) x)) (+ (* x x) (- (* 1 1) (* x 1))))

simplify2.6s

Counts
141 → 141
Iterations
IterNodes
done5011
22747
1735
0198

prune558.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes67.0ms

Accuracy

99.7% (0.1b remaining)

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

bsearch103.0ms

Steps
ItersRangePoint
9
68.55102067575892
801012902.7811656
158565.28261171645
7
-2.1734442378507523e+44
-5.982835699292103e+42
-1.9941623063372853e+44

simplify13.0ms

Iterations
IterNodes
done38
138
027

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.0s1900×body640valid
331.0ms4215×body80valid
304.0ms1249×body320valid
86.0ms639×body160valid