Details

Time bar (total: 1.1m)

sample78.0ms

Algorithm
intervals
Results
28.0ms67×body640valid
14.0ms120×body80valid
11.0ms32×body320valid
9.0ms17×body1280valid
5.0ms20×body160valid

simplify216.0ms

Counts
1 → 1

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 9.2b

localize41.0ms

Local error

Found 4 expressions with local error:

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

rewrite312.0ms

Algorithm
rewrite-expression-head
Rules
743×*-un-lft-identity
715×times-frac
544×add-sqr-sqrt
494×add-cube-cbrt
468×prod-diff
236×associate-+l+
99×distribute-lft-out
72×div-inv
58×associate-/r/
29×flip3-+ flip-+
22×distribute-lft-out--
20×difference-of-squares
18×fma-neg
13×fma-def
12×add-exp-log
11×associate-/r* add-log-exp
8×add-cbrt-cube
6×pow1 associate-/l*
4×expm1-log1p-u difference-of-sqr-1 div-exp insert-posit16 log1p-expm1-u
3×flip3-- frac-add flip--
2×cbrt-undiv rec-exp clear-num sum-log sub-neg frac-2neg diff-log 1-exp frac-sub pow-flip inv-pow
1×+-commutative associate-+l-
Counts
4 → 648
Calls
4 calls:
Slowest
194.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
49.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
16.0ms
(/ 1 (- x 1))
16.0ms
(/ 1 (+ x 1))

series186.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
129.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
26.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
18.0ms
(/ 1 (- x 1))
14.0ms
(/ 1 (+ x 1))

simplify1.5s

Counts
660 → 660

prune7.1s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.3b

localize50.0ms

Local error

Found 4 expressions with local error:

2.9b
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
2.9b
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
2.9b
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
0.3b
(* (cbrt (+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))) (cbrt (+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))))

rewrite1.6s

Algorithm
rewrite-expression-head
Rules
1566×*-un-lft-identity
1143×times-frac
764×add-sqr-sqrt
708×associate-+l+
705×add-cube-cbrt
702×prod-diff
312×distribute-lft-out
191×div-inv
166×distribute-lft-out--
164×cbrt-prod
78×associate-/r/
70×swap-sqr
60×cbrt-div
54×flip3-+ flip-+
45×frac-add
39×fma-def
25×frac-times
19×add-log-exp
18×difference-of-squares
16×associate-*r* associate-*l*
15×flip3-- frac-sub flip--
11×pow1
6×sum-log pow1/3 add-exp-log
5×associate-*l/ associate-*r/
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u unswap-sqr
3×+-commutative sub-neg diff-log associate-+l-
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 996
Calls
4 calls:
Slowest
847.0ms
(* (cbrt (+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))) (cbrt (+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))))
252.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
226.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
219.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))

series680.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
300.0ms
(* (cbrt (+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))) (cbrt (+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))))
147.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
125.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
108.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))

simplify1.7s

Counts
1008 → 1008

prune14.4s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.3b

localize96.0ms

Local error

Found 4 expressions with local error:

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

rewrite830.0ms

Algorithm
rewrite-expression-head
Rules
1452×*-un-lft-identity
1364×times-frac
996×add-sqr-sqrt
944×associate-+l+
936×prod-diff
928×add-cube-cbrt
208×distribute-lft-out
148×div-inv
104×associate-/r/
56×flip3-+ flip-+ distribute-lft-out--
52×fma-def
24×add-log-exp difference-of-squares
12×frac-add
8×sum-log
4×expm1-log1p-u pow1 +-commutative sub-neg flip3-- add-cbrt-cube diff-log add-exp-log frac-sub associate-+l- insert-posit16 log1p-expm1-u flip--
Counts
4 → 1112
Calls
4 calls:
Slowest
211.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
195.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
188.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
177.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))

series541.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
161.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
160.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
113.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
106.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))

simplify3.0s

Counts
1124 → 1124

prune16.2s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.3b

localize110.0ms

Local error

