Details

Time bar (total: 3.3m)

sample273.0ms

Algorithm
intervals
Results
152.0ms446×body80valid
29.0ms446×pre80true

simplify252.0ms

Calls
1 calls:
Slowest
252.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize58.0ms

Local error

Found 3 expressions with local error:

0.1b
(* m (- (/ m v) (fma m (/ m v) 1)))
0.1b
(fma m (/ m v) 1)
0.0b
(- (/ m v) (fma m (/ m v) 1))

rewrite201.0ms

Algorithm
rewrite-expression-head
Rules
126×add-sqr-sqrt
118×*-un-lft-identity
117×prod-diff
114×add-cube-cbrt
92×times-frac
41×distribute-rgt-in distribute-lft-in
13×fma-neg
10×div-inv
6×associate-*r*
5×pow1 add-cbrt-cube add-exp-log add-log-exp
4×difference-of-squares
3×expm1-log1p-u sub-neg associate-*l* insert-posit16 log1p-expm1-u
2×flip3-- associate-*r/ fma-udef flip-- distribute-lft-out--
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod associate--r+ unswap-sqr
Calls
3 calls:
Slowest
143.0ms
(* m (- (/ m v) (fma m (/ m v) 1)))
38.0ms
(- (/ m v) (fma m (/ m v) 1))
1.0ms
(fma m (/ m v) 1)

series180.0ms

Calls
3 calls:
Slowest
83.0ms
(* m (- (/ m v) (fma m (/ m v) 1)))
50.0ms
(- (/ m v) (fma m (/ m v) 1))
46.0ms
(fma m (/ m v) 1)

simplify47.3s

Calls
201 calls:
Slowest
842.0ms
(* (* (* m m) m) (* (* (- (/ m v) (fma m (/ m v) 1)) (- (/ m v) (fma m (/ m v) 1))) (- (/ m v) (fma m (/ m v) 1))))
709.0ms
(* m (fma (- (cbrt (fma m (/ m v) 1))) (* (cbrt (fma m (/ m v) 1)) (cbrt (fma m (/ m v) 1))) (* (cbrt (fma m (/ m v) 1)) (* (cbrt (fma m (/ m v) 1)) (cbrt (fma m (/ m v) 1))))))
635.0ms
(fma (- (fma m (/ m v) 1)) 1 (* (fma m (/ m v) 1) 1))
587.0ms
(+ (* (/ m v) (/ m v)) (+ (* (fma m (/ m v) 1) (fma m (/ m v) 1)) (* (/ m v) (fma m (/ m v) 1))))
511.0ms
(* m (fma (- (fma m (/ m v) 1)) 1 (* (fma m (/ m v) 1) 1)))

prune1.8s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b
(* m (/ m v))
0.2b
(* m (/ m v))
0.1b
(* (- -1 (* m (/ m v))) m)
0.0b
(+ (* m (/ m v)) (* (- -1 (* m (/ m v))) m))

rewrite364.0ms

Algorithm
rewrite-expression-head
Rules
68×*-un-lft-identity
65×add-sqr-sqrt
43×associate-*r*
39×add-cube-cbrt
36×associate-*r/
31×times-frac
30×associate-*l*
24×associate-*l/
23×fma-def
22×frac-add
16×add-cbrt-cube add-exp-log associate-/l*
12×associate-/r* flip3-- flip--
10×pow1
9×distribute-lft-out unswap-sqr
8×clear-num un-div-inv
7×*-commutative
6×distribute-lft-out-- add-log-exp
5×prod-exp cbrt-unprod
4×expm1-log1p-u frac-2neg insert-posit16 log1p-expm1-u
3×pow-prod-down div-inv difference-of-squares
2×cbrt-undiv distribute-rgt-out div-exp
1×+-commutative sum-log flip3-+ flip-+
Calls
4 calls:
Slowest
231.0ms
(+ (* m (/ m v)) (* (- -1 (* m (/ m v))) m))
91.0ms
(* (- -1 (* m (/ m v))) m)
21.0ms
(* m (/ m v))
15.0ms
(* m (/ m v))

series132.0ms

Calls
4 calls:
Slowest
44.0ms
(* (- -1 (* m (/ m v))) m)
39.0ms
(+ (* m (/ m v)) (* (- -1 (* m (/ m v))) m))
27.0ms
(* m (/ m v))
22.0ms
(* m (/ m v))

simplify21.8s

Calls
168 calls:
Slowest
852.0ms
(+ (* (* m (* (cbrt m) (cbrt m))) (+ (* -1 -1) (+ (* (* m (/ m v)) (* m (/ m v))) (* -1 (* m (/ m v)))))) (* (/ v (cbrt m)) (* (- (pow -1 3) (pow (* m (/ m v)) 3)) m)))
587.0ms
(+ (* m (+ -1 (* m (/ m v)))) (* (/ v m) (* (- (* -1 -1) (* (* m (/ m v)) (* m (/ m v)))) m)))
550.0ms
(+ (* m (+ -1 (* m (/ m v)))) (* (/ v m) (* (- (* -1 -1) (* (* m (/ m v)) (* m (/ m v)))) m)))
505.0ms
(+ (* (* m (/ m (* (cbrt v) (cbrt v)))) (+ (* -1 -1) (+ (* (* m (/ m v)) (* m (/ m v))) (* -1 (* m (/ m v)))))) (* (cbrt v) (* (- (pow -1 3) (pow (* m (/ m v)) 3)) m)))
495.0ms
(+ (* (* m (/ m 1)) (+ -1 (* m (/ m v)))) (* v (* (- (* -1 -1) (* (* m (/ m v)) (* m (/ m v)))) m)))

