Details

Time bar (total: 1.8m)

sample66.0ms

Algorithm
intervals
Results
27.0ms61×body1280valid
12.0ms36×body640valid
12.0ms133×body80valid
4.0ms16×body320valid
2.0ms10×body160valid

simplify49.0ms

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

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.9b

localize38.0ms

Local error

Found 3 expressions with local error:

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

rewrite84.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
56.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
19.0ms
(/ (+ x 1) (- x 1))
7.0ms
(/ x (+ x 1))

series170.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
110.0ms
(- (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
36.0ms
(/ x (+ x 1))
24.0ms
(/ (+ x 1) (- x 1))

simplify4.8s

Counts
142 → 126
Calls
142 calls:
Slowest
350.0ms
(/ (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (- x 1) (- x 1)) (- x 1)))
267.0ms
(- (* x (- x 1)) (* (+ x 1) (+ x 1)))
246.0ms
(- (+ (* 3 (/ 1 (pow x 3))) (+ (/ 1 (pow x 2)) (* 3 (/ 1 x)))))
239.0ms
(- (+ (* 2 x) (+ (* 2 (pow x 2)) 1)))
236.0ms
(/ (* (* x x) x) (* (* (+ x 1) (+ x 1)) (+ x 1)))

prune935.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize49.0ms

Local error

Found 4 expressions with local error:

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

rewrite220.0ms

Algorithm
rewrite-expression-head
Rules
434×*-un-lft-identity
272×times-frac
228×add-sqr-sqrt
100×add-cube-cbrt
96×swap-sqr
93×distribute-lft-out
53×difference-of-squares
52×associate-*r* associate-*l*
36×distribute-lft-out--
32×difference-of-sqr-1
28×add-cbrt-cube add-exp-log
18×pow1
16×associate-/r/
9×frac-sub
8×frac-times cbrt-undiv div-exp associate-*l/ prod-exp associate-*r/ cbrt-unprod div-inv add-log-exp unswap-sqr
5×flip3-+ flip3-- flip-+ flip--
4×insert-posit16
2×pow2 pow-plus pow-prod-down pow-sqr *-commutative pow-prod-up
1×+-commutative sum-log sub-neg diff-log frac-add
Counts
4 → 303
Calls
4 calls:
Slowest
86.0ms
(* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1)))
64.0ms
(+ (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
31.0ms
(* (/ x (+ x 1)) (/ x (+ x 1)))
27.0ms
(- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))

series352.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
146.0ms
(- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))
97.0ms
(+ (/ x (+ x 1)) (/ (+ x 1) (- x 1)))
67.0ms
(* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1)))
43.0ms
(* (/ x (+ x 1)) (/ x (+ x 1)))

simplify39.7s

Counts
398 → 315
Calls
398 calls:
Slowest
733.0ms
(* (* (+ x 1) (+ x 1)) (- x 1))
688.0ms
(* (* (+ x 1) (+ x 1)) (- x 1))
679.0ms
(* (/ (* (cbrt (+ x 1)) (cbrt (+ x 1))) (+ (sqrt x) 1)) (/ (* (cbrt (+ x 1)) (cbrt (+ x 1))) (+ (sqrt x) 1)))
664.0ms
(- (* (* x x) (- x 1)) (* (* (+ x 1) (+ x 1)) (* (/ (+ x 1) (- x 1)) (+ x 1))))
618.0ms
(- (* (* x x) (- x 1)) (* (* (+ x 1) (+ x 1)) (* (+ x 1) (/ (+ x 1) (- x 1)))))

prune2.6s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize86.0ms

Local error

Found 4 expressions with local error:

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

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
36×frac-sub
24×frac-times associate-*l/ associate-*r/
11×cbrt-div
10×add-log-exp
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×cbrt-prod pow1 flip3-- add-cbrt-cube add-exp-log insert-posit16 flip-- difference-of-squares
3×sub-neg diff-log
1×pow1/3
Counts
4 → 93
Calls
4 calls:
Slowest
23.0ms
(cbrt (- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1)))))
23.0ms
(- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))
18.0ms
(- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))
13.0ms
(- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))

series653.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
238.0ms
(cbrt (- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1)))))
148.0ms
(- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))
134.0ms
(- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))
133.0ms
(- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))

simplify28.1s

Counts
90 → 105
Calls
90 calls:
Slowest
752.0ms
(- (* (* x x) (* (- x 1) (- x 1))) (* (* (+ x 1) (+ x 1)) (* (+ x 1) (+ x 1))))
744.0ms
(* (* (+ x 1) (+ x 1)) (- x 1))
732.0ms
(* (* (+ x 1) (+ x 1)) (- x 1))
703.0ms
(- (* (* x x) (- x 1)) (* (* (+ x 1) (+ x 1)) (* (+ x 1) (/ (+ x 1) (- x 1)))))
696.0ms
(* (* (+ x 1) (+ x 1)) (- x 1))

prune1.1s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize90.0ms

Local error

Found 4 expressions with local error:

2.6b
(- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))
2.6b
(- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))
2.6b
(- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))
2.6b
(log (exp (- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
27×frac-sub
18×frac-times associate-*l/ associate-*r/
10×add-log-exp
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×pow1 log-prod log-pow
4×exp-prod sub-neg add-cbrt-cube add-exp-log insert-posit16 difference-of-squares
3×flip3-- diff-log flip--
2×exp-sum
1×log-div exp-diff rem-log-exp
Counts
4 → 89
Calls
4 calls:
Slowest
37.0ms
(log (exp (- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))))
26.0ms
(- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))
18.0ms
(- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))
13.0ms
(- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))

series660.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
172.0ms
(log (exp (- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))))
165.0ms
(- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))
161.0ms
(- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))
161.0ms
(- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ (+ x 1) (- x 1)) (/ (+ x 1) (- x 1))))

simplify25.4s

Counts
86 → 101
Calls
86 calls:
Slowest
1.1s
(* (* (+ x 1) (+ x 1)) (- x 1))
847.0ms
(* (* (+ x 1) (+ x 1)) (- x 1))
798.0ms
(* (* (+ x 1) (+ x 1)) (- x 1))
750.0ms
(* (* (+ x 1) (+ x 1)) (- x 1))
703.0ms
(* (* (+ x 1) (+ x 1)) (- x 1))

prune1.7s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

regimes51.0ms

Accuracy

100% (0.0b remaining)

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

bsearch229.0ms

end0.0ms

sample2.1s

Algorithm
intervals
Results
862.0ms1734×body1280valid
528.0ms1270×body640valid
390.0ms4086×body80valid
165.0ms598×body320valid
67.0ms312×body160valid