Found 4 expressions with local error:

60.7b
(fma (- (/ (cbrt 2) (cbrt x))) (/ (* (cbrt 2) (cbrt 2)) (* (cbrt x) (cbrt x))) (* (/ (cbrt 2) (cbrt x)) (/ (* (cbrt 2) (cbrt 2)) (* (cbrt x) (cbrt x)))))
20.2b
(+ (fma 1 (/ 1 (+ x 1)) (- (* (/ (cbrt 2) (cbrt x)) (/ (* (cbrt 2) (cbrt 2)) (* (cbrt x) (cbrt x)))))) (+ (fma (- (/ (cbrt 2) (cbrt x))) (/ (* (cbrt 2) (cbrt 2)) (* (cbrt x) (cbrt x))) (* (/ (cbrt 2) (cbrt x)) (/ (* (cbrt 2) (cbrt 2)) (* (cbrt x) (cbrt x))))) (/ 1 (- x 1))))
2.9b
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
2.9b
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))

rewrite327.0ms

Algorithm
rewrite-expression-head
Rules
736×*-un-lft-identity
682×times-frac
501×add-sqr-sqrt
473×associate-+l+
468×prod-diff
467×add-cube-cbrt
109×distribute-lft-out
75×div-inv
52×associate-/r/
29×fma-def flip3-+ flip-+
28×distribute-lft-out--
19×add-log-exp
12×difference-of-squares
7×sum-log
6×frac-add
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×+-commutative
2×sub-neg flip3-- diff-log frac-sub associate-+l- fma-udef flip--
1×associate-+r+
Counts
4 → 590
Calls
4 calls:
Slowest
137.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
134.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
37.0ms
(+ (fma 1 (/ 1 (+ x 1)) (- (* (/ (cbrt 2) (cbrt x)) (/ (* (cbrt 2) (cbrt 2)) (* (cbrt x) (cbrt x)))))) (+ (fma (- (/ (cbrt 2) (cbrt x))) (/ (* (cbrt 2) (cbrt 2)) (* (cbrt x) (cbrt x))) (* (/ (cbrt 2) (cbrt x)) (/ (* (cbrt 2) (cbrt 2)) (* (cbrt x) (cbrt x))))) (/ 1 (- x 1))))
0.0ms
(fma (- (/ (cbrt 2) (cbrt x))) (/ (* (cbrt 2) (cbrt 2)) (* (cbrt x) (cbrt x))) (* (/ (cbrt 2) (cbrt x)) (/ (* (cbrt 2) (cbrt 2)) (* (cbrt x) (cbrt x)))))

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
882.0ms
(fma (- (/ (cbrt 2) (cbrt x))) (/ (* (cbrt 2) (cbrt 2)) (* (cbrt x) (cbrt x))) (* (/ (cbrt 2) (cbrt x)) (/ (* (cbrt 2) (cbrt 2)) (* (cbrt x) (cbrt x)))))
371.0ms
(+ (fma 1 (/ 1 (+ x 1)) (- (* (/ (cbrt 2) (cbrt x)) (/ (* (cbrt 2) (cbrt 2)) (* (cbrt x) (cbrt x)))))) (+ (fma (- (/ (cbrt 2) (cbrt x))) (/ (* (cbrt 2) (cbrt 2)) (* (cbrt x) (cbrt x))) (* (/ (cbrt 2) (cbrt x)) (/ (* (cbrt 2) (cbrt 2)) (* (cbrt x) (cbrt x))))) (/ 1 (- x 1))))
90.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
89.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))

simplify774.0ms

Counts
602 → 602

prune11.8s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.3b

regimes101.0ms

Accuracy

99.9% (0.0b remaining)

Error of 0.4b against oracle of 0.4b and baseline of 10.4b

bsearch129.0ms

end0.0ms

sample1.7s

Algorithm
intervals
Results
557.0ms1865×body640valid
496.0ms919×body320valid
284.0ms4150×body80valid
209.0ms623×body1280valid
54.0ms445×body160valid