Details

Time bar (total: 22.9s)

sample78.0ms

Algorithm
intervals
Results
26.0ms55×body640valid
15.0ms129×body80valid
14.0ms39×body320valid
11.0ms19×body1280valid
3.0ms14×body160valid

simplify196.0ms

Counts
1 → 1

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 9.2b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite248.0ms

Algorithm
rewrite-expression-head
Rules
98×*-un-lft-identity
58×add-sqr-sqrt
56×times-frac
25×add-cube-cbrt
18×distribute-lft-out--
17×distribute-lft-out
14×difference-of-squares
12×add-exp-log
11×associate-/r* add-log-exp
8×add-cbrt-cube div-inv
6×pow1 associate-/l*
4×difference-of-sqr-1 div-exp associate-/r/ insert-posit16
3×flip3-- frac-add flip--
2×cbrt-undiv rec-exp associate-+l+ clear-num sum-log sub-neg frac-2neg flip3-+ diff-log 1-exp frac-sub flip-+ pow-flip inv-pow
1×+-commutative associate-+l-
Counts
4 → 141
Calls
4 calls:
Slowest
176.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
53.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
8.0ms
(/ 1 (+ x 1))
8.0ms
(/ 1 (- x 1))

series207.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
132.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
43.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
18.0ms
(/ 1 (- x 1))
14.0ms
(/ 1 (+ x 1))

simplify1.7s

Counts
153 → 153

prune1.4s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize86.0ms

Local error

Found 4 expressions with local error:

15.1b
(/ (- (* (- (/ 1 (+ x 1)) (/ 2 x)) (- (/ 1 (+ x 1)) (/ 2 x))) (* (/ 1 (- x 1)) (/ 1 (- x 1)))) (- (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1))))
2.9b
(- (* (- (/ 1 (+ x 1)) (/ 2 x)) (- (/ 1 (+ x 1)) (/ 2 x))) (* (/ 1 (- x 1)) (/ 1 (- x 1))))
0.3b
(* (- (/ 1 (+ x 1)) (/ 2 x)) (- (/ 1 (+ x 1)) (/ 2 x)))
0.2b
(* (/ 1 (- x 1)) (/ 1 (- x 1)))

rewrite796.0ms

Algorithm
rewrite-expression-head
Rules
440×*-un-lft-identity
306×times-frac
271×add-sqr-sqrt
196×frac-sub
146×distribute-lft-out--
112×frac-times
87×difference-of-squares
82×add-cube-cbrt
80×flip3-- flip--
62×swap-sqr associate-/l/
58×associate-*l/ associate-*r/
48×add-exp-log
40×associate-*r* associate-*l* div-inv
31×un-div-inv
26×pow1
20×add-cbrt-cube
18×difference-of-sqr-1
17×div-exp prod-exp
16×associate-/r* distribute-lft-out
13×associate-/r/
10×unswap-sqr
8×rec-exp 1-exp pow-flip inv-pow
6×pow-prod-up add-log-exp
5×cbrt-undiv sub-neg cbrt-unprod
4×distribute-rgt-in distribute-lft-in pow-prod-down associate--l+ pow-sqr insert-posit16 associate-/l*
2×pow2 pow-plus *-commutative
1×clear-num frac-2neg diff-log div-sub
Counts
4 → 476
Calls
4 calls:
Slowest
392.0ms
(/ (- (* (- (/ 1 (+ x 1)) (/ 2 x)) (- (/ 1 (+ x 1)) (/ 2 x))) (* (/ 1 (- x 1)) (/ 1 (- x 1)))) (- (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1))))
252.0ms
(* (- (/ 1 (+ x 1)) (/ 2 x)) (- (/ 1 (+ x 1)) (/ 2 x)))
97.0ms
(- (* (- (/ 1 (+ x 1)) (/ 2 x)) (- (/ 1 (+ x 1)) (/ 2 x))) (* (/ 1 (- x 1)) (/ 1 (- x 1))))
42.0ms
(* (/ 1 (- x 1)) (/ 1 (- x 1)))

series687.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
483.0ms
(/ (- (* (- (/ 1 (+ x 1)) (/ 2 x)) (- (/ 1 (+ x 1)) (/ 2 x))) (* (/ 1 (- x 1)) (/ 1 (- x 1)))) (- (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1))))
142.0ms
(- (* (- (/ 1 (+ x 1)) (/ 2 x)) (- (/ 1 (+ x 1)) (/ 2 x))) (* (/ 1 (- x 1)) (/ 1 (- x 1))))
43.0ms
(* (- (/ 1 (+ x 1)) (/ 2 x)) (- (/ 1 (+ x 1)) (/ 2 x)))
20.0ms
(* (/ 1 (- x 1)) (/ 1 (- x 1)))

