Details

Time bar (total: 20.9s)

sample183.0ms

Algorithm
intervals
Results
70.0ms434×pre80true
45.0ms434×body80valid

simplify237.0ms

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

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
5×add-exp-log
4×expm1-log1p-u pow1 flip3-- add-cbrt-cube fma-neg associate-*l* associate-*r/ insert-posit16 log1p-expm1-u flip-- add-log-exp
3×sub-neg associate-*r*
2×distribute-rgt-in distribute-lft-in difference-of-sqr-1 associate-*l/ *-commutative div-inv associate-/l/
1×expm1-def clear-num frac-2neg associate-/l*
Calls
4 calls:
Slowest
22.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)
10.0ms
(- (/ (* m (- 1 m)) v) 1)
8.0ms
(/ (* m (- 1 m)) v)
3.0ms
(* m (- 1 m))

series226.0ms

Calls
4 calls:
Slowest
74.0ms
(* m (- 1 m))
69.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)
52.0ms
(/ (* m (- 1 m)) v)
30.0ms
(- (/ (* m (- 1 m)) v) 1)

simplify3.1s

Calls
33 calls:
Slowest
730.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) m)
265.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
260.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
223.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
190.0ms
(* (- (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (* 1 1)) m)

prune638.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
9×add-exp-log
7×add-sqr-sqrt *-un-lft-identity associate-*r* associate-*r/ add-cube-cbrt
6×pow1 add-cbrt-cube
5×flip3-- flip--
4×expm1-log1p-u associate-*l* associate-*l/ insert-posit16 log1p-expm1-u add-log-exp
3×sub-neg *-commutative
2×distribute-rgt-in frac-times expm1-def distribute-lft-in prod-exp
1×fma-neg pow-prod-down un-div-inv cbrt-unprod div-inv
Calls
4 calls:
Slowest
30.0ms
(* (- (* (* m (- 1 m)) (/ 1 v)) 1) m)
8.0ms
(- (* (* m (- 1 m)) (/ 1 v)) 1)
8.0ms
(* (* m (- 1 m)) (/ 1 v))
2.0ms
(* m (- 1 m))

series168.0ms

Calls
4 calls:
Slowest
78.0ms
(* m (- 1 m))
40.0ms
(* (* m (- 1 m)) (/ 1 v))
32.0ms
(* (- (* (* m (- 1 m)) (/ 1 v)) 1) m)
18.0ms
(- (* (* m (- 1 m)) (/ 1 v)) 1)

simplify4.5s

Calls
41 calls:
Slowest
897.0ms
(* (- (pow (* (* m (- 1 m)) (/ 1 v)) 3) (pow 1 3)) m)
314.0ms
(* (- (* (* (* m (- 1 m)) (/ 1 v)) (* (* m (- 1 m)) (/ 1 v))) (* 1 1)) m)
312.0ms
(* (* m (- (pow 1 3) (pow m 3))) (/ 1 v))
234.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
222.0ms
(log (* (* m (- 1 m)) (/ 1 v)))

prune706.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite28.0ms

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

series118.0ms

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

simplify6.0s

Calls
44 calls:
Slowest
322.0ms
(fma (* (cbrt (/ m v)) (cbrt (/ m v))) (cbrt (/ m v)) (- (* (fma m (/ m v) 1) 1)))
291.0ms
(fma (- (fma m (/ m v) 1)) 1 (* (fma m (/ m v) 1) 1))
290.0ms
(fma (sqrt (/ m v)) (sqrt (/ m v)) (- (* (fma m (/ m v) 1) 1)))
263.0ms
(fma m (/ 1 v) (- (* (fma m (/ m v) 1) 1)))
228.0ms
(fma (- (fma m (/ m v) 1)) 1 (* (fma m (/ m v) 1) 1))

prune644.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 3 expressions with local error:

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

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
3×expm1-log1p-u pow1 add-cbrt-cube associate-*l* add-exp-log insert-posit16 log1p-expm1-u add-log-exp
2×fma-udef
1×*-commutative
Calls
3 calls:
Slowest
6.0ms
(* (fma m (/ 1 v) (- (fma m (/ m v) 1))) m)
0.0ms
(fma m (/ 1 v) (- (fma m (/ m v) 1)))
0.0ms
(fma m (/ m v) 1)

series113.0ms

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

simplify1.5s

Calls
11 calls:
Slowest
238.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
212.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
205.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
190.0ms
(* (cbrt (fma m (/ 1 v) (- (fma m (/ m v) 1)))) (cbrt (fma m (/ 1 v) (- (fma m (/ m v) 1)))))
189.0ms
(sqrt (fma m (/ 1 v) (- (fma m (/ m v) 1))))

prune486.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes92.0ms

Accuracy

0% (0.2b remaining)

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

bsearch2.0ms

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.2s13718×body80valid
570.0ms13718×pre80true