Details

Time bar (total: 6.0m)

sample40.0ms

Algorithm
intervals
Results
11.0ms43×body1280valid
10.0ms51×body640valid
7.0ms133×body80valid
3.0ms21×body320valid
1.0ms8×body160valid

simplify60.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
60.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.0b

localize26.0ms

Local error

Found 3 expressions with local error:

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

rewrite138.0ms

Algorithm
rewrite-expression-head
Rules
110×*-un-lft-identity
60×times-frac
57×add-sqr-sqrt
25×add-cube-cbrt
20×distribute-lft-out
18×distribute-lft-out--
14×difference-of-squares
11×associate-/r*
7×add-cbrt-cube add-exp-log associate-/l*
5×difference-of-sqr-1 add-log-exp
4×associate-/r/
3×pow1 insert-posit16
2×cbrt-undiv clear-num frac-2neg flip3-+ flip3-- div-exp flip-+ div-inv flip-- associate-/l/
1×sub-neg diff-log frac-sub
Counts
3 → 117
Calls
3 calls:
Slowest
87.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
35.0ms
(/ (+ x 1) (- x 1))
14.0ms
(/ x (+ x 1))

series121.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
74.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
23.0ms
(/ (+ x 1) (- x 1))
23.0ms
(/ x (+ x 1))

simplify5.1s

Counts
142 → 126
Calls
142 calls:
Slowest
366.0ms
(/ (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (- x 1) (- x 1)) (- x 1)))
331.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x)))))
311.0ms
(- (* x (- x 1)) (* (+ x 1) (+ x 1)))
271.0ms
(/ (* (* x x) x) (* (* (+ x 1) (+ x 1)) (+ x 1)))
260.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x)))))

prune889.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
72×add-sqr-sqrt
69×*-un-lft-identity
56×times-frac
37×add-cube-cbrt
27×associate-*r*
19×add-exp-log
14×difference-of-squares
13×add-cbrt-cube
11×associate-/r*
7×pow1 difference-of-sqr-1 distribute-lft-out--
6×associate-/r/ frac-sub associate-/l* add-log-exp
5×flip3-+ div-exp flip-+ distribute-lft-out
4×frac-times associate-*l* associate-*l/ prod-exp insert-posit16
3×cbrt-undiv flip3-- div-inv flip-- unswap-sqr
2×rec-exp clear-num frac-2neg 1-exp associate-*r/ un-div-inv cbrt-unprod
1×sub-neg diff-log pow-prod-down *-commutative pow-flip inv-pow
Counts
4 → 159
Calls
4 calls:
Slowest
46.0ms
(- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1))))
40.0ms
(* (+ x 1) (/ 1 (- x 1)))
9.0ms
(/ x (+ x 1))
8.0ms
(/ 1 (- x 1))

series173.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
96.0ms
(- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1))))
38.0ms
(/ x (+ x 1))
24.0ms
(* (+ x 1) (/ 1 (- x 1)))
15.0ms
(/ 1 (- x 1))

simplify11.4s

Counts
166 → 171
Calls
166 calls:
Slowest
1.1s
(* (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1))))
493.0ms
(* (- (* x x) (* 1 1)) (/ 1 (- x 1)))
454.0ms
(* (+ x 1) (* (+ (* x x) (- (* 1 1) (* x 1))) (- x 1)))
442.0ms
(* (+ (pow x 3) (pow 1 3)) (/ 1 (- x 1)))
436.0ms
(* (+ x 1) (+ (* x x) (- (* 1 1) (* x 1))))

prune1.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

5.8b
(- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1))))
5.8b
(- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1))))
5.8b
(- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1))))
0.1b
(cbrt (* (* (- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1)))) (- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1))))) (- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1))))))

rewrite428.0ms

Algorithm
rewrite-expression-head
Rules
1708×frac-times
1476×frac-sub
728×cbrt-div
644×associate-*l/
492×flip3-+ flip-+
326×associate-*r/
246×flip3-- un-div-inv flip--
10×add-log-exp
4×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16
3×sub-neg diff-log
1×cbrt-prod pow1/3 pow3 rem-cbrt-cube
Counts
4 → 796
Calls
4 calls:
Slowest
266.0ms
(cbrt (* (* (- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1)))) (- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1))))) (- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1))))))
42.0ms
(- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1))))
39.0ms
(- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1))))
34.0ms
(- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1))))

series390.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
125.0ms
(- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1))))
96.0ms
(- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1))))
91.0ms
(cbrt (* (* (- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1)))) (- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1))))) (- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1))))))
78.0ms
(- (/ x (+ x 1)) (* (+ x 1) (/ 1 (- x 1))))

simplify5.0m

