Details

Time bar (total: 11.2s)

sample184.0ms

Algorithm
intervals
Results
58.0ms781×body80nan
24.0ms256×body80valid

simplify35.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
34.0ms
(- (log (- (/ 1 x) 1)))

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 2 expressions with local error:

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

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
21×*-un-lft-identity
14×log-prod
12×times-frac difference-of-squares
6×difference-of-sqr-1
4×distribute-lft-out-- add-log-exp
3×pow1 add-exp-log add-cube-cbrt
2×log-div flip3-- add-cbrt-cube insert-posit16 div-inv flip--
1×sub-neg diff-log rem-log-exp log-pow
Counts
2 → 50
Calls
2 calls:
Slowest
23.0ms
(- (/ 1 x) 1)
13.0ms
(log (- (/ 1 x) 1))

series63.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
41.0ms
(- (/ 1 x) 1)
22.0ms
(log (- (/ 1 x) 1))

simplify1.2s

Counts
41 → 56
Calls
41 calls:
Slowest
239.0ms
(log (- (pow (/ 1 x) 3) (pow 1 3)))
148.0ms
(- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
131.0ms
(- (+ x (+ (* 1/2 (pow x 2)) (log x))))
126.0ms
(- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
98.0ms
(log (- (* (/ 1 x) (/ 1 x)) (* 1 1)))

prune469.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1))))
0.5b
(cbrt (log (- (/ 1 x) 1)))
0.5b
(cbrt (log (- (/ 1 x) 1)))
0.5b
(cbrt (log (- (/ 1 x) 1)))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
36×cbrt-prod
23×add-sqr-sqrt
20×pow1
17×*-un-lft-identity
15×add-cube-cbrt
9×pow1/3 swap-sqr log-pow
7×associate-*r* associate-*l*
6×add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 85
Calls
4 calls:
Slowest
16.0ms
(* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1))))
2.0ms
(cbrt (log (- (/ 1 x) 1)))
2.0ms
(cbrt (log (- (/ 1 x) 1)))
1.0ms
(cbrt (log (- (/ 1 x) 1)))

series981.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
272.0ms
(* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1))))
246.0ms
(cbrt (log (- (/ 1 x) 1)))
232.0ms
(cbrt (log (- (/ 1 x) 1)))
231.0ms
(cbrt (log (- (/ 1 x) 1)))

simplify4.0s

Counts
76 → 97
Calls
76 calls:
Slowest
308.0ms
(- (pow (log -1) 1/3) (+ (* 1/3 (* (/ 1 x) (pow (/ 1 (pow (log -1) 2)) 1/3))) (+ (* 1/6 (* (/ 1 (pow x 2)) (pow (/ 1 (pow (log -1) 2)) 1/3))) (* 1/9 (* (/ 1 (pow x 2)) (pow (/ 1 (pow (log -1) 5)) 1/3))))))
301.0ms
(- (pow (log -1) 1/3) (+ (* 1/3 (* (/ 1 x) (pow (/ 1 (pow (log -1) 2)) 1/3))) (+ (* 1/6 (* (/ 1 (pow x 2)) (pow (/ 1 (pow (log -1) 2)) 1/3))) (* 1/9 (* (/ 1 (pow x 2)) (pow (/ 1 (pow (log -1) 5)) 1/3))))))
285.0ms
(- (pow (log -1) 1/3) (+ (* 1/3 (* (/ 1 x) (pow (/ 1 (pow (log -1) 2)) 1/3))) (+ (* 1/6 (* (/ 1 (pow x 2)) (pow (/ 1 (pow (log -1) 2)) 1/3))) (* 1/9 (* (/ 1 (pow x 2)) (pow (/ 1 (pow (log -1) 5)) 1/3))))))
267.0ms
(- (pow (log -1) 1/3) (+ (* 1/3 (* (/ 1 x) (pow (/ 1 (pow (log -1) 2)) 1/3))) (+ (* 1/6 (* (/ 1 (pow x 2)) (pow (/ 1 (pow (log -1) 2)) 1/3))) (* 1/9 (* (/ 1 (pow x 2)) (pow (/ 1 (pow (log -1) 5)) 1/3))))))
263.0ms
(- (pow (log -1) 1/3) (+ (* 1/3 (* (/ 1 x) (pow (/ 1 (pow (log -1) 2)) 1/3))) (+ (* 1/6 (* (/ 1 (pow x 2)) (pow (/ 1 (pow (log -1) 2)) 1/3))) (* 1/9 (* (/ 1 (pow x 2)) (pow (/ 1 (pow (log -1) 5)) 1/3))))))

prune832.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes160.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample3.1s

Algorithm
intervals
Results
1.6s23991×body80nan
700.0ms8000×body80valid