Details

Time bar (total: 3.0m)

sample81.0ms

Algorithm
intervals
Results
25.0ms49×body1280valid
19.0ms47×body640valid
13.0ms127×body80valid
7.0ms22×body320valid
2.0ms11×body160valid

simplify87.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.3b

localize26.0ms

Local error

Found 3 expressions with local error:

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

rewrite109.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
84.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
16.0ms
(/ (+ x 1) (- x 1))
7.0ms
(/ x (+ x 1))

series156.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
90.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
41.0ms
(/ (+ x 1) (- x 1))
25.0ms
(/ x (+ x 1))

simplify7.8s

Counts
175 → 126
Calls
175 calls:
Slowest
383.0ms
(* (- x 1) (+ (* x x) (- (* 1 1) (* x 1))))
368.0ms
(/ (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (- x 1) (- x 1)) (- x 1)))
341.0ms
(* (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))) (/ (+ x 1) (- x 1)))
322.0ms
(+ (* (/ x (+ x 1)) (/ x (+ x 1))) (+ (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))) (* (/ x (+ x 1)) (/ (+ x 1) (- x 1)))))
312.0ms
(- (* x (- x 1)) (* (+ x 1) (+ x 1)))

prune940.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize76.0ms

Local error

Found 4 expressions with local error:

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

rewrite266.0ms

