Details

Time bar (total: 23.3s)

sample234.0ms

Algorithm
intervals
Results
125.0ms95×body1280valid
65.0ms78×body640valid
19.0ms53×body320valid
8.0ms256×pre80true
5.0ms25×body160valid
0.0ms5×body80valid

simplify12.0ms

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

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 59.0b

localize18.0ms

Local error

Found 3 expressions with local error:

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

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt *-un-lft-identity
13×add-cube-cbrt
12×times-frac
8×pow1
6×log-prod add-exp-log
5×add-cbrt-cube log-pow
4×expm1-log1p-u log-div associate-/l*
3×associate-/r* insert-posit16 log1p-expm1-u add-log-exp
2×log1p-def flip3-- div-sub flip-- difference-of-squares
1×cbrt-undiv log1p-udef clear-num sub-neg frac-2neg div-exp rem-log-exp log1p-expm1 div-inv distribute-lft-out--
Calls
3 calls:
Slowest
21.0ms
(/ (log (- 1 x)) (log1p x))
9.0ms
(log (- 1 x))
0.0ms
(log1p x)

series181.0ms

Calls
3 calls:
Slowest
119.0ms
(/ (log (- 1 x)) (log1p x))
33.0ms
(log1p x)
29.0ms
(log (- 1 x))

simplify4.5s

Calls
53 calls:
Slowest
755.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)))))))))))
439.0ms
(/ (* (* (log (- 1 x)) (log (- 1 x))) (log (- 1 x))) (* (* (log1p x) (log1p x)) (log1p x)))
418.0ms
(- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
380.0ms
(- (log -1) (+ (log (/ 1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))))
380.0ms
(- (+ (log (/ -1 x)) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))))

prune357.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite5.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×expm1-log1p-u associate-/r* associate-/l*
2×pow1 insert-posit16 log1p-expm1-u add-log-exp
1×cbrt-undiv log1p-udef clear-num frac-2neg div-exp log1p-expm1 div-inv
Calls
2 calls:
Slowest
4.0ms
(/ (log1p (- x)) (log1p x))
0.0ms
(log1p x)

series134.0ms

Calls
2 calls:
Slowest
92.0ms
(/ (log1p (- x)) (log1p x))
41.0ms
(log1p x)

simplify2.7s

Calls
31 calls:
Slowest
641.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)))))))))))
433.0ms
(- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
425.0ms
(/ (* (* (log1p (- x)) (log1p (- x))) (log1p (- x))) (* (* (log1p x) (log1p x)) (log1p x)))
375.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)))))
254.0ms
(- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))

prune362.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 3 expressions with local error:

0.2b
(* (log1p (- x)) (/ 1 (log1p x)))
0.0b
(/ 1 (log1p x))
0.0b
(log1p x)

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
23×*-un-lft-identity
21×add-cube-cbrt
20×times-frac
16×add-exp-log
13×associate-*r*
10×add-cbrt-cube
9×associate-*r/
7×associate-/l*
6×pow1 associate-/r*
4×expm1-log1p-u div-exp prod-exp
3×clear-num associate-*l* un-div-inv insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×cbrt-undiv rec-exp frac-2neg 1-exp cbrt-unprod div-inv
1×log1p-udef pow-prod-down log1p-expm1 *-commutative pow-flip inv-pow
Calls
3 calls:
Slowest
11.0ms
(* (log1p (- x)) (/ 1 (log1p x)))
4.0ms
(/ 1 (log1p x))
0.0ms
(log1p x)

series173.0ms

Calls
3 calls:
Slowest
99.0ms
(* (log1p (- x)) (/ 1 (log1p x)))
37.0ms
(log1p x)
37.0ms
(/ 1 (log1p x))

simplify4.5s

Calls
76 calls:
Slowest
762.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)))))))))))
439.0ms
(- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
380.0ms
(* (* (* (log1p (- x)) (log1p (- x))) (log1p (- x))) (* (* (/ 1 (log1p x)) (/ 1 (log1p x))) (/ 1 (log1p x))))
350.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)))))
303.0ms
(- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))

prune739.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Calls
0 calls:
Slowest

series0.0ms

Calls
0 calls:
Slowest

simplify0.0ms

Calls
0 calls:
Slowest

prune1.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes21.0ms

Accuracy

0% (0.2b remaining)

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

bsearch1.0ms

end0.0ms

sample9.2s

Algorithm
intervals
Results
5.7s3347×body1280valid
2.3s2568×body640valid
557.0ms1217×body320valid
339.0ms8000×pre80true
167.0ms662×body160valid
23.0ms206×body80valid