Details

Time bar (total: 7.6s)

sample257.0ms

Algorithm
intervals
Results
99.0ms775×body80nan
20.0ms256×body80valid

simplify42.0ms

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize25.0ms

Local error

Found 1 expressions with local error:

0.2b
(log (- (/ 1 x) 1))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
4×log-prod
3×add-sqr-sqrt
2×pow1 log-div *-un-lft-identity add-exp-log add-cube-cbrt
1×flip3-- add-cbrt-cube difference-of-sqr-1 rem-log-exp log-pow insert-posit16 flip-- add-log-exp
Calls
1 calls:
Slowest
8.0ms
(log (- (/ 1 x) 1))

series67.0ms

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

simplify663.0ms

Calls
10 calls:
Slowest
160.0ms
(- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
158.0ms
(- (+ x (+ (* 1/2 (pow x 2)) (log x))))
135.0ms
(- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
71.0ms
(log (- (pow (/ 1 x) 3) (pow 1 3)))
66.0ms
(log (- (* (/ 1 x) (/ 1 x)) (* 1 1)))

prune155.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.3b
(sqrt (/ 1 x))
0.3b
(sqrt (/ 1 x))
0.0b
(+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1)))
0.0b
(- (sqrt (/ 1 x)) 1)

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
12×*-un-lft-identity
10×sqrt-prod
8×pow1 log-prod add-cube-cbrt
5×associate-+r+
4×log-div add-cbrt-cube difference-of-sqr-1 add-exp-log log-pow insert-posit16 distribute-lft-out add-log-exp
3×associate-+l+
2×rem-sqrt-square associate-+r- flip3-+ flip3-- pow1/2 sqrt-div associate-+l- flip-+ div-inv flip--
1×+-commutative sum-log sub-neg
Calls
4 calls:
Slowest
11.0ms
(+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1)))
8.0ms
(- (sqrt (/ 1 x)) 1)
1.0ms
(sqrt (/ 1 x))
0.0ms
(sqrt (/ 1 x))

series98.0ms

Calls
4 calls:
Slowest
65.0ms
(+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1)))
12.0ms
(- (sqrt (/ 1 x)) 1)
11.0ms
(sqrt (/ 1 x))
9.0ms
(sqrt (/ 1 x))

simplify710.0ms

Calls
43 calls:
Slowest
189.0ms
(* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))
82.0ms
(log (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1))))
78.0ms
(log (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)))
65.0ms
(log (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3)))
22.0ms
(log (sqrt (- (sqrt (/ 1 x)) 1)))

prune834.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (* x x) -1/2)
0.0b
(+ (log x) x)
0.0b
(- (* (* x x) -1/2) (+ (log x) x))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
5×add-log-exp
3×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16
1×+-commutative sub-neg flip3-+ flip3-- diff-log associate-*l* *-commutative flip-+ flip-- associate--r+
Calls
3 calls:
Slowest
7.0ms
(- (* (* x x) -1/2) (+ (log x) x))
3.0ms
(* (* x x) -1/2)
3.0ms
(+ (log x) x)

series250.0ms

Calls
3 calls:
Slowest
208.0ms
(+ (log x) x)
21.0ms
(* (* x x) -1/2)
21.0ms
(- (* (* x x) -1/2) (+ (log x) x))

simplify855.0ms

Calls
10 calls:
Slowest
289.0ms
(- (log (/ 1 x)) (+ (* 1/2 (pow x 2)) x))
208.0ms
(- (log (/ -1 x)) (+ x (+ (* 1/2 (pow x 2)) (log -1))))
117.0ms
(/ (exp (* (* x x) -1/2)) (exp (+ (log x) x)))
105.0ms
(- (+ x (+ (* 1/2 (pow x 2)) (log x))))
78.0ms
(- (+ x (log -1)) (log (/ -1 x)))

prune402.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes49.0ms

Accuracy

0% (0.1b remaining)

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

bsearch3.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
2.1s23860×body80nan
589.0ms8000×body80valid