Counts
781 → 808
Calls
781 calls:
Slowest
1.2s
(cbrt (* (* (- (* x (- x 1)) (* (+ x 1) (* (- (* x x) (* 1 1)) (/ 1 (- x 1))))) (- (* x (- x 1)) (* (+ x 1) (* (- (* x x) (* 1 1)) (/ 1 (- x 1)))))) (- (* x (- x 1)) (* (+ x 1) (* (- (* x x) (* 1 1)) (/ 1 (- x 1)))))))
936.0ms
(cbrt (* (* (- (* x (+ (* x x) (- (* 1 1) (* x 1)))) (* (+ x 1) (* (+ (pow x 3) (pow 1 3)) (/ 1 (- x 1))))) (- (* x (- x 1)) (* (+ x 1) (* (+ x 1) 1)))) (- (pow (/ x (+ x 1)) 3) (pow (* (+ x 1) (/ 1 (- x 1))) 3))))
927.0ms
(cbrt (* (* (- (pow (/ x (+ x 1)) 3) (pow (* (+ x 1) (/ 1 (- x 1))) 3)) (- (* x (+ (* x x) (- (* 1 1) (* x 1)))) (* (+ x 1) (* (+ (pow x 3) (pow 1 3)) (/ 1 (- x 1)))))) (- (* x (- x 1)) (* (+ x 1) (* (- (* x x) (* 1 1)) (/ 1 (- x 1)))))))
849.0ms
(cbrt (* (* (- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (* (+ x 1) (/ 1 (- x 1))) (* (+ x 1) (/ 1 (- x 1))))) (- (* x (+ (* x x) (- (* 1 1) (* x 1)))) (* (+ x 1) (* (+ (pow x 3) (pow 1 3)) (/ 1 (- x 1)))))) (- (* x (- x 1)) (* (+ x 1) (+ x 1)))))
848.0ms
(cbrt (* (* (- (* x (* (+ (* x x) (- (* 1 1) (* x 1))) (- x 1))) (* (+ x 1) (* (+ (pow x 3) (pow 1 3)) 1))) (- (* x (- x 1)) (* (+ x 1) (+ x 1)))) (- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (* (+ x 1) (/ 1 (- x 1))) (* (+ x 1) (/ 1 (- x 1)))))))

prune14.5s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 4 expressions with local error:

21.9b
(/ (+ 1 (* (* x x) x)) (* (- x 1) (- (+ (* x x) 1) x)))
1.9b
(- (/ x (+ x 1)) (/ (+ 1 (* (* x x) x)) (* (- x 1) (- (+ (* x x) 1) x))))
0.1b
(* (* x x) x)
0.1b
(* (- x 1) (- (+ (* x x) 1) x))

rewrite275.0ms

Algorithm
rewrite-expression-head
Rules
25×pow1
23×add-sqr-sqrt
16×*-un-lft-identity add-cbrt-cube add-exp-log
13×flip3-- flip--
9×add-cube-cbrt
8×frac-times associate-*r* associate-*l* associate-/r/
6×pow-plus pow-prod-up add-log-exp
5×prod-exp cbrt-unprod difference-of-squares
4×times-frac pow-prod-down associate-*l/ associate-*r/ insert-posit16
3×distribute-rgt-in sub-neg distribute-lft-in associate-/l* distribute-lft-out--
2×pow2 cbrt-undiv div-exp associate--l+ pow-sqr *-commutative unswap-sqr associate-/l/
1×clear-num associate-/r* frac-2neg flip3-+ diff-log difference-of-sqr-1 pow3 frac-sub flip-+ div-inv
Counts
4 → 117
Calls
4 calls:
Slowest
98.0ms
(* (- x 1) (- (+ (* x x) 1) x))
96.0ms
(- (/ x (+ x 1)) (/ (+ 1 (* (* x x) x)) (* (- x 1) (- (+ (* x x) 1) x))))
65.0ms
(/ (+ 1 (* (* x x) x)) (* (- x 1) (- (+ (* x x) 1) x)))
14.0ms
(* (* x x) x)

series253.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
129.0ms
(- (/ x (+ x 1)) (/ (+ 1 (* (* x x) x)) (* (- x 1) (- (+ (* x x) 1) x))))
57.0ms
(/ (+ 1 (* (* x x) x)) (* (- x 1) (- (+ (* x x) 1) x)))
40.0ms
(* (* x x) x)
27.0ms
(* (- x 1) (- (+ (* x x) 1) x))

simplify16.3s

Counts
90 → 129
Calls
90 calls:
Slowest
780.0ms
(+ (* (+ (* x x) 1) (+ (* x x) 1)) (+ (* x x) (* (+ (* x x) 1) x)))
711.0ms
(+ (* (+ (* x x) 1) (+ (* x x) 1)) (+ (* x x) (* (+ (* x x) 1) x)))
706.0ms
(/ (* (* (+ 1 (* (* x x) x)) (+ 1 (* (* x x) x))) (+ 1 (* (* x x) x))) (* (* (* (- x 1) (- (+ (* x x) 1) x)) (* (- x 1) (- (+ (* x x) 1) x))) (* (- x 1) (- (+ (* x x) 1) x))))
695.0ms
(+ (pow 1 3) (pow (* (* x x) x) 3))
585.0ms
(* (- (pow x 3) (pow 1 3)) (- (* (+ (* x x) 1) (+ (* x x) 1)) (* x x)))

prune1.0s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes36.0ms

Accuracy

100% (0.0b remaining)

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

bsearch131.0ms

end0.0ms

sample2.4s

Algorithm
intervals
Results
805.0ms4101×body80valid
778.0ms1687×body1280valid
460.0ms1260×body640valid
145.0ms637×body320valid
47.0ms315×body160valid