Details

sample355.0ms

Algorithm

intervals

Results

209.0ms	97×	body	1280	valid
92.0ms	92×	body	640	valid
21.0ms	38×	body	320	valid
12.0ms	256×	pre	80	true
7.0ms	23×	body	160	valid
1.0ms	6×	body	80	valid

simplify12.0ms

Calls

1 calls:

Slowest

12.0ms

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

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 59.8b

localize10.0ms

Local error

Found 2 expressions with local error:

6.3b	(log (- 1 x))
0.0b	(/ (log (- 1 x)) (log1p x))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `*-un-lft-identity` `times-frac` `add-cube-cbrt`
7×	`pow1`
5×	`add-exp-log` `log-pow`
4×	`log-div` `add-cbrt-cube` `associate-/l*`
3×	`log-prod` `associate-/r*`
2×	`expm1-log1p-u` `log1p-def` `flip3--` `div-sub` `insert-posit16` `log1p-expm1-u` `flip--` `add-log-exp`
1×	`cbrt-undiv` `clear-num` `sub-neg` `frac-2neg` `div-exp` `rem-log-exp` `div-inv`

Calls

2 calls:

Slowest

6.0ms	(/ (log (- 1 x)) (log1p x))
1.0ms	(log (- 1 x))

series91.0ms

Calls

2 calls:

Slowest

67.0ms	(/ (log (- 1 x)) (log1p x))
24.0ms	(log (- 1 x))

simplify3.5s

Calls

47 calls:

Slowest

949.0ms	(- (+ (/ (log (/ -1 x)) (* x (pow (- (log -1) (log (/ -1 x))) 2))) (/ 1 (* (pow x 2) (pow (- (log -1) (log (/ -1 x))) 2)))) (+ (/ (log (/ -1 x)) (- (log -1) (log (/ -1 x)))) (+ (/ (log (/ -1 x)) (* (pow x 2) (pow (- (log -1) (log (/ -1 x))) 3))) (+ (/ 1 (* x (- (log -1) (log (/ -1 x))))) (+ (* 1/2 (/ (log (/ -1 x)) (* (pow x 2) (pow (- (log -1) (log (/ -1 x))) 2)))) (* 1/2 (/ 1 (* (pow x 2) (- (log -1) (log (/ -1 x)))))))))))
442.0ms	(- (+ (log (/ -1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))))
405.0ms	(- (+ x (+ (* 1/3 (pow x 3)) (* 1/2 (pow x 2)))))
342.0ms	(- (+ (* 2 (/ 1 (* (pow (log (/ 1 x)) 2) (pow x 2)))) (+ (* 2 (/ 1 (* (log (/ 1 x)) x))) (+ (* 1/2 (/ (log -1) (* (pow (log (/ 1 x)) 2) (pow x 2)))) 1))) (+ (/ (log -1) (* (pow (log (/ 1 x)) 3) (pow x 2))) (+ (/ (log -1) (log (/ 1 x))) (/ (log -1) (* (pow (log (/ 1 x)) 2) x)))))
322.0ms	(- (log -1) (+ (log (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))))

prune266.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ (log1p (- x)) (log1p x))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

1 calls:

Slowest

6.0ms

(/ (log1p (- x)) (log1p x))

series95.0ms

Calls

1 calls:

Slowest

95.0ms

(/ (log1p (- x)) (log1p x))

simplify1.8s

Calls

28 calls:

Slowest

888.0ms	(- (+ (/ (log (/ -1 x)) (* x (pow (- (log -1) (log (/ -1 x))) 2))) (/ 1 (* (pow x 2) (pow (- (log -1) (log (/ -1 x))) 2)))) (+ (/ (log (/ -1 x)) (- (log -1) (log (/ -1 x)))) (+ (/ (log (/ -1 x)) (* (pow x 2) (pow (- (log -1) (log (/ -1 x))) 3))) (+ (/ 1 (* x (- (log -1) (log (/ -1 x))))) (+ (* 1/2 (/ (log (/ -1 x)) (* (pow x 2) (pow (- (log -1) (log (/ -1 x))) 2)))) (* 1/2 (/ 1 (* (pow x 2) (- (log -1) (log (/ -1 x)))))))))))
298.0ms	(- (+ (* 2 (/ 1 (* (pow (log (/ 1 x)) 2) (pow x 2)))) (+ (* 2 (/ 1 (* (log (/ 1 x)) x))) (+ (* 1/2 (/ (log -1) (* (pow (log (/ 1 x)) 2) (pow x 2)))) 1))) (+ (/ (log -1) (* (pow (log (/ 1 x)) 3) (pow x 2))) (+ (/ (log -1) (log (/ 1 x))) (/ (log -1) (* (pow (log (/ 1 x)) 2) x)))))
181.0ms	(- (+ x (+ (* 1/2 (pow x 2)) 1)))
172.0ms	(/ (* (* (log1p (- x)) (log1p (- x))) (log1p (- x))) (* (* (log1p x) (log1p x)) (log1p x)))
48.0ms	(/ (* (cbrt (log1p (- x))) (cbrt (log1p (- x)))) (* (cbrt (log1p x)) (cbrt (log1p x))))

prune189.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize9.0ms

Local error

Found 1 expressions with local error:

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

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `fma-udef` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Calls

1 calls:

Slowest

0.0ms