prune1.5s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b
(* m (/ m v))
0.1b
(fma m (/ m v) (* (- -1 (* m (/ m v))) m))
0.1b
(* (- -1 (* m (/ m v))) m)
0.0b
(- -1 (* m (/ m v)))

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
107×add-sqr-sqrt
76×*-un-lft-identity
69×prod-diff
67×add-cube-cbrt
55×associate-*r*
42×times-frac
22×associate-*l*
13×unswap-sqr
11×add-cbrt-cube add-exp-log
9×associate-*r/
8×pow1
6×add-log-exp difference-of-squares
5×*-commutative
4×expm1-log1p-u insert-posit16 log1p-expm1-u div-inv associate-/l* distribute-lft-out--
3×associate-/r* fma-neg prod-exp cbrt-unprod
2×clear-num flip3-- pow-prod-down associate-*l/ un-div-inv flip--
1×cbrt-undiv sub-neg frac-2neg diff-log div-exp fma-udef
Calls
4 calls:
Slowest
65.0ms
(* (- -1 (* m (/ m v))) m)
30.0ms
(- -1 (* m (/ m v)))
17.0ms
(* m (/ m v))
0.0ms
(fma m (/ m v) (* (- -1 (* m (/ m v))) m))

series159.0ms

Calls
4 calls:
Slowest
56.0ms
(* (- -1 (* m (/ m v))) m)
46.0ms
(fma m (/ m v) (* (- -1 (* m (/ m v))) m))
32.0ms
(* m (/ m v))
25.0ms
(- -1 (* m (/ m v)))

simplify32.6s

Calls
208 calls:
Slowest
815.0ms
(fma (sqrt -1) (sqrt -1) (- (* (* (cbrt m) (/ m v)) (* (cbrt m) (cbrt m)))))
580.0ms
(fma 1 -1 (- (* (/ m (cbrt v)) (* m (/ 1 (* (cbrt v) (cbrt v)))))))
525.0ms
(fma (sqrt -1) (sqrt -1) (- (* (/ m (cbrt v)) (* m (/ 1 (* (cbrt v) (cbrt v)))))))
509.0ms
(fma (- (/ m (cbrt v))) (* m (/ 1 (* (cbrt v) (cbrt v)))) (* (/ m (cbrt v)) (* m (/ 1 (* (cbrt v) (cbrt v))))))
500.0ms
(* (* (* (- -1 (* m (/ m v))) (- -1 (* m (/ m v)))) (- -1 (* m (/ m v)))) (* (* m m) m))

prune1.5s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ m (/ v m))
0.1b
(fma m (/ m v) (* (- -1 (/ m (/ v m))) m))
0.1b
(* (- -1 (/ m (/ v m))) m)
0.0b
(- -1 (/ m (/ v m)))

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
279×times-frac
238×add-sqr-sqrt
218×*-un-lft-identity
214×add-cube-cbrt
156×prod-diff
38×associate-/r/
25×associate-/r*
17×div-inv associate-/l*
11×add-cbrt-cube add-exp-log
8×associate-*l* difference-of-squares
6×pow1 add-log-exp
5×clear-num frac-2neg
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×cbrt-undiv fma-neg div-exp associate-*r*
2×flip3-- associate-*l/ flip-- distribute-lft-out--
1×sub-neg diff-log pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef unswap-sqr
Calls
4 calls:
Slowest
50.0ms
(* (- -1 (/ m (/ v m))) m)
22.0ms
(- -1 (/ m (/ v m)))
11.0ms
(/ m (/ v m))
0.0ms
(fma m (/ m v) (* (- -1 (/ m (/ v m))) m))

series155.0ms

Calls
4 calls:
Slowest
58.0ms
(fma m (/ m v) (* (- -1 (/ m (/ v m))) m))
45.0ms
(* (- -1 (/ m (/ v m))) m)
26.0ms
(- -1 (/ m (/ v m)))
26.0ms
(/ m (/ v m))

simplify1.4m

Calls
455 calls:
Slowest
701.0ms
(fma 1 -1 (- (* (/ (sqrt m) (/ (sqrt v) (cbrt m))) (/ (sqrt m) (/ (sqrt v) (* (cbrt m) (cbrt m)))))))
588.0ms
(fma (- (/ m (cbrt (/ v m)))) (/ 1 (* (cbrt (/ v m)) (cbrt (/ v m)))) (* (/ m (cbrt (/ v m))) (/ 1 (* (cbrt (/ v m)) (cbrt (/ v m))))))
565.0ms
(fma (- (/ (sqrt m) (/ (cbrt v) (cbrt m)))) (/ (sqrt m) (/ (* (cbrt v) (cbrt v)) (* (cbrt m) (cbrt m)))) (* (/ (sqrt m) (/ (cbrt v) (cbrt m))) (/ (sqrt m) (/ (* (cbrt v) (cbrt v)) (* (cbrt m) (cbrt m))))))
549.0ms
(/ (* (* m m) m) (/ (* (* v v) v) (* (* m m) m)))
529.0ms
(fma 1 -1 (- (* (/ m (/ (sqrt v) m)) (/ 1 (/ (sqrt v) 1)))))

prune2.8s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

regimes106.0ms

Accuracy

0% (0.1b remaining)

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

bsearch2.0ms

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.8s13671×body80valid
597.0ms13671×pre80true