simplify1.4s

Counts
488 → 488

prune6.3s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize76.0ms

Local error

Found 4 expressions with local error:

18.0b
(+ (* (- (* 1 x) (* (+ x 1) 2)) (- x 1)) (* (* (+ x 1) x) 1))
0.1b
(* (* (+ x 1) x) (- x 1))
0.0b
(* (- (* 1 x) (* (+ x 1) 2)) (- x 1))
0.0b
(/ (+ (* (- (* 1 x) (* (+ x 1) 2)) (- x 1)) (* (* (+ x 1) x) 1)) (* (* (+ x 1) x) (- x 1)))

rewrite246.0ms

Algorithm
rewrite-expression-head
Rules
90×associate-*l/
36×flip3-- flip--
32×frac-add
28×frac-times
24×flip3-+ flip-+
20×add-cbrt-cube add-exp-log
19×add-sqr-sqrt
18×associate-/l/
15×*-un-lft-identity
14×associate-*r* associate-*r/
11×pow1
9×add-cube-cbrt
8×associate-/r/
7×prod-exp cbrt-unprod
6×distribute-rgt-in sub-neg distribute-lft-in add-log-exp
4×associate-+l+ associate-*l* pow-prod-down insert-posit16 difference-of-squares
3×cbrt-undiv times-frac div-exp associate-/l*
2×difference-of-sqr-1 *-commutative distribute-lft-out--
1×+-commutative clear-num associate-/r* sum-log frac-2neg div-inv unswap-sqr
Counts
4 → 152
Calls
4 calls:
Slowest
101.0ms
(/ (+ (* (- (* 1 x) (* (+ x 1) 2)) (- x 1)) (* (* (+ x 1) x) 1)) (* (* (+ x 1) x) (- x 1)))
53.0ms
(+ (* (- (* 1 x) (* (+ x 1) 2)) (- x 1)) (* (* (+ x 1) x) 1))
50.0ms
(* (* (+ x 1) x) (- x 1))
38.0ms
(* (- (* 1 x) (* (+ x 1) 2)) (- x 1))

series258.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
140.0ms
(* (* (+ x 1) x) (- x 1))
77.0ms
(/ (+ (* (- (* 1 x) (* (+ x 1) 2)) (- x 1)) (* (* (+ x 1) x) 1)) (* (* (+ x 1) x) (- x 1)))
39.0ms
(* (- (* 1 x) (* (+ x 1) 2)) (- x 1))
2.0ms
(+ (* (- (* 1 x) (* (+ x 1) 2)) (- x 1)) (* (* (+ x 1) x) 1))

simplify2.3s

Counts
164 → 164

prune2.0s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 3 expressions with local error:

0.5b
(/ 2 (* (* (+ x 1) x) (- x 1)))
0.1b
(* (* (+ x 1) x) (- x 1))
0.0b
(* (+ x 1) x)

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
19×add-cbrt-cube add-exp-log
18×associate-*l/
14×add-sqr-sqrt
13×*-un-lft-identity
10×pow1 associate-*r*
8×frac-times associate-/r/ add-cube-cbrt
7×flip3-+ prod-exp cbrt-unprod flip-+
6×flip3-- flip--
5×associate-*l*
4×pow-prod-down associate-*r/
3×cbrt-undiv times-frac div-exp insert-posit16 associate-/l* add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in *-commutative difference-of-squares
1×clear-num associate-/r* frac-2neg difference-of-sqr-1 div-inv distribute-lft-out distribute-lft-out-- unswap-sqr
Counts
3 → 89
Calls
3 calls:
Slowest
54.0ms
(* (* (+ x 1) x) (- x 1))
46.0ms
(/ 2 (* (* (+ x 1) x) (- x 1)))
17.0ms
(* (+ x 1) x)

series247.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
117.0ms
(* (* (+ x 1) x) (- x 1))
77.0ms
(/ 2 (* (* (+ x 1) x) (- x 1)))
53.0ms
(* (+ x 1) x)

simplify586.0ms

Counts
98 → 98

prune941.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

regimes76.0ms

Accuracy

0% (0.1b remaining)

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

bsearch3.0ms

end1.0ms

sample2.9s

Algorithm
intervals
Results
1.4s1790×body640valid
504.0ms4215×body80valid
380.0ms964×body320valid
362.0ms543×body1280valid
108.0ms491×body160valid