Details

Time bar (total: 33.0s)

sample53.0ms

Algorithm
intervals
Results
36.0ms256×body80valid

simplify1.4s

Counts
1 → 1

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

2.5b
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
2.5b
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
2.5b
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
2.5b
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))

rewrite190.0ms

Algorithm
rewrite-expression-head
Rules
1356×*-un-lft-identity
1332×times-frac
916×add-sqr-sqrt
880×add-cube-cbrt
852×prod-diff
312×distribute-lft-out
228×div-inv
24×associate-/r/
12×flip3-+ fma-neg flip-+ add-log-exp difference-of-squares
4×expm1-log1p-u pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log insert-posit16 log1p-expm1-u flip-- distribute-lft-out--
Counts
4 → 940
Calls
4 calls:
Slowest
50.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
36.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
28.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
26.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))

series153.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
53.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
43.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
31.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
25.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))

simplify1.5s

Counts
952 → 952

prune13.5s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize148.0ms

Local error

Found 4 expressions with local error:

33.7b
(fma (- (/ (/ 2 (cbrt t)) (cbrt (+ 1 (/ 1 t))))) (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt (+ 1 (/ 1 t))) (cbrt (+ 1 (/ 1 t))))) (* (/ (/ 2 (cbrt t)) (cbrt (+ 1 (/ 1 t)))) (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt (+ 1 (/ 1 t))) (cbrt (+ 1 (/ 1 t)))))))
19.0b
(fma 1 2 (- (* (/ (/ 2 (cbrt t)) (cbrt (+ 1 (/ 1 t)))) (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt (+ 1 (/ 1 t))) (cbrt (+ 1 (/ 1 t))))))))
2.5b
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
2.5b
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
680×*-un-lft-identity
666×times-frac
460×add-sqr-sqrt
442×add-cube-cbrt
426×prod-diff
156×distribute-lft-out
114×div-inv
12×associate-/r/
8×add-log-exp
6×flip3-+ fma-neg flip-+ difference-of-squares
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
2×sub-neg flip3-- diff-log fma-udef flip-- distribute-lft-out--
Counts
4 → 492
Calls
4 calls:
Slowest
49.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
25.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
0.0ms
(fma (- (/ (/ 2 (cbrt t)) (cbrt (+ 1 (/ 1 t))))) (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt (+ 1 (/ 1 t))) (cbrt (+ 1 (/ 1 t))))) (* (/ (/ 2 (cbrt t)) (cbrt (+ 1 (/ 1 t)))) (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt (+ 1 (/ 1 t))) (cbrt (+ 1 (/ 1 t)))))))
0.0ms
(fma 1 2 (- (* (/ (/ 2 (cbrt t)) (cbrt (+ 1 (/ 1 t)))) (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt (+ 1 (/ 1 t))) (cbrt (+ 1 (/ 1 t))))))))

series606.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
473.0ms
(fma (- (/ (/ 2 (cbrt t)) (cbrt (+ 1 (/ 1 t))))) (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt (+ 1 (/ 1 t))) (cbrt (+ 1 (/ 1 t))))) (* (/ (/ 2 (cbrt t)) (cbrt (+ 1 (/ 1 t)))) (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt (+ 1 (/ 1 t))) (cbrt (+ 1 (/ 1 t)))))))
65.0ms
(fma 1 2 (- (* (/ (/ 2 (cbrt t)) (cbrt (+ 1 (/ 1 t)))) (/ (/ 1 (* (cbrt t) (cbrt t))) (* (cbrt (+ 1 (/ 1 t))) (cbrt (+ 1 (/ 1 t))))))))
35.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))
33.0ms
(- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))

simplify1.6s

Counts
504 → 504

prune12.0s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes107.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.4s8000×body80valid