Details

Time bar (total: 27.9s)

sample224.0ms

Algorithm
intervals
Results
116.0ms427×body80valid
29.0ms427×pre80true

simplify965.0ms

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

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
36×prod-diff
30×add-sqr-sqrt *-un-lft-identity
26×add-cube-cbrt
14×distribute-rgt-in distribute-lft-in
10×div-inv
5×associate-*r* add-log-exp
4×fma-neg
3×expm1-log1p-u pow1 sub-neg add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
2×flip3-- associate-*r/ fma-udef flip-- distribute-lft-out-- difference-of-squares
1×diff-log *-commutative associate--r+
Calls
3 calls:
Slowest
16.0ms
(* m (- (/ m v) (fma m (/ m v) 1)))
5.0ms
(- (/ m v) (fma m (/ m v) 1))
0.0ms
(fma m (/ m v) 1)

series69.0ms

Calls
3 calls:
Slowest
38.0ms
(* m (- (/ m v) (fma m (/ m v) 1)))
18.0ms
(- (/ m v) (fma m (/ m v) 1))
13.0ms
(fma m (/ m v) 1)

simplify15.2s

Calls
74 calls:
Slowest
536.0ms
(+ (* (/ m v) (/ m v)) (+ (* (fma m (/ m v) 1) (fma m (/ m v) 1)) (* (/ m v) (fma m (/ m v) 1))))
459.0ms
(* (fma (- (fma m (/ m v) 1)) 1 (* (fma m (/ m v) 1) 1)) m)
453.0ms
(* (fma (- (fma m (/ m v) 1)) 1 (* (fma m (/ m v) 1) 1)) m)
442.0ms
(* m (fma (- (fma m (/ m v) 1)) 1 (* (fma m (/ m v) 1) 1)))
440.0ms
(* (fma (- (fma m (/ m v) 1)) 1 (* (fma m (/ m v) 1) 1)) m)

prune947.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize14.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))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
8×associate-*r*
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×add-log-exp
4×expm1-log1p-u pow1 add-cbrt-cube associate-*l/ associate-*r/ add-exp-log insert-posit16 log1p-expm1-u
3×associate-*l* *-commutative
2×flip3-- frac-add div-inv flip--
1×+-commutative sum-log fma-def flip3-+ flip-+
Calls
4 calls:
Slowest
8.0ms
(+ (* m (/ m v)) (* (- -1 (* m (/ m v))) m))
6.0ms
(* (- -1 (* m (/ m v))) m)
2.0ms
(* m (/ m v))
2.0ms
(* m (/ m v))

series61.0ms

Calls
4 calls:
Slowest
20.0ms
(* (- -1 (* m (/ m v))) m)
20.0ms
(+ (* m (/ m v)) (* (- -1 (* m (/ m v))) m))
10.0ms
(* m (/ m v))
10.0ms
(* m (/ m v))

simplify3.2s

Calls
29 calls:
Slowest
446.0ms
(+ (* (* m m) (+ -1 (* m (/ m v)))) (* v (* (- (* -1 -1) (* (* m (/ m v)) (* m (/ m v)))) m)))
366.0ms
(* (- (pow -1 3) (pow (* m (/ m v)) 3)) m)
351.0ms
(* (exp (* m (/ m v))) (exp (* (- -1 (* m (/ m v))) m)))
281.0ms
(* v (+ (* -1 -1) (+ (* (* m (/ m v)) (* m (/ m v))) (* -1 (* m (/ m v))))))
258.0ms
(+ (* (* m m) (+ (* -1 -1) (+ (* (* m (/ m v)) (* m (/ m v))) (* -1 (* m (/ m v)))))) (* v (* (- (pow -1 3) (pow (* m (/ m v)) 3)) m)))

prune656.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
5×add-log-exp
4×add-sqr-sqrt *-un-lft-identity associate-*r* add-cube-cbrt
3×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
2×fma-udef
1×+-commutative associate-+r+ sum-log fma-def flip3-+ associate-*r/ *-commutative flip-+ div-inv
Calls
3 calls:
Slowest
4.0ms
(+ (* m (/ m v)) (fma (/ m v) (* m (- m)) (- m)))
1.0ms
(* m (/ m v))
0.0ms
(fma (/ m v) (* m (- m)) (- m))

series63.0ms

Calls
3 calls:
Slowest
31.0ms
(+ (* m (/ m v)) (fma (/ m v) (* m (- m)) (- m)))
21.0ms
(fma (/ m v) (* m (- m)) (- m))
10.0ms
(* m (/ m v))

simplify1.4s

Calls
15 calls:
Slowest
393.0ms
(* (exp (* m (/ m v))) (exp (fma (/ m v) (* m (- m)) (- m))))
252.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
237.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
191.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
124.0ms
(- (+ m (/ (pow m 3) v)))

prune477.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* m (sqrt (/ m v))) (sqrt (/ m v)))
0.2b
(* m (sqrt (/ m v)))
0.2b
(* m (/ m v))
0.1b
(sqrt (/ m v))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
18×associate-*r*
12×sqrt-prod
11×add-sqr-sqrt
10×*-un-lft-identity add-cube-cbrt
6×pow1 add-cbrt-cube sqrt-div add-exp-log
5×associate-*r/
4×expm1-log1p-u insert-posit16 log1p-expm1-u div-inv add-log-exp
3×*-commutative
1×frac-times rem-sqrt-square pow1/2 associate-*l* pow-prod-down associate-*l/ prod-exp cbrt-unprod
Calls
4 calls:
Slowest
12.0ms
(* (* m (sqrt (/ m v))) (sqrt (/ m v)))
4.0ms
(* m (sqrt (/ m v)))
2.0ms
(* m (/ m v))
2.0ms
(sqrt (/ m v))

series134.0ms

Calls
4 calls:
Slowest
56.0ms
(* m (sqrt (/ m v)))
39.0ms
(sqrt (/ m v))
22.0ms
(* (* m (sqrt (/ m v))) (sqrt (/ m v)))
16.0ms
(* m (/ m v))

simplify633.0ms

Calls
44 calls:
Slowest
305.0ms
(* (* (* (* m (sqrt (/ m v))) (* m (sqrt (/ m v)))) (* m (sqrt (/ m v)))) (* (* (sqrt (/ m v)) (sqrt (/ m v))) (sqrt (/ m v))))
43.0ms
(* (* m (sqrt (/ m v))) (sqrt (/ m v)))
37.0ms
(+ (log (* m (sqrt (/ m v)))) (log (sqrt (/ m v))))
32.0ms
(* (* m (sqrt m)) (sqrt (/ m v)))
15.0ms
(sqrt (/ 1 v))

prune813.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0b

regimes214.0ms

Accuracy

0% (0.2b remaining)

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

bsearch6.0ms

end0.0ms

sample2.7s

Algorithm
intervals
Results
1.8s13510×body80valid
601.0ms13510×pre80true