Details

Time bar (total: 48.0s)

sample54.0ms

Algorithm
intervals
Results
17.0ms63×body640valid
10.0ms32×body320valid
9.0ms129×body80valid
6.0ms16×body1280valid
3.0ms18×body160valid

simplify99.0ms

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

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.4b

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite57.0ms

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

series83.0ms

Calls
4 calls:
Slowest
47.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
18.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
10.0ms
(/ 1 (+ x 1))
7.0ms
(/ 1 (- x 1))

simplify4.7s

Calls
48 calls:
Slowest
679.0ms
(+ (* (- (* 1 x) (* (+ x 1) 2)) (- x 1)) (* (* (+ x 1) x) 1))
362.0ms
(+ (* (- (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (* (/ 2 x) (/ 2 x))) (- x 1)) (* (+ (/ 1 (+ x 1)) (/ 2 x)) 1))
332.0ms
(* (+ (/ 1 (+ x 1)) (/ 2 x)) (- x 1))
330.0ms
(* (* (+ x 1) x) (- x 1))
302.0ms
(* (+ (* (/ 1 (+ x 1)) (/ 1 (+ x 1))) (+ (* (/ 2 x) (/ 2 x)) (* (/ 1 (+ x 1)) (/ 2 x)))) (- x 1))

prune639.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite44.0ms

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

series62.0ms

Calls
4 calls:
Slowest
38.0ms
(- (/ 1 (+ x 1)) (- (/ 2 x) (/ 1 (- x 1))))
11.0ms
(- (/ 2 x) (/ 1 (- x 1)))
7.0ms
(/ 1 (- x 1))
6.0ms
(/ 1 (+ x 1))

simplify4.5s

Calls
50 calls:
Slowest
497.0ms
(- (* 1 (* x (- x 1))) (* (+ x 1) (- (* 2 (- x 1)) (* x 1))))
435.0ms
(* (+ x 1) (* x (- x 1)))
402.0ms
(* (+ x 1) (+ (* (/ 2 x) (/ 2 x)) (+ (* (/ 1 (- x 1)) (/ 1 (- x 1))) (* (/ 2 x) (/ 1 (- x 1))))))
393.0ms
(- (* 1 (+ (/ 2 x) (/ 1 (- x 1)))) (* (+ x 1) (- (* (/ 2 x) (/ 2 x)) (* (/ 1 (- x 1)) (/ 1 (- x 1))))))
236.0ms
(- (+ (* 2 x) (+ (* 2 (pow x 3)) (* 2 (/ 1 x)))))

prune714.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

6.4b
(/ (- (* x (- (- x 1) (- (* 2 (- x 1)) x))) (- (* 2 (- x 1)) x)) (* (+ x 1) (* x (- x 1))))
2.4b
(- (- x 1) (- (* 2 (- x 1)) x))
2.4b
(- (* x (- (- x 1) (- (* 2 (- x 1)) x))) (- (* 2 (- x 1)) x))
0.4b
(- (* 2 (- x 1)) x)

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
44×frac-sub
43×flip3-- flip--
32×associate-*r/
28×associate--l+
16×sub-neg
14×associate-/l/
12×associate--r+
11×distribute-rgt-in distribute-lft-in
9×add-cbrt-cube add-exp-log
8×add-sqr-sqrt *-un-lft-identity associate-/r/ add-log-exp
6×add-cube-cbrt
4×frac-times pow1 insert-posit16 associate--r-
3×flip3-+ times-frac flip-+ associate-/l*
2×cbrt-undiv diff-log div-exp associate-*l/
1×associate--l- clear-num associate-/r* frac-2neg div-sub prod-exp cbrt-unprod div-inv distribute-lft-out-- difference-of-squares
Calls
4 calls:
Slowest
74.0ms
(/ (- (* x (- (- x 1) (- (* 2 (- x 1)) x))) (- (* 2 (- x 1)) x)) (* (+ x 1) (* x (- x 1))))
48.0ms
(- (* x (- (- x 1) (- (* 2 (- x 1)) x))) (- (* 2 (- x 1)) x))
20.0ms
(- (- x 1) (- (* 2 (- x 1)) x))
6.0ms
(- (* 2 (- x 1)) x)

series41.0ms

Calls
4 calls:
Slowest
28.0ms
(/ (- (* x (- (- x 1) (- (* 2 (- x 1)) x))) (- (* 2 (- x 1)) x)) (* (+ x 1) (* x (- x 1))))
10.0ms
(- (* 2 (- x 1)) x)
2.0ms
(- (* x (- (- x 1) (- (* 2 (- x 1)) x))) (- (* 2 (- x 1)) x))
1.0ms
(- (- x 1) (- (* 2 (- x 1)) x))

simplify26.3s

Calls
111 calls:
Slowest
1.0s
(- (* (* x (- (* (- (* x x) (* 1 1)) (+ (* (* 2 (- x 1)) (* 2 (- x 1))) (+ (* x x) (* (* 2 (- x 1)) x)))) (* (+ x 1) (- (pow (* 2 (- x 1)) 3) (pow x 3))))) (+ (* (* 2 (- x 1)) (* 2 (- x 1))) (+ (* x x) (* (* 2 (- x 1)) x)))) (* (* (+ x 1) (+ (* (* 2 (- x 1)) (* 2 (- x 1))) (+ (* x x) (* (* 2 (- x 1)) x)))) (- (pow (* 2 (- x 1)) 3) (pow x 3))))
941.0ms
(- (* (* x (- (* (- (* x x) (* 1 1)) (+ (* (* 2 (- x 1)) (* 2 (- x 1))) (+ (* x x) (* (* 2 (- x 1)) x)))) (* (+ x 1) (- (pow (* 2 (- x 1)) 3) (pow x 3))))) (+ (* (* 2 (- x 1)) (* 2 (- x 1))) (+ (* x x) (* (* 2 (- x 1)) x)))) (* (* (+ x 1) (+ (* (* 2 (- x 1)) (* 2 (- x 1))) (+ (* x x) (* (* 2 (- x 1)) x)))) (- (pow (* 2 (- x 1)) 3) (pow x 3))))
896.0ms
(- (* (* x (- (* (- (* x x) (* 1 1)) (+ (* (* 2 (- x 1)) (* 2 (- x 1))) (+ (* x x) (* (* 2 (- x 1)) x)))) (* (+ x 1) (- (pow (* 2 (- x 1)) 3) (pow x 3))))) (+ (* 2 (- x 1)) x)) (* (* (+ x 1) (+ (* (* 2 (- x 1)) (* 2 (- x 1))) (+ (* x x) (* (* 2 (- x 1)) x)))) (- (* (* 2 (- x 1)) (* 2 (- x 1))) (* x x))))
814.0ms
(/ (* (* (- (* x (- (- x 1) (- (* 2 (- x 1)) x))) (- (* 2 (- x 1)) x)) (- (* x (- (- x 1) (- (* 2 (- x 1)) x))) (- (* 2 (- x 1)) x))) (- (* x (- (- x 1) (- (* 2 (- x 1)) x))) (- (* 2 (- x 1)) x))) (* (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (* x (- x 1)) (* x (- x 1))) (* x (- x 1)))))
782.0ms
(- (* (* x (- (* (- (* x x) (* 1 1)) (+ (* 2 (- x 1)) x)) (* (+ x 1) (- (* (* 2 (- x 1)) (* 2 (- x 1))) (* x x))))) (+ (* (* 2 (- x 1)) (* 2 (- x 1))) (+ (* x x) (* (* 2 (- x 1)) x)))) (* (* (+ x 1) (+ (* 2 (- x 1)) x)) (- (pow (* 2 (- x 1)) 3) (pow x 3))))

