Details

Time bar (total: 46.9s)

sample88.0ms

Algorithm
intervals
Results
46.0ms51×body1280valid
16.0ms45×body640valid
12.0ms135×body80valid
4.0ms16×body320valid
2.0ms9×body160valid

simplify48.0ms

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.0b

localize24.0ms

Local error

Found 3 expressions with local error:

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

rewrite20.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
14.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
4.0ms
(/ (+ x 1) (- x 1))
1.0ms
(/ x (+ x 1))

series70.0ms

Calls
3 calls:
Slowest
38.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
17.0ms
(/ (+ x 1) (- x 1))
15.0ms
(/ x (+ x 1))

simplify2.3s

Calls
51 calls:
Slowest
363.0ms
(/ (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (- x 1) (- x 1)) (- x 1)))
282.0ms
(- (* x (- x 1)) (* (+ x 1) (+ x 1)))
202.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x)))))
168.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x)))))
159.0ms
(- (+ (* 2 x) (+ (* 2 (pow x 2)) 1)))

prune583.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 4 expressions with local error:

1.7b
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
1.7b
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
1.7b
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
0.0b
(cbrt (* (* (- (/ x (+ x 1)) (/ (+ x 1) (- x 1))) (- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))) (- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
81×frac-times
63×cbrt-div
51×flip3-- frac-sub flip--
27×associate-*l/
19×add-sqr-sqrt
15×associate-*r/
10×*-un-lft-identity add-log-exp
6×difference-of-squares
4×pow1 add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16
3×sub-neg times-frac diff-log distribute-lft-out--
1×cbrt-prod pow1/3 pow3 rem-cbrt-cube
Calls
4 calls:
Slowest
47.0ms
(cbrt (* (* (- (/ x (+ x 1)) (/ (+ x 1) (- x 1))) (- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))) (- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))))
19.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
15.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
11.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))

series153.0ms

Calls
4 calls:
Slowest
48.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
41.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
36.0ms
(cbrt (* (* (- (/ x (+ x 1)) (/ (+ x 1) (- x 1))) (- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))) (- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))))
28.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))

simplify21.1s

Calls
101 calls:
Slowest
1.0s
(cbrt (* (* (- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1)))) (- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))) (- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))))
880.0ms
(cbrt (* (* (- (pow (/ x (+ x 1)) 3) (pow (/ (+ x 1) (- x 1)) 3)) (- (pow (/ x (+ x 1)) 3) (pow (/ (+ x 1) (- x 1)) 3))) (- (pow (/ x (+ x 1)) 3) (pow (/ (+ x 1) (- x 1)) 3))))
786.0ms
(cbrt (* (* (- (/ x (+ x 1)) (/ (+ x 1) (- x 1))) (- (* x (- x 1)) (* (+ x 1) (+ x 1)))) (- (* x (- x 1)) (* (+ x 1) (+ x 1)))))
750.0ms
(cbrt (* (* (- (pow (/ x (+ x 1)) 3) (pow (/ (+ x 1) (- x 1)) 3)) (- (pow (/ x (+ x 1)) 3) (pow (/ (+ x 1) (- x 1)) 3))) (- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))))
680.0ms
(cbrt (* (* (- (/ x (+ x 1)) (/ (+ x 1) (- x 1))) (- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))) (- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))))

prune1.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

1.7b
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
1.7b
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
1.7b
(log (/ (exp (/ x (+ x 1))) (exp (/ (+ x 1) (- x 1)))))
0.0b
(cbrt (* (* (- (/ x (+ x 1)) (/ (+ x 1) (- x 1))) (log (/ (exp (/ x (+ x 1))) (exp (/ (+ x 1) (- x 1)))))) (- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
17×*-un-lft-identity
15×cbrt-div associate-*l/
13×log-prod
11×times-frac add-cube-cbrt
10×flip3-- frac-sub flip--
9×frac-times
8×add-log-exp
5×pow1 add-exp-log
4×add-cbrt-cube insert-posit16 difference-of-squares
3×associate-*r/
2×exp-prod sub-neg diff-log rem-log-exp log-pow distribute-lft-out--
1×cbrt-prod log-div pow1/3 div-exp div-inv pow-div
Calls
4 calls:
Slowest
58.0ms
(cbrt (* (* (- (/ x (+ x 1)) (/ (+ x 1) (- x 1))) (log (/ (exp (/ x (+ x 1))) (exp (/ (+ x 1) (- x 1)))))) (- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))))
14.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
12.0ms
(log (/ (exp (/ x (+ x 1))) (exp (/ (+ x 1) (- x 1)))))
9.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))

series465.0ms