Algorithm
rewrite-expression-head
Rules
174×*-un-lft-identity
141×times-frac
111×add-sqr-sqrt
84×add-cube-cbrt
77×frac-times associate-*l/
69×add-cbrt-cube add-exp-log
54×associate-*r*
49×frac-sub
48×swap-sqr
47×associate-*r/
39×distribute-lft-out
37×pow1 associate-*l*
26×prod-exp cbrt-unprod
21×cbrt-undiv div-exp
18×associate-/r/
10×unswap-sqr
9×flip3-+ flip-+ div-inv
8×pow-plus pow-prod-up
6×add-log-exp
5×pow-prod-down
4×pow2 pow-sqr insert-posit16
3×pow3 *-commutative
1×difference-cubes sub-neg flip3-- diff-log flip--
Counts
4 → 309
Calls
4 calls:
Slowest
141.0ms
(- (* (* (/ x (+ 1 x)) (/ x (+ 1 x))) (/ x (+ 1 x))) (* (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (/ (+ 1 x) (- x 1))))
57.0ms
(* (* (/ x (+ 1 x)) (/ x (+ 1 x))) (/ x (+ 1 x)))
28.0ms
(* (/ x (+ 1 x)) (/ x (+ 1 x)))
27.0ms
(* (/ x (+ 1 x)) (/ x (+ 1 x)))

series348.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
236.0ms
(- (* (* (/ x (+ 1 x)) (/ x (+ 1 x))) (/ x (+ 1 x))) (* (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (/ (+ 1 x) (- x 1))))
52.0ms
(* (* (/ x (+ 1 x)) (/ x (+ 1 x))) (/ x (+ 1 x)))
35.0ms
(* (/ x (+ 1 x)) (/ x (+ 1 x)))
26.0ms
(* (/ x (+ 1 x)) (/ x (+ 1 x)))

simplify1.3m

Counts
430 → 321
Calls
430 calls:
Slowest
1.0s
(* (* (+ 1 x) (+ 1 x)) (* (* (- x 1) (- x 1)) (- x 1)))
818.0ms
(* (* (* (+ 1 x) (+ 1 x)) (+ 1 x)) (* (* (- x 1) (- x 1)) (- x 1)))
756.0ms
(* (* (- (* (* (/ x (+ 1 x)) (/ x (+ 1 x))) (/ x (+ 1 x))) (* (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (/ (+ 1 x) (- x 1)))) (- (* (* (/ x (+ 1 x)) (/ x (+ 1 x))) (/ x (+ 1 x))) (* (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (/ (+ 1 x) (- x 1))))) (- (* (* (/ x (+ 1 x)) (/ x (+ 1 x))) (/ x (+ 1 x))) (* (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (/ (+ 1 x) (- x 1)))))
730.0ms
(* (* (* (+ 1 x) (+ 1 x)) (+ 1 x)) (* (- x 1) (- x 1)))
720.0ms
(* (* (+ 1 x) (+ 1 x)) (- x 1))

prune4.0s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize122.0ms

Local error

Found 4 expressions with local error:

3.2b
(- (* (* (/ x (+ 1 x)) (/ x (+ 1 x))) (/ x (+ 1 x))) (* (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (/ (+ 1 x) (- x 1))))
3.2b
(log (exp (- (* (* (/ x (+ 1 x)) (/ x (+ 1 x))) (/ x (+ 1 x))) (* (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (/ (+ 1 x) (- x 1))))))
0.1b
(* (* (/ x (+ 1 x)) (/ x (+ 1 x))) (/ x (+ 1 x)))
0.0b
(* (/ x (+ 1 x)) (/ x (+ 1 x)))

rewrite862.0ms

Algorithm
rewrite-expression-head
Rules
98×*-un-lft-identity
77×times-frac
76×frac-times associate-*l/
65×add-sqr-sqrt
57×add-cbrt-cube add-exp-log
50×add-cube-cbrt
49×frac-sub
46×associate-*r/
36×associate-*r*
31×pow1
24×swap-sqr
22×prod-exp cbrt-unprod
21×distribute-lft-out
19×associate-*l*
17×cbrt-undiv div-exp
10×associate-/r/
7×pow-plus pow-prod-up
6×add-log-exp unswap-sqr
5×log-prod flip3-+ pow3 log-pow flip-+ div-inv
4×exp-prod pow-prod-down insert-posit16
3×pow2 pow-sqr
2×difference-cubes sub-neg exp-sum *-commutative
1×log-div flip3-- exp-diff diff-log rem-log-exp flip--
Counts
4 → 240
Calls
4 calls:
Slowest
588.0ms
(log (exp (- (* (* (/ x (+ 1 x)) (/ x (+ 1 x))) (/ x (+ 1 x))) (* (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (/ (+ 1 x) (- x 1))))))
156.0ms
(- (* (* (/ x (+ 1 x)) (/ x (+ 1 x))) (/ x (+ 1 x))) (* (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (/ (+ 1 x) (- x 1))))
69.0ms
(* (* (/ x (+ 1 x)) (/ x (+ 1 x))) (/ x (+ 1 x)))
44.0ms
(* (/ x (+ 1 x)) (/ x (+ 1 x)))

series557.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
242.0ms
(- (* (* (/ x (+ 1 x)) (/ x (+ 1 x))) (/ x (+ 1 x))) (* (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (/ (+ 1 x) (- x 1))))
222.0ms
(log (exp (- (* (* (/ x (+ 1 x)) (/ x (+ 1 x))) (/ x (+ 1 x))) (* (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (/ (+ 1 x) (- x 1))))))
49.0ms
(* (* (/ x (+ 1 x)) (/ x (+ 1 x))) (/ x (+ 1 x)))
45.0ms
(* (/ x (+ 1 x)) (/ x (+ 1 x)))

simplify1.2m

Counts
339 → 252
Calls
339 calls:
Slowest
940.0ms
(* (* (* (+ 1 x) (+ 1 x)) (+ 1 x)) (* (* (- x 1) (- x 1)) (- x 1)))
875.0ms
(* (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))))
842.0ms
(* (* (* (+ 1 x) (+ 1 x)) (+ 1 x)) (* (- x 1) (- x 1)))
775.0ms
(* (* (- (* (* (/ x (+ 1 x)) (/ x (+ 1 x))) (/ x (+ 1 x))) (* (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (/ (+ 1 x) (- x 1)))) (- (* (* (/ x (+ 1 x)) (/ x (+ 1 x))) (/ x (+ 1 x))) (* (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (/ (+ 1 x) (- x 1))))) (- (* (* (/ x (+ 1 x)) (/ x (+ 1 x))) (/ x (+ 1 x))) (* (* (/ (+ 1 x) (- x 1)) (/ (+ 1 x) (- x 1))) (/ (+ 1 x) (- x 1)))))
753.0ms
(* (* (* (+ 1 x) (+ 1 x)) (+ 1 x)) (* (- x 1) (- x 1)))

prune3.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

5.8b
(- (/ (/ -3 x) (* x x)) (- (/ 1 (* x x)) (/ -3 x)))
0.3b
(/ 1 (* x x))
0.1b
(/ (/ -3 x) (* x x))
0.0b
(- (/ 1 (* x x)) (/ -3 x))

rewrite145.0ms

Algorithm
rewrite-expression-head
Rules
47×times-frac
40×add-sqr-sqrt
35×*-un-lft-identity
27×add-exp-log
21×add-cbrt-cube
20×add-cube-cbrt
16×associate-/l*
12×pow1
11×add-log-exp
10×div-exp
9×difference-of-squares
8×cbrt-undiv div-inv distribute-lft-out--
6×pow-flip
5×prod-exp frac-sub
4×diff-log insert-posit16
3×sub-neg flip3-- cbrt-unprod flip--
2×rec-exp clear-num associate-/r* frac-2neg distribute-rgt-out-- 1-exp associate--r+
1×pow2 pow-plus pow-prod-down pow-sqr pow-prod-up inv-pow associate--r- associate-/l/
Counts
4 → 130
Calls
4 calls:
Slowest
103.0ms
(- (/ (/ -3 x) (* x x)) (- (/ 1 (* x x)) (/ -3 x)))
23.0ms
(- (/ 1 (* x x)) (/ -3 x))
9.0ms
(/ (/ -3 x) (* x x))
9.0ms
(/ 1 (* x x))

series180.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
73.0ms
(- (/ 1 (* x x)) (/ -3 x))
47.0ms
(/ (/ -3 x) (* x x))
32.0ms
(- (/ (/ -3 x) (* x x)) (- (/ 1 (* x x)) (/ -3 x)))
28.0ms
(/ 1 (* x x))

simplify12.4s

Counts
176 → 142
Calls
176 calls:
Slowest
700.0ms
(* (* (/ 1 (* x x)) (/ 1 (* x x))) (/ 1 (* x x)))
681.0ms
(* (* (- (/ (/ -3 x) (* x x)) (- (/ 1 (* x x)) (/ -3 x))) (- (/ (/ -3 x) (* x x)) (- (/ 1 (* x x)) (/ -3 x)))) (- (/ (/ -3 x) (* x x)) (- (/ 1 (* x x)) (/ -3 x))))
477.0ms
(- (* (/ -3 x) (* (* x x) x)) (* (* x x) (- (* 1 x) (* (* x x) -3))))
476.0ms
(+ (* (/ 1 (* x x)) (/ 1 (* x x))) (+ (* (/ -3 x) (/ -3 x)) (* (/ 1 (* x x)) (/ -3 x))))
353.0ms
(/ (* (* 1 1) 1) (* (* (* x x) (* x x)) (* x x)))

prune969.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes68.0ms

Accuracy

100% (0.0b remaining)

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

bsearch179.0ms

end0.0ms

sample2.5s

Algorithm
intervals
Results
776.0ms1693×body1280valid
542.0ms656×body320valid
528.0ms4133×body80valid
438.0ms1225×body640valid
46.0ms293×body160valid