Details

sample55.0ms

Algorithm

intervals

Results

21.0ms	63×	body	640	valid
12.0ms	137×	body	80	valid
9.0ms	36×	body	320	valid
3.0ms	20×	body	160	valid

simplify26.0ms

Calls

1 calls:

Slowest

26.0ms

(- (/ 1 (+ x 1)) (/ 1 (- x 1)))

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.8b

localize41.0ms

Local error

Found 3 expressions with local error:

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

rewrite127.0ms

Algorithm

rewrite-expression-head

Rules

952×	`*-un-lft-identity`
796×	`add-sqr-sqrt`
783×	`times-frac`
500×	`add-cube-cbrt`
486×	`prod-diff`
145×	`difference-of-squares`
133×	`associate-/r*`
130×	`frac-sub`
107×	`distribute-lft-out`
98×	`associate-/r/`
91×	`distribute-lft-out--`
75×	`associate-/l*`
68×	`difference-of-sqr-1`
52×	`div-inv`
30×	`flip-+`
29×	`flip3-+`
25×	`clear-num` `frac-2neg`
21×	`flip--`
20×	`flip3--`
18×	`fma-neg`
11×	`add-exp-log`
7×	`add-cbrt-cube`
5×	`pow1` `add-log-exp`
4×	`div-exp`
3×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
2×	`cbrt-undiv` `rec-exp` `1-exp` `pow-flip` `inv-pow`
1×	`sub-neg` `diff-log`

Calls

3 calls:

Slowest

81.0ms	(- (/ 1 (+ x 1)) (/ 1 (- x 1)))
16.0ms	(/ 1 (- x 1))
8.0ms	(/ 1 (+ x 1))

series137.0ms

Calls

3 calls:

Slowest

90.0ms	(- (/ 1 (+ x 1)) (/ 1 (- x 1)))
24.0ms	(/ 1 (- x 1))
22.0ms	(/ 1 (+ x 1))

simplify4.9m

Calls

1399 calls:

Slowest

1.2s	(* (/ (+ x 1) 1) (- (- x 1)))
952.0ms	(* (- (+ x 1)) (- x 1))
949.0ms	(- (* (* (cbrt 1) (cbrt 1)) (- (- x 1))) (* (/ (+ x 1) (cbrt 1)) (- 1)))
925.0ms	(- (* (- 1) (/ (- x 1) 1)) (* (- (+ x 1)) 1))
920.0ms	(- (* (/ 1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (cbrt (- x 1))) (* (cbrt (+ x 1)) (/ 1 (* (cbrt (- x 1)) (cbrt (- x 1))))))

prune6.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 2 expressions with local error:

0.3b	(/ 2 (fma (- 1 x) x (- 1 x)))
0.0b	(fma (- 1 x) x (- 1 x))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
9×	`times-frac`
4×	`add-cbrt-cube` `add-exp-log`
3×	`associate-/r` `associate-/l`
2×	`expm1-log1p-u` `pow1` `insert-posit16` `log1p-expm1-u` `add-log-exp`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp` `fma-udef` `div-inv`

Calls

2 calls:

Slowest

13.0ms	(/ 2 (fma (- 1 x) x (- 1 x)))
0.0ms	(fma (- 1 x) x (- 1 x))

series195.0ms

Calls

2 calls:

Slowest

124.0ms	(fma (- 1 x) x (- 1 x))
71.0ms	(/ 2 (fma (- 1 x) x (- 1 x)))

simplify3.5s

Calls

31 calls:

Slowest

354.0ms	(/ (* (* 2 2) 2) (* (* (fma (- 1 x) x (- 1 x)) (fma (- 1 x) x (- 1 x))) (fma (- 1 x) x (- 1 x))))
261.0ms	(- (+ (* 2 (/ 1 (pow x 4))) (+ (* 2 (/ 1 (pow x 6))) (* 2 (/ 1 (pow x 2))))))
250.0ms	(- (+ (* 2 (/ 1 (pow x 4))) (+ (* 2 (/ 1 (pow x 6))) (* 2 (/ 1 (pow x 2))))))
197.0ms	(/ (* (cbrt 2) (cbrt 2)) (* (cbrt (fma (- 1 x) x (- 1 x))) (cbrt (fma (- 1 x) x (- 1 x)))))
188.0ms	(- (log 2) (log (fma (- 1 x) x (- 1 x))))

prune348.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

14.8b	(cbrt (fma (- 1 x) x (- 1 x)))
14.8b	(cbrt (fma (- 1 x) x (- 1 x)))
14.8b	(cbrt (fma (- 1 x) x (- 1 x)))
0.2b	(/ 1 (* (cbrt (fma (- 1 x) x (- 1 x))) (cbrt (fma (- 1 x) x (- 1 x)))))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

103×	`add-sqr-sqrt`
81×	`times-frac`
73×	`cbrt-prod`
71×	`*-un-lft-identity` `add-cube-cbrt`
27×	`associate-/r*`
24×	`swap-sqr` `associate-r` `associate-l`
16×	`unswap-sqr`
15×	`add-exp-log`
14×	`add-cbrt-cube`
12×	`pow1`
9×	`pow1/3` `pow-flip`
5×	`cbrt-undiv`
4×	`expm1-log1p-u` `div-exp` `*-commutative` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`prod-exp` `associate-/l*`
2×	`rec-exp` `1-exp` `pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `clear-num` `frac-2neg` `pow-plus` `div-inv` `inv-pow`

Calls

4 calls:

Slowest

16.0ms	(/ 1 (* (cbrt (fma (- 1 x) x (- 1 x))) (cbrt (fma (- 1 x) x (- 1 x)))))
1.0ms	(cbrt (fma (- 1 x) x (- 1 x)))
1.0ms	(cbrt (fma (- 1 x) x (- 1 x)))
1.0ms	(cbrt (fma (- 1 x) x (- 1 x)))

series787.0ms

Calls

4 calls:

Slowest

222.0ms	(cbrt (fma (- 1 x) x (- 1 x)))
206.0ms	(cbrt (fma (- 1 x) x (- 1 x)))
185.0ms	(cbrt (fma (- 1 x) x (- 1 x)))
174.0ms	(/ 1 (* (cbrt (fma (- 1 x) x (- 1 x))) (cbrt (fma (- 1 x) x (- 1 x)))))

simplify34.7s

Calls

230 calls:

Slowest

627.0ms	(/ (sqrt 1) (cbrt (fma (- 1 x) x (- 1 x))))
614.0ms	(/ (* (* 1 1) 1) (* (* (* (cbrt (fma (- 1 x) x (- 1 x))) (cbrt (fma (- 1 x) x (- 1 x)))) (cbrt (fma (- 1 x) x (- 1 x)))) (* (* (cbrt (fma (- 1 x) x (- 1 x))) (cbrt (fma (- 1 x) x (- 1 x)))) (cbrt (fma (- 1 x) x (- 1 x))))))
423.0ms	(/ (* (cbrt 1) (cbrt 1)) (* (* (cbrt (cbrt (fma (- 1 x) x (- 1 x)))) (cbrt (cbrt (fma (- 1 x) x (- 1 x))))) (* (cbrt (cbrt (fma (- 1 x) x (- 1 x)))) (cbrt (cbrt (fma (- 1 x) x (- 1 x)))))))
372.0ms	(- (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (+ (* 1/9 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (pow x 4))) (* 1/3 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (pow x 2)))))
335.0ms	(- (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (+ (* 1/9 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (pow x 4))) (* 1/3 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (pow x 2)))))

