Details

Time bar (total: 46.0s)

sample59.0ms

Algorithm
intervals
Results
24.0ms63×body1280valid
13.0ms43×body640valid
10.0ms123×body80valid
5.0ms21×body320valid
1.0ms6×body160valid

simplify92.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.5b

localize25.0ms

Local error

Found 3 expressions with local error:

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

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
14×*-un-lft-identity
12×add-cube-cbrt
10×times-frac
6×associate-/r*
5×add-cbrt-cube add-exp-log add-log-exp
4×associate-/r/
3×pow1 insert-posit16 associate-/l*
2×clear-num frac-2neg flip3-+ flip3-- flip-+ div-inv flip-- difference-of-squares associate-/l/
1×cbrt-undiv sub-neg diff-log div-exp frac-sub distribute-lft-out--
Calls
3 calls:
Slowest
15.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
7.0ms
(/ (+ x 1) (- x 1))
1.0ms
(/ x (+ x 1))

series73.0ms

Calls
3 calls:
Slowest
53.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
11.0ms
(/ (+ x 1) (- x 1))
10.0ms
(/ x (+ x 1))

simplify2.3s

Calls
51 calls:
Slowest
307.0ms
(/ (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (- x 1) (- x 1)) (- x 1)))
278.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x)))))
236.0ms
(- (* x (- x 1)) (* (+ x 1) (+ x 1)))
170.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x)))))
166.0ms
(- (+ (* 2 x) (+ (* 2 (pow x 2)) 1)))

prune604.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

7.4b
(- (* (+ 1 (/ 1 (* x x))) (/ -3 x)) (/ 1 (* x x)))
0.3b
(/ 1 (* x x))
0.3b
(/ 1 (* x x))
0.1b
(* (+ 1 (/ 1 (* x x))) (/ -3 x))

rewrite18.0ms

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

series85.0ms

Calls
4 calls:
Slowest
44.0ms
(* (+ 1 (/ 1 (* x x))) (/ -3 x))
16.0ms
(- (* (+ 1 (/ 1 (* x x))) (/ -3 x)) (/ 1 (* x x)))
12.0ms
(/ 1 (* x x))
12.0ms
(/ 1 (* x x))

simplify6.2s

Calls
42 calls:
Slowest
637.0ms
(* (+ (pow 1 3) (pow (/ 1 (* x x)) 3)) (/ -3 x))
405.0ms
(* (- (* 1 1) (* (/ 1 (* x x)) (/ 1 (* x x)))) (/ -3 x))
378.0ms
(* (* (+ (* 1 1) (- (* (/ 1 (* x x)) (/ 1 (* x x))) (* 1 (/ 1 (* x x))))) x) (* x x))
376.0ms
(* (+ (pow 1 3) (pow (/ 1 (* x x)) 3)) -3)
358.0ms
(* (* (- 1 (/ 1 (* x x))) x) (* x x))

prune622.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

17.4b
(/ (- (/ -3 x) (/ (/ -3 x) (* (* x x) (* x x)))) (- 1 (/ 1 (* x x))))
7.4b
(- (/ (- (/ -3 x) (/ (/ -3 x) (* (* x x) (* x x)))) (- 1 (/ 1 (* x x)))) (/ 1 (* x x)))
0.3b
(/ 1 (* x x))
0.3b
(/ 1 (* x x))

rewrite151.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt
26×*-un-lft-identity
23×times-frac
15×add-cube-cbrt
10×difference-of-squares
8×add-exp-log
6×pow1 add-cbrt-cube associate-/l* distribute-lft-out-- add-log-exp
5×associate-/r*
4×insert-posit16 div-inv pow-flip
3×clear-num frac-2neg flip3-- flip-- associate-/l/
2×pow2 rec-exp div-sub associate-/r/ frac-sub inv-pow
1×associate--l- cbrt-undiv sub-neg diff-log div-exp
Calls
4 calls:
Slowest
107.0ms
(- (/ (- (/ -3 x) (/ (/ -3 x) (* (* x x) (* x x)))) (- 1 (/ 1 (* x x)))) (/ 1 (* x x)))
38.0ms
(/ (- (/ -3 x) (/ (/ -3 x) (* (* x x) (* x x)))) (- 1 (/ 1 (* x x))))
2.0ms
(/ 1 (* x x))
2.0ms
(/ 1 (* x x))

