Details

Time bar (total: 22.6s)

sample109.0ms

Algorithm
intervals
Results
55.0ms44×body640valid
28.0ms65×body1280valid
10.0ms118×body80valid
4.0ms16×body320valid
2.0ms13×body160valid

simplify373.0ms

Counts
1 → 1

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.9b

localize13.0ms

Local error

Found 3 expressions with local error:

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

rewrite166.0ms

Algorithm
rewrite-expression-head
Rules
1284×*-un-lft-identity
984×times-frac
841×add-sqr-sqrt
612×prod-diff
521×add-cube-cbrt
251×distribute-lft-out
158×difference-of-squares
110×associate-/r/
90×distribute-lft-out--
77×difference-of-sqr-1
55×div-inv
37×flip3-+ flip-+
20×flip3-- flip--
18×fma-neg
11×associate-/r*
7×add-cbrt-cube add-exp-log associate-/l*
5×add-log-exp
3×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
2×cbrt-undiv clear-num frac-2neg div-exp associate-/l/
1×sub-neg diff-log frac-sub
Counts
3 → 753
Calls
3 calls:
Slowest
73.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
21.0ms
(/ (+ x 1) (- x 1))
15.0ms
(/ x (+ x 1))

series211.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
139.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
38.0ms
(/ (+ x 1) (- x 1))
35.0ms
(/ x (+ x 1))

simplify1.1s

Counts
762 → 762

prune8.5s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

6.0b
(+ (+ (/ 1 (* x x)) (/ 3 x)) (/ 3 (* x (* x x))))
0.3b
(/ 3 (* x (* x x)))
0.3b
(/ 1 (* x x))
0.1b
(* x (* x x))

rewrite202.0ms

Algorithm
rewrite-expression-head
Rules
29×add-exp-log
26×pow1
23×*-un-lft-identity add-cbrt-cube
11×add-sqr-sqrt
10×add-cube-cbrt
9×times-frac prod-exp add-log-exp
8×distribute-lft-out
7×div-exp cbrt-unprod
6×fma-def pow-prod-up div-inv pow-flip associate-/l*
5×cbrt-undiv
4×expm1-log1p-u pow-prod-down frac-add insert-posit16 log1p-expm1-u
3×sum-log associate-*l*
2×pow2 rec-exp clear-num associate-/r* frac-2neg flip3-+ pow-plus distribute-rgt-out 1-exp pow-sqr flip-+
1×+-commutative associate-+l+ cube-unmult associate-*r* *-commutative inv-pow unswap-sqr
Counts
4 → 117
Calls
4 calls:
Slowest
149.0ms
(+ (+ (/ 1 (* x x)) (/ 3 x)) (/ 3 (* x (* x x))))
23.0ms
(/ 3 (* x (* x x)))
16.0ms
(* x (* x x))
13.0ms
(/ 1 (* x x))

series156.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
56.0ms
(/ 3 (* x (* x x)))
43.0ms
(* x (* x x))
33.0ms
(/ 1 (* x x))
25.0ms
(+ (+ (/ 1 (* x x)) (/ 3 x)) (/ 3 (* x (* x x))))

simplify2.4s

Counts
129 → 129

prune882.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize20.0ms

Local error

Found 3 expressions with local error:

0.1b
(fma (/ 1 x) (/ 1 x) (/ (/ 3 x) (* x x)))
0.1b
(/ (/ 3 x) (* x x))
0.0b
(+ (/ 3 x) (fma (/ 1 x) (/ 1 x) (/ (/ 3 x) (* x x))))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
40×times-frac
26×*-un-lft-identity
24×add-sqr-sqrt add-cube-cbrt
15×add-cbrt-cube add-exp-log
13×fma-def associate-/l*
6×cbrt-undiv div-exp
5×add-log-exp
4×div-inv
3×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
2×prod-exp cbrt-unprod fma-udef
1×+-commutative associate-+r+ clear-num associate-/r* sum-log frac-2neg flip3-+ flip-+ distribute-lft-out associate-/l/
Counts
3 → 89
Calls
3 calls:
Slowest
10.0ms
(/ (/ 3 x) (* x x))
9.0ms
(+ (/ 3 x) (fma (/ 1 x) (/ 1 x) (/ (/ 3 x) (* x x))))
0.0ms
(fma (/ 1 x) (/ 1 x) (/ (/ 3 x) (* x x)))

series219.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
118.0ms
(fma (/ 1 x) (/ 1 x) (/ (/ 3 x) (* x x)))
67.0ms
(/ (/ 3 x) (* x x))
34.0ms
(+ (/ 3 x) (fma (/ 1 x) (/ 1 x) (/ (/ 3 x) (* x x))))

simplify2.1s

Counts
98 → 98

prune723.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize38.0ms

Local error

Found 4 expressions with local error:

2.9b
(log (exp (* (+ (/ 3 x) 1) (/ (/ 1 x) x))))
0.2b
(/ (/ 1 x) x)
0.1b
(* (+ (/ 3 x) 1) (/ (/ 1 x) x))
0.0b
(+ (/ 3 x) (log (exp (* (+ (/ 3 x) 1) (/ (/ 1 x) x)))))

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
155×times-frac
104×add-sqr-sqrt
97×*-un-lft-identity
91×add-cube-cbrt
43×associate-*r*
28×add-exp-log
18×add-cbrt-cube
13×fma-def associate-/l*
12×div-exp
11×pow1 div-inv
8×add-log-exp
6×cbrt-undiv log-prod
5×prod-exp log-pow unswap-sqr
4×expm1-log1p-u associate-*l* insert-posit16 log1p-expm1-u
3×associate-+r+ associate-/r* flip3-+ cbrt-unprod flip-+ distribute-lft-out
2×frac-times rec-exp sum-log exp-to-pow 1-exp associate-*l/ pow-div
1×+-commutative exp-prod clear-num frac-2neg rem-log-exp pow-prod-down associate-*r/ *-commutative pow-flip inv-pow associate-/l/
Counts
4 → 204
Calls
4 calls:
Slowest
43.0ms
(* (+ (/ 3 x) 1) (/ (/ 1 x) x))
19.0ms
(+ (/ 3 x) (log (exp (* (+ (/ 3 x) 1) (/ (/ 1 x) x)))))
13.0ms
(/ (/ 1 x) x)
12.0ms
(log (exp (* (+ (/ 3 x) 1) (/ (/ 1 x) x))))

series211.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
86.0ms
(* (+ (/ 3 x) 1) (/ (/ 1 x) x))
69.0ms
(log (exp (* (+ (/ 3 x) 1) (/ (/ 1 x) x))))
38.0ms
(+ (/ 3 x) (log (exp (* (+ (/ 3 x) 1) (/ (/ 1 x) x)))))
19.0ms
(/ (/ 1 x) x)

simplify758.0ms

Counts
216 → 216

prune1.7s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes77.0ms

Accuracy

100% (0.0b remaining)

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

bsearch172.0ms

end0.0ms

sample2.4s

Algorithm
intervals
Results
893.0ms1675×body1280valid
721.0ms4113×body80valid
446.0ms1317×body640valid
136.0ms590×body320valid
70.0ms305×body160valid