Details

Time bar (total: 26.9s)

sample56.0ms

Algorithm
intervals
Results
20.0ms60×body640valid
12.0ms132×body80valid
11.0ms42×body320valid
4.0ms22×body160valid

simplify18.0ms

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

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.9b

localize23.0ms

Local error

Found 3 expressions with local error:

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

rewrite19.0ms

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

series136.0ms

Calls
3 calls:
Slowest
87.0ms
(- (/ 1 (+ x 1)) (/ 1 (- x 1)))
27.0ms
(/ 1 (+ x 1))
22.0ms
(/ 1 (- x 1))

simplify1.9s

Calls
32 calls:
Slowest
363.0ms
(- (+ (* 2 (/ 1 (pow x 4))) (+ (* 2 (/ 1 (pow x 6))) (* 2 (/ 1 (pow x 2))))))
356.0ms
(- (+ (* 2 (/ 1 (pow x 4))) (+ (* 2 (/ 1 (pow x 6))) (* 2 (/ 1 (pow x 2))))))
196.0ms
(- (* 1 (- x 1)) (* (+ x 1) 1))
100.0ms
(- (+ x (+ (pow x 2) 1)))
87.0ms
(+ (* 2 (pow x 2)) (+ (* 2 (pow x 4)) 2))

prune427.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite10.0ms

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

series146.0ms

Calls
2 calls:
Slowest
86.0ms
(* (+ x 1) (- x 1))
59.0ms
(/ -2 (* (+ x 1) (- x 1)))

simplify5.6s

Calls
39 calls:
Slowest
966.0ms
(* (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (- x 1) (- x 1)) (- x 1)))
497.0ms
(* (- x 1) (+ (* x x) (+ (* 1 1) (* x 1))))
465.0ms
(* (- x 1) (+ (* x x) (+ (* 1 1) (* x 1))))
424.0ms
(* (- (* x x) (* 1 1)) (- x 1))
341.0ms
(* (- (* x x) (* 1 1)) (- (* x x) (* 1 1)))

prune348.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
18×times-frac
14×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×associate-/r/
6×associate-/r* div-inv associate-/l*
5×flip3-+ flip-+
4×add-cbrt-cube add-exp-log
2×pow1 clear-num frac-2neg insert-posit16 add-log-exp
1×cbrt-undiv flip3-- div-exp flip-- associate-/l/
Calls
2 calls:
Slowest
8.0ms
(/ (/ -2 (+ x 1)) (- x 1))
1.0ms
(/ -2 (+ x 1))

series75.0ms

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

simplify4.4s

Calls
58 calls:
Slowest
440.0ms
(/ (* (* (/ -2 (+ x 1)) (/ -2 (+ x 1))) (/ -2 (+ x 1))) (* (* (- x 1) (- x 1)) (- x 1)))
347.0ms
(/ (/ -2 (- (* x x) (* 1 1))) (* (cbrt (- x 1)) (cbrt (- x 1))))
337.0ms
(- (+ (* 2 (/ 1 (pow x 4))) (+ (* 2 (/ 1 (pow x 6))) (* 2 (/ 1 (pow x 2))))))
286.0ms
(- (+ (* 2 (/ 1 (pow x 4))) (+ (* 2 (/ 1 (pow x 6))) (* 2 (/ 1 (pow x 2))))))
247.0ms
(- (* 2 (/ 1 (pow x 2))) (+ (* 2 (/ 1 (pow x 3))) (* 2 (/ 1 x))))

prune523.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

20.1b
(* (/ -2 (+ (pow x 3) (pow 1 3))) (+ (- 1 x) (* x x)))
0.2b
(/ -2 (+ (pow x 3) (pow 1 3)))
0.0b
(/ (* (/ -2 (+ (pow x 3) (pow 1 3))) (+ (- 1 x) (* x x))) (- x 1))
0.0b
(+ (- 1 x) (* x x))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
12×*-un-lft-identity
11×add-cbrt-cube add-exp-log
9×add-sqr-sqrt associate-/r* add-cube-cbrt
7×flip3-+ flip-+
6×pow1 associate-*l* associate-/r/ add-log-exp
5×associate-/l/
4×frac-times associate-*r/ insert-posit16
3×times-frac associate-*r* div-inv
2×cbrt-undiv associate-+l+ clear-num frac-2neg div-exp associate-*l/ prod-exp cbrt-unprod distribute-lft-out
1×distribute-rgt-in cube-mult +-commutative sum-log sub-neg distribute-lft-in flip3-- pow-prod-down sum-cubes *-commutative associate-+l- flip-- associate-/l*
Calls
4 calls:
Slowest
12.0ms
(/ (* (/ -2 (+ (pow x 3) (pow 1 3))) (+ (- 1 x) (* x x))) (- x 1))
9.0ms
(* (/ -2 (+ (pow x 3) (pow 1 3))) (+ (- 1 x) (* x x)))
4.0ms
(+ (- 1 x) (* x x))
2.0ms
(/ -2 (+ (pow x 3) (pow 1 3)))

series267.0ms

Calls
4 calls:
Slowest
138.0ms
(/ (* (/ -2 (+ (pow x 3) (pow 1 3))) (+ (- 1 x) (* x x))) (- x 1))
59.0ms
(/ -2 (+ (pow x 3) (pow 1 3)))
42.0ms
(* (/ -2 (+ (pow x 3) (pow 1 3))) (+ (- 1 x) (* x x)))
28.0ms
(+ (- 1 x) (* x x))

simplify10.3s

Calls
61 calls:
Slowest
792.0ms
(* -2 (+ (pow (- 1 x) 3) (pow (* x x) 3)))
656.0ms
(/ (* (* (* (/ -2 (+ (pow x 3) (pow 1 3))) (/ -2 (+ (pow x 3) (pow 1 3)))) (/ -2 (+ (pow x 3) (pow 1 3)))) (* (* (+ (- 1 x) (* x x)) (+ (- 1 x) (* x x))) (+ (- 1 x) (* x x)))) (* (* (- x 1) (- x 1)) (- x 1)))
582.0ms
(/ (* (* (* (/ -2 (+ (pow x 3) (pow 1 3))) (+ (- 1 x) (* x x))) (* (/ -2 (+ (pow x 3) (pow 1 3))) (+ (- 1 x) (* x x)))) (* (/ -2 (+ (pow x 3) (pow 1 3))) (+ (- 1 x) (* x x)))) (* (* (- x 1) (- x 1)) (- x 1)))
526.0ms
(* -2 (+ (pow (- 1 x) 3) (pow (* x x) 3)))
442.0ms
(* (+ (pow x 3) (pow 1 3)) (+ (* (- 1 x) (- 1 x)) (- (* (* x x) (* x x)) (* (- 1 x) (* x x)))))

prune1.0s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes21.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.6s

Algorithm
intervals
Results
670.0ms1991×body640valid
398.0ms4184×body80valid
321.0ms1215×body320valid
84.0ms610×body160valid