series136.0ms

Calls
4 calls:
Slowest
88.0ms
(/ (- (/ -3 x) (/ (/ -3 x) (* (* x x) (* x x)))) (- 1 (/ 1 (* x x))))
26.0ms
(- (/ (- (/ -3 x) (/ (/ -3 x) (* (* x x) (* x x)))) (- 1 (/ 1 (* x x)))) (/ 1 (* x x)))
11.0ms
(/ 1 (* x x))
11.0ms
(/ 1 (* x x))

simplify9.9s

Calls
77 calls:
Slowest
531.0ms
(/ (* (* (- (/ -3 x) (/ (/ -3 x) (* (* x x) (* x x)))) (- (/ -3 x) (/ (/ -3 x) (* (* x x) (* x x))))) (- (/ -3 x) (/ (/ -3 x) (* (* x x) (* x x))))) (* (* (- 1 (/ 1 (* x x))) (- 1 (/ 1 (* x x)))) (- 1 (/ 1 (* x x)))))
454.0ms
(/ (+ (sqrt (/ -3 x)) (sqrt (/ (/ -3 x) (* (* x x) (* x x))))) 1)
397.0ms
(- (* (/ -3 x) (/ -3 x)) (* (/ (/ -3 x) (* (* x x) (* x x))) (/ (/ -3 x) (* (* x x) (* x x)))))
382.0ms
(/ (- (/ -3 x) (/ (/ -3 x) (* (* x x) (* x x)))) (- 1 (/ 1 (* x x))))
355.0ms
(- (* (- (/ -3 x) (/ (/ -3 x) (* (* x x) (* x x)))) (* x x)) (* (- 1 (/ 1 (* x x))) 1))

prune839.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
18×frac-sub
16×add-sqr-sqrt times-frac add-cube-cbrt
13×frac-times associate-*l/ associate-*r/
11×associate-/l/
9×pow1
8×add-cbrt-cube add-exp-log add-log-exp
7×associate-/r/
6×associate-*r* associate-*l* distribute-lft-out difference-of-squares
4×associate-/r* flip3-+ flip-+ insert-posit16 associate-/l*
3×div-inv
2×flip3-- frac-add flip--
1×pow2 cbrt-undiv +-commutative clear-num sum-log sub-neg frac-2neg pow-plus diff-log div-sub div-exp pow-prod-down prod-exp *-commutative pow-prod-up cbrt-unprod
Calls
4 calls:
Slowest
34.0ms
(/ (- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1)))) (+ (/ x (+ x 1)) (/ (+ x 1) (- x 1))))
17.0ms
(- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))
14.0ms
(+ (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
6.0ms
(* (/ x (+ x 1)) (/ x (+ x 1)))

series241.0ms

Calls
4 calls:
Slowest
127.0ms
(/ (- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1)))) (+ (/ x (+ x 1)) (/ (+ x 1) (- x 1))))
56.0ms
(- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))
39.0ms
(+ (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
19.0ms
(* (/ x (+ x 1)) (/ x (+ x 1)))

simplify21.4s

Calls
113 calls:
Slowest
662.0ms
(* (* (+ x 1) (+ x 1)) (- x 1))
636.0ms
(- (* (* x x) (- x 1)) (* (* (+ x 1) (+ x 1)) (* (+ x 1) (/ (+ x 1) (- x 1)))))
602.0ms
(* (* (+ x 1) (+ x 1)) (- x 1))
602.0ms
(- (* (* x x) (- x 1)) (* (* (+ x 1) (+ x 1)) (* (/ (+ x 1) (- x 1)) (+ x 1))))
595.0ms
(- (* (* x x) (- x 1)) (* (* (+ x 1) (+ x 1)) (* (/ (+ x 1) (- x 1)) (+ x 1))))

prune915.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

regimes36.0ms

Accuracy

100% (0.0b remaining)

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

bsearch123.0ms

end0.0ms

sample2.0s

Algorithm
intervals
Results
764.0ms1667×body1280valid
472.0ms1232×body640valid
419.0ms4174×body80valid
174.0ms640×body320valid
47.0ms287×body160valid