prune2.0s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

14.8b	(cbrt (fma (- 1 x) x (- 1 x)))
14.8b	(cbrt (fma (- 1 x) x (- 1 x)))
14.8b	(cbrt (fma (- 1 x) x (- 1 x)))
14.8b	(cbrt (fma (- 1 x) x (- 1 x)))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `pow1/3` `add-exp-log` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Calls

4 calls:

Slowest

1.0ms	(cbrt (fma (- 1 x) x (- 1 x)))
1.0ms	(cbrt (fma (- 1 x) x (- 1 x)))
1.0ms	(cbrt (fma (- 1 x) x (- 1 x)))
1.0ms	(cbrt (fma (- 1 x) x (- 1 x)))

series830.0ms

Calls

4 calls:

Slowest

225.0ms	(cbrt (fma (- 1 x) x (- 1 x)))
217.0ms	(cbrt (fma (- 1 x) x (- 1 x)))
204.0ms	(cbrt (fma (- 1 x) x (- 1 x)))
185.0ms	(cbrt (fma (- 1 x) x (- 1 x)))

simplify4.0s

Calls

24 calls:

Slowest

352.0ms	(- (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (+ (* 1/9 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (pow x 4))) (* 1/3 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (pow x 2)))))
345.0ms	(- (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (+ (* 1/9 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (pow x 4))) (* 1/3 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (pow x 2)))))
339.0ms	(- (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (+ (* 1/9 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (pow x 4))) (* 1/3 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (pow x 2)))))
337.0ms	(- (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (+ (* 1/9 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (pow x 4))) (* 1/3 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (pow x 2)))))
285.0ms	(- (exp (* 1/3 (- (log -1) (* 2 (log (/ 1 x)))))) (+ (* 1/9 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ 1 x)))))) (pow x 4))) (* 1/3 (/ (exp (* 1/3 (- (log -1) (* 2 (log (/ 1 x)))))) (pow x 2)))))

prune869.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes32.0ms

Accuracy

0% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 0.3b

bsearch1.0ms

end0.0ms

sample1.6s

Algorithm

intervals

Results

691.0ms	1931×	body	640	valid
353.0ms	4183×	body	80	valid
330.0ms	1240×	body	320	valid
129.0ms	646×	body	160	valid