Details

Time bar (total: 3.8m)

sample85.0ms

Algorithm
intervals
Results
72.0ms256×body80valid

simplify221.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
221.0ms
(- 1 (/ 1 (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

4.3b
(- 2 (/ 2 (+ 1 t)))
4.3b
(- 2 (/ 2 (+ 1 t)))
0.0b
(/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))
0.0b
(- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
181×*-un-lft-identity
154×add-sqr-sqrt
147×prod-diff
133×add-cube-cbrt
114×times-frac
18×distribute-lft-out
12×associate-/r/
11×div-inv
10×add-log-exp difference-of-squares
9×fma-neg
8×add-exp-log
6×flip3-+ add-cbrt-cube flip-+
5×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u distribute-lft-out--
3×associate-/r* sub-neg flip3-- diff-log flip-- associate-/l*
2×div-exp
1×cbrt-undiv rec-exp clear-num frac-2neg 1-exp pow-flip inv-pow
Counts
4 → 249
Calls
4 calls:
Slowest
21.0ms
(- 2 (/ 2 (+ 1 t)))
15.0ms
(- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))
13.0ms
(- 2 (/ 2 (+ 1 t)))
8.0ms
(/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))

series221.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
85.0ms
(/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))
80.0ms
(- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2)))
34.0ms
(- 2 (/ 2 (+ 1 t)))
22.0ms
(- 2 (/ 2 (+ 1 t)))

simplify1.3m

Counts
366 → 261
Calls
366 calls:
Slowest
779.0ms
(- 1 (sqrt (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))))
653.0ms
(sqrt (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))
533.0ms
(fma (sqrt 2) (sqrt 2) (- (* (/ 2 (cbrt (+ 1 t))) (/ 1 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))))))
499.0ms
(fma 1 1 (- (* (/ 1 (sqrt (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))) (/ 1 (sqrt (fma (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))) 2))))))
491.0ms
(fma (sqrt 2) (sqrt 2) (- (* (/ 2 (cbrt (+ 1 t))) (/ 1 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))))))

prune2.3s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

31.3b
(fma (sqrt 2) (sqrt 2) (- (/ 2 (+ 1 t))))
4.3b
(- 2 (/ 2 (+ 1 t)))
0.0b
(/ 1 (fma (- 2 (/ 2 (+ 1 t))) (fma (sqrt 2) (sqrt 2) (- (/ 2 (+ 1 t)))) 2))
0.0b
(- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (fma (sqrt 2) (sqrt 2) (- (/ 2 (+ 1 t)))) 2)))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
118×*-un-lft-identity
106×add-sqr-sqrt
93×prod-diff
90×add-cube-cbrt
77×times-frac
9×distribute-lft-out
8×add-exp-log div-inv add-log-exp difference-of-squares
6×add-cbrt-cube fma-neg associate-/r/
5×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×associate-/r* flip3-+ flip-+ associate-/l* distribute-lft-out--
2×sub-neg flip3-- diff-log div-exp flip--
1×cbrt-undiv rec-exp clear-num frac-2neg 1-exp fma-udef pow-flip inv-pow
Counts
4 → 185
Calls
4 calls:
Slowest
13.0ms
(- 2 (/ 2 (+ 1 t)))
12.0ms
(- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (fma (sqrt 2) (sqrt 2) (- (/ 2 (+ 1 t)))) 2)))
4.0ms
(/ 1 (fma (- 2 (/ 2 (+ 1 t))) (fma (sqrt 2) (sqrt 2) (- (/ 2 (+ 1 t)))) 2))
0.0ms
(fma (sqrt 2) (sqrt 2) (- (/ 2 (+ 1 t))))

series1.4s

Counts
4 → 12
Calls
4 calls:
Slowest
815.0ms
(- 1 (/ 1 (fma (- 2 (/ 2 (+ 1 t))) (fma (sqrt 2) (sqrt 2) (- (/ 2 (+ 1 t)))) 2)))
486.0ms
(/ 1 (fma (- 2 (/ 2 (+ 1 t))) (fma (sqrt 2) (sqrt 2) (- (/ 2 (+ 1 t)))) 2))
64.0ms
(fma (sqrt 2) (sqrt 2) (- (/ 2 (+ 1 t))))
35.0ms
(- 2 (/ 2 (+ 1 t)))

simplify50.1s

Counts
250 → 197
Calls
250 calls:
Slowest
647.0ms
(- (+ (* 2 t) (pow (sqrt 2) 2)) (+ (* 2 (pow t 2)) 2))
486.0ms
(fma (* (cbrt 2) (cbrt 2)) (cbrt 2) (- (* (- 1 t) (/ 2 (- (* 1 1) (* t t))))))
485.0ms
(fma (- 2 (/ 2 (+ 1 t))) (fma (sqrt 2) (sqrt 2) (- (/ 2 (+ 1 t)))) 2)
474.0ms
(fma 1 2 (- (* (/ 2 (cbrt (+ 1 t))) (/ 1 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))))))
467.0ms
(fma (* (cbrt 2) (cbrt 2)) (cbrt 2) (- (* (/ 2 (cbrt (+ 1 t))) (/ 1 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))))))

prune2.3s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
256×*-un-lft-identity
216×prod-diff
196×add-sqr-sqrt
176×add-cube-cbrt
148×times-frac
36×distribute-lft-out
24×associate-/r/
12×flip3-+ fma-neg flip-+ div-inv add-log-exp
8×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 → 300
Calls
4 calls:
Slowest
33.0ms
(- 2 (/ 2 (+ 1 t)))
29.0ms
(- 2 (/ 2 (+ 1 t)))
28.0ms
(- 2 (/ 2 (+ 1 t)))
17.0ms
(- 2 (/ 2 (+ 1 t)))

series139.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
42.0ms
(- 2 (/ 2 (+ 1 t)))
35.0ms
(- 2 (/ 2 (+ 1 t)))
35.0ms
(- 2 (/ 2 (+ 1 t)))
27.0ms
(- 2 (/ 2 (+ 1 t)))

simplify1.4m

Counts
476 → 312
Calls
476 calls:
Slowest
623.0ms
(fma 1 2 (- (* (+ (* 1 1) (- (* t t) (* 1 t))) (/ 2 (+ (pow 1 3) (pow t 3))))))
518.0ms
(fma (* (cbrt 2) (cbrt 2)) (cbrt 2) (- (* (/ 2 (cbrt (+ 1 t))) (/ 1 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))))))
507.0ms
(fma (* (cbrt 2) (cbrt 2)) (cbrt 2) (- (* (/ 2 (cbrt (+ 1 t))) (/ 1 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))))))
505.0ms
(fma (* (cbrt 2) (cbrt 2)) (cbrt 2) (- (* (/ 2 (cbrt (+ 1 t))) (/ 1 (* (cbrt (+ 1 t)) (cbrt (+ 1 t)))))))
501.0ms
(fma (sqrt 2) (sqrt 2) (- (* (- 1 t) (/ 2 (- (* 1 1) (* t t))))))

prune3.9s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes27.0ms

Accuracy

0% (0.0b remaining)

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

bsearch3.0ms

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.4s8000×body80valid