Details

Time bar (total: 1.2m)

sample53.0ms

Algorithm
intervals
Results
21.0ms58×body640valid
10.0ms136×body80valid
7.0ms21×body1280valid
5.0ms25×body320valid
2.0ms17×body160valid

simplify437.0ms

Calls
1 calls:
Slowest
437.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.3b

localize35.0ms

Local error

Found 3 expressions with local error:

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

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
10×add-log-exp
7×div-inv
6×add-sqr-sqrt distribute-lft-out distribute-lft-out--
4×pow1 add-exp-log add-cube-cbrt
3×associate-/r* flip3-- add-cbrt-cube frac-add insert-posit16 flip--
2×associate-+l+ sum-log sub-neg diff-log associate-/r/ frac-sub
1×+-commutative rec-exp clear-num frac-2neg flip3-+ associate-+l- flip-+ pow-flip inv-pow difference-of-squares
Calls
3 calls:
Slowest
48.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
11.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
2.0ms
(/ 1 (- x 1))

series82.0ms

Calls
3 calls:
Slowest
65.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
11.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
6.0ms
(/ 1 (- x 1))

simplify4.3s

Calls
39 calls:
Slowest
534.0ms
(+ (* (- (* 1 x) (* (+ x 1) 2)) (- x 1)) (* (* (+ x 1) x) 1))
392.0ms
(+ (* (- (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (* (/ 2 x) (/ 2 x))) (- x 1)) (* (+ (/ 1 (+ x 1)) (/ 2 x)) 1))
325.0ms
(* (* (+ x 1) x) (- x 1))
298.0ms
(* (+ (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (+ (* (/ 2 x) (/ 2 x)) (* (/ 1 (+ x 1)) (/ 2 x)))) (- x 1))
294.0ms
(- (+ (* 2 x) (+ (* 2 (pow x 3)) (* 2 (/ 1 x)))))

prune594.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize6.0ms

Local error

Found 3 expressions with local error:

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

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
10×add-log-exp
7×div-inv
6×add-sqr-sqrt distribute-lft-out distribute-lft-out--
4×pow1 add-exp-log add-cube-cbrt
3×associate-/r* flip3-- add-cbrt-cube frac-add insert-posit16 flip--
2×associate-+r+ sum-log sub-neg diff-log associate-/r/ frac-sub
1×+-commutative rec-exp clear-num associate-+r- frac-2neg flip3-+ flip-+ pow-flip inv-pow difference-of-squares
Calls
3 calls:
Slowest
32.0ms
(+ (/ 1 (- x 1)) (- (/ 1 (+ x 1)) (/ 2 x)))
10.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
2.0ms
(/ 1 (- x 1))

series87.0ms

Calls
3 calls:
Slowest
61.0ms
(+ (/ 1 (- x 1)) (- (/ 1 (+ x 1)) (/ 2 x)))
18.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
8.0ms
(/ 1 (- x 1))

simplify4.1s

Calls
39 calls:
Slowest
379.0ms
(* (- x 1) (* (+ x 1) x))
370.0ms
(+ (* 1 (+ (/ 1 (+ x 1)) (/ 2 x))) (* (- x 1) (- (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (* (/ 2 x) (/ 2 x)))))
368.0ms
(* (- x 1) (+ (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (+ (* (/ 2 x) (/ 2 x)) (* (/ 1 (+ x 1)) (/ 2 x)))))
337.0ms
(* (- x 1) (+ (/ 1 (+ x 1)) (/ 2 x)))
254.0ms
(- (+ (* 2 x) (+ (* 2 (pow x 3)) (* 2 (/ 1 x)))))

prune526.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
136×associate-*l/
124×associate-*r/
96×frac-sub
93×flip3-+ flip-+
78×flip3-- flip--
68×frac-add
56×frac-times
50×associate-/l/
11×add-cbrt-cube add-exp-log
9×*-un-lft-identity
8×associate-/r/ add-log-exp
7×add-sqr-sqrt add-cube-cbrt
6×pow1
4×insert-posit16
3×times-frac associate-*l* associate-/l*
2×cbrt-undiv associate-+r+ sub-neg div-exp prod-exp associate--l+ cbrt-unprod
1×distribute-rgt-in +-commutative associate-+l+ clear-num associate-+r- associate-/r* sum-log frac-2neg distribute-lft-in diff-log div-sub associate-*r* pow-prod-down *-commutative div-inv distribute-lft-out
Calls
4 calls:
Slowest
28.0ms
(/ (- (* x (+ (+ x 1) (- x 1))) (* (* (- x 1) (+ x 1)) 2)) (* (- x 1) (* (+ x 1) x)))
17.0ms
(- (* x (+ (+ x 1) (- x 1))) (* (* (- x 1) (+ x 1)) 2))
15.0ms
(* (- x 1) (* (+ x 1) x))
8.0ms
(+ (+ x 1) (- x 1))

series120.0ms

Calls
4 calls:
Slowest
60.0ms
(* (- x 1) (* (+ x 1) x))
38.0ms
(/ (- (* x (+ (+ x 1) (- x 1))) (* (* (- x 1) (+ x 1)) 2)) (* (- x 1) (* (+ x 1) x)))
16.0ms
(+ (+ x 1) (- x 1))
5.0ms
(- (* x (+ (+ x 1) (- x 1))) (* (* (- x 1) (+ x 1)) 2))

simplify56.9s

Calls
212 calls:
Slowest
965.0ms
(* (+ (* (+ x 1) (+ x 1)) (- (* (- x 1) (- x 1)) (* (+ x 1) (- x 1)))) (* (+ x 1) (- x 1)))
952.0ms
(- (* (* x (+ (* (- (* x x) (* 1 1)) (+ x 1)) (* (- x 1) (- (* x x) (* 1 1))))) (* (+ (* x x) (+ (* 1 1) (* x 1))) (+ (* x x) (- (* 1 1) (* x 1))))) (* (* (- x 1) (+ x 1)) (* (* (- (pow x 3) (pow 1 3)) (+ (pow x 3) (pow 1 3))) 2)))
856.0ms
(- (* (* x (+ (* (- (* x x) (* 1 1)) (+ x 1)) (* (- x 1) (- (* x x) (* 1 1))))) (* (+ (* x x) (+ (* 1 1) (* x 1))) (+ (* x x) (- (* 1 1) (* x 1))))) (* (* (- x 1) (+ x 1)) (* (* (- (pow x 3) (pow 1 3)) (+ (pow x 3) (pow 1 3))) 2)))
841.0ms
(- (* (* x (+ (* (- (* x x) (* 1 1)) (+ (* x x) (+ (* 1 1) (* x 1)))) (* (- x 1) (- (pow x 3) (pow 1 3))))) (- x 1)) (* (* (- x 1) (+ (* x x) (+ (* 1 1) (* x 1)))) (* (* (- x 1) (- (* x x) (* 1 1))) 2)))
841.0ms
(- (* (* x (+ (* (+ (pow x 3) (pow 1 3)) (+ (* x x) (+ (* 1 1) (* x 1)))) (* (+ (* x x) (- (* 1 1) (* x 1))) (- (pow x 3) (pow 1 3))))) (* (+ (* x x) (+ (* 1 1) (* x 1))) (- x 1))) (* (* (+ (* x x) (- (* 1 1) (* x 1))) (+ (* x x) (+ (* 1 1) (* x 1)))) (* (* (- (pow x 3) (pow 1 3)) (- (* x x) (* 1 1))) 2)))

prune1.6s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize3.0ms

Local error

Found 3 expressions with local error:

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

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
18×associate-*l/
8×frac-times associate-/r/
7×flip3-+ flip-+
6×flip3-- associate-*l* flip--
5×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×associate-*r/
3×insert-posit16 add-log-exp
2×*-commutative
1×clear-num associate-/r* frac-2neg associate-*r* pow-prod-down prod-exp cbrt-unprod div-inv
Calls
3 calls:
Slowest
11.0ms
(* (- x 1) (* (+ x 1) x))
4.0ms
(/ 2 (* (- x 1) (* (+ x 1) x)))
3.0ms
(* (+ x 1) x)

series73.0ms

Calls
3 calls:
Slowest
34.0ms
(* (- x 1) (* (+ x 1) x))
22.0ms
(/ 2 (* (- x 1) (* (+ x 1) x)))
17.0ms
(* (+ x 1) x)

simplify3.2s

Calls
39 calls:
Slowest
326.0ms
(* (- (pow x 3) (pow 1 3)) (* (+ x 1) x))
294.0ms
(* (- (pow x 3) (pow 1 3)) (* (- (* x x) (* 1 1)) x))
247.0ms
(* (- x 1) (* (+ x 1) x))
220.0ms
(* (+ (* x x) (+ (* 1 1) (* x 1))) (- x 1))
214.0ms
(* (+ (* x x) (+ (* 1 1) (* x 1))) (- x 1))

prune325.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

regimes28.0ms

Accuracy

0% (0.1b remaining)

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

bsearch1.0ms

end0.0ms

sample1.8s

Algorithm
intervals
Results
630.0ms1889×body640valid
494.0ms921×body320valid
316.0ms4149×body80valid
228.0ms564×body1280valid
62.0ms479×body160valid