Calls
4 calls:
Slowest
254.0ms
(cbrt (* (* (- (/ x (+ x 1)) (/ (+ x 1) (- x 1))) (log (/ (exp (/ x (+ x 1))) (exp (/ (+ x 1) (- x 1)))))) (- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))))
120.0ms
(log (/ (exp (/ x (+ x 1))) (exp (/ (+ x 1) (- x 1)))))
46.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
44.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))

simplify9.2s

Calls
61 calls:
Slowest
788.0ms
(cbrt (* (* (- (pow (/ x (+ x 1)) 3) (pow (/ (+ x 1) (- x 1)) 3)) (log (/ (exp (/ x (+ x 1))) (exp (/ (+ x 1) (- x 1)))))) (- (pow (/ x (+ x 1)) 3) (pow (/ (+ x 1) (- x 1)) 3))))
644.0ms
(cbrt (* (* (- (/ x (+ x 1)) (/ (+ x 1) (- x 1))) (log (/ (exp (/ x (+ x 1))) (exp (/ (+ x 1) (- x 1)))))) (- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))))
569.0ms
(cbrt (* (* (- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1)))) (log (/ (exp (/ x (+ x 1))) (exp (/ (+ x 1) (- x 1)))))) (- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))))
521.0ms
(cbrt (* (* (- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1)))) (log (/ (exp (/ x (+ x 1))) (exp (/ (+ x 1) (- x 1)))))) (- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))))
460.0ms
(cbrt (* (* (- (* x (- x 1)) (* (+ x 1) (+ x 1))) (log (/ (exp (/ x (+ x 1))) (exp (/ (+ x 1) (- x 1)))))) (- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))))

prune1.1s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

28.6b
(+ (log (/ 1 (* (cbrt (exp (/ (+ x 1) (- x 1)))) (cbrt (exp (/ (+ x 1) (- x 1))))))) (log (/ (exp (/ x (+ x 1))) (cbrt (exp (/ (+ x 1) (- x 1)))))))
1.7b
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
1.7b
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
1.2b
(cbrt (exp (/ (+ x 1) (- x 1))))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
27×*-un-lft-identity
26×log-prod
22×associate-+r+
20×times-frac
19×add-cube-cbrt
12×cbrt-prod
8×pow1 add-log-exp
4×associate-+l+ add-cbrt-cube add-exp-log log-pow insert-posit16 distribute-lft-out difference-of-squares
2×log-div sub-neg flip3-- diff-log frac-sub div-inv flip-- distribute-lft-out--
1×+-commutative associate-+r- sum-log flip3-+ pow1/3 associate-+l- flip-+
Calls
4 calls:
Slowest
64.0ms
(+ (log (/ 1 (* (cbrt (exp (/ (+ x 1) (- x 1)))) (cbrt (exp (/ (+ x 1) (- x 1))))))) (log (/ (exp (/ x (+ x 1))) (cbrt (exp (/ (+ x 1) (- x 1)))))))
9.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
7.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
4.0ms
(cbrt (exp (/ (+ x 1) (- x 1))))

series469.0ms

Calls
4 calls:
Slowest
338.0ms
(+ (log (/ 1 (* (cbrt (exp (/ (+ x 1) (- x 1)))) (cbrt (exp (/ (+ x 1) (- x 1))))))) (log (/ (exp (/ x (+ x 1))) (cbrt (exp (/ (+ x 1) (- x 1)))))))
57.0ms
(cbrt (exp (/ (+ x 1) (- x 1))))
41.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
34.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))

simplify5.4s

Calls
64 calls:
Slowest
382.0ms
(- (+ (log (pow (/ 1 (pow E 2)) 1/3)) (log (pow (pow E 2) 1/3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x))))
288.0ms
(- (+ (log (pow (/ 1 (pow E 2)) 1/3)) (log (pow (pow E 2) 1/3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x))))
279.0ms
(+ (log (/ 1 (* (cbrt (exp (/ (+ x 1) (- x 1)))) (cbrt (exp (/ (+ x 1) (- x 1))))))) (log (/ (exp (/ x (+ x 1))) (cbrt (exp (/ (+ x 1) (- x 1)))))))
260.0ms
(- (* x (- x 1)) (* (+ x 1) (+ x 1)))
254.0ms
(+ (log (/ 1 (* (cbrt (exp (/ (+ x 1) (- x 1)))) (cbrt (exp (/ (+ x 1) (- x 1))))))) (log (/ (exp (/ x (+ x 1))) (cbrt (exp (/ (+ x 1) (- x 1)))))))

prune1.4s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

regimes86.0ms

Accuracy

99.9% (0.0b remaining)

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

bsearch133.0ms

end0.0ms

sample2.5s

Algorithm
intervals
Results
928.0ms1271×body640valid
857.0ms1698×body1280valid
392.0ms4110×body80valid
180.0ms627×body320valid
47.0ms294×body160valid