prune1.6s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 3 expressions with local error:

0.3b
(/ 2 (* (+ x 1) (* x (- x 1))))
0.0b
(* (+ x 1) (* x (- x 1)))
0.0b
(* x (- x 1))

rewrite27.0ms

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

series114.0ms

Calls
3 calls:
Slowest
57.0ms
(* (+ x 1) (* x (- x 1)))
39.0ms
(/ 2 (* (+ x 1) (* x (- x 1))))
18.0ms
(* x (- x 1))

simplify5.9s

Calls
53 calls:
Slowest
466.0ms
(* (- x 1) (+ (* x x) (+ (* 1 1) (* x 1))))
465.0ms
(* (- x 1) (+ (* x x) (+ (* 1 1) (* x 1))))
435.0ms
(* (+ x 1) (* x (- x 1)))
382.0ms
(* (+ (pow x 3) (pow 1 3)) (* x (- (* x x) (* 1 1))))
341.0ms
(* (- (* x x) (* 1 1)) (* x (- x 1)))

prune518.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

regimes22.0ms

Accuracy

0% (0.1b remaining)

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

bsearch1.0ms

end0.0ms

sample2.3s

Algorithm
intervals
Results
785.0ms1872×body640valid
664.0ms927×body320valid
415.0ms4173×body80valid
249.0ms538×body1280valid
81.0ms494×body160valid