(fma -1/2 (* x x) (- -1 x))

series21.0ms

Calls

1 calls:

Slowest

21.0ms

(fma -1/2 (* x x) (- -1 x))

simplify487.0ms

Calls

3 calls:

Slowest

185.0ms	(- (+ x (+ (* 1/2 (pow x 2)) 1)))
163.0ms	(- (+ x (+ (* 1/2 (pow x 2)) 1)))
138.0ms	(- (+ x (+ (* 1/2 (pow x 2)) 1)))

prune102.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize7.0ms

Local error

Found 2 expressions with local error:

0.2b	(/ (sqrt (log1p (- x))) (log1p x))
0.1b	(* (sqrt (log1p (- x))) (/ (sqrt (log1p (- x))) (log1p x)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac`
32×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
24×	`sqrt-prod`
22×	`associate-r`
9×	`add-cbrt-cube` `add-exp-log`
6×	`associate-l` `associate-/l*`
4×	`pow1`
3×	`associate-/r*`
2×	`expm1-log1p-u` `cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `div-inv` `add-log-exp`
1×	`clear-num` `frac-2neg` `pow-prod-down` `associate-r/` `-commutative`

Calls

2 calls:

Slowest

16.0ms	(* (sqrt (log1p (- x))) (/ (sqrt (log1p (- x))) (log1p x)))
8.0ms	(/ (sqrt (log1p (- x))) (log1p x))

series208.0ms

Calls

2 calls:

Slowest

115.0ms	(/ (sqrt (log1p (- x))) (log1p x))
93.0ms	(* (sqrt (log1p (- x))) (/ (sqrt (log1p (- x))) (log1p x)))

simplify3.9s

Calls

85 calls:

Slowest

884.0ms	(- (+ (/ (log (/ -1 x)) (* x (pow (- (log -1) (log (/ -1 x))) 2))) (/ 1 (* (pow x 2) (pow (- (log -1) (log (/ -1 x))) 2)))) (+ (/ (log (/ -1 x)) (- (log -1) (log (/ -1 x)))) (+ (/ (log (/ -1 x)) (* (pow x 2) (pow (- (log -1) (log (/ -1 x))) 3))) (+ (/ 1 (* x (- (log -1) (log (/ -1 x))))) (+ (* 1/2 (/ (log (/ -1 x)) (* (pow x 2) (pow (- (log -1) (log (/ -1 x))) 2)))) (* 1/2 (/ 1 (* (pow x 2) (- (log -1) (log (/ -1 x)))))))))))
532.0ms	(* (* (* (sqrt (log1p (- x))) (sqrt (log1p (- x)))) (sqrt (log1p (- x)))) (* (* (/ (sqrt (log1p (- x))) (log1p x)) (/ (sqrt (log1p (- x))) (log1p x))) (/ (sqrt (log1p (- x))) (log1p x))))
447.0ms	(* (* (* (sqrt (log1p (- x))) (sqrt (log1p (- x)))) (sqrt (log1p (- x)))) (/ (* (* (sqrt (log1p (- x))) (sqrt (log1p (- x)))) (sqrt (log1p (- x)))) (* (* (log1p x) (log1p x)) (log1p x))))
356.0ms	(- (+ (* 2 (/ 1 (* (pow (log (/ 1 x)) 2) (pow x 2)))) (+ (* 2 (/ 1 (* (log (/ 1 x)) x))) (+ (* 1/2 (/ (log -1) (* (pow (log (/ 1 x)) 2) (pow x 2)))) 1))) (+ (/ (log -1) (* (pow (log (/ 1 x)) 3) (pow x 2))) (+ (/ (log -1) (log (/ 1 x))) (/ (log -1) (* (pow (log (/ 1 x)) 2) x)))))
354.0ms	(- (+ (* 1/2 (* (/ 1 (* (pow (log (/ 1 x)) 2) (pow x 2))) (sqrt (- (log -1) (log (/ 1 x)))))) (+ (* 1/2 (* (/ 1 (* (log (/ 1 x)) x)) (sqrt (/ 1 (- (log -1) (log (/ 1 x))))))) (+ (* 1/4 (* (/ 1 (* (log (/ 1 x)) (pow x 2))) (sqrt (/ 1 (- (log -1) (log (/ 1 x))))))) (+ (* 1/2 (* (/ 1 (* (pow (log (/ 1 x)) 2) (pow x 2))) (sqrt (/ 1 (- (log -1) (log (/ 1 x))))))) (* 1/8 (* (/ 1 (* (log (/ 1 x)) (pow x 2))) (sqrt (/ 1 (pow (- (log -1) (log (/ 1 x))) 3))))))))) (+ (* (/ 1 (* (pow (log (/ 1 x)) 2) x)) (sqrt (- (log -1) (log (/ 1 x))))) (+ (* (/ 1 (* (pow (log (/ 1 x)) 3) (pow x 2))) (sqrt (- (log -1) (log (/ 1 x))))) (* (/ 1 (log (/ 1 x))) (sqrt (- (log -1) (log (/ 1 x))))))))

prune749.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes31.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample9.1s

Algorithm

intervals

Results

5.8s	3431×	body	1280	valid
2.0s	2490×	body	640	valid
619.0ms	1236×	body	320	valid
299.0ms	8000×	pre	80	true
230.0ms	631×	body	160	valid
25.0ms	212×	body	80	valid