Details

Time bar (total: 1.2m)

sample214.0ms

Algorithm
intervals
Results
77.0ms454×body80valid
21.0ms454×pre80true

simplify434.0ms

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

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize41.0ms

Local error

Found 3 expressions with local error:

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

rewrite37.0ms

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

series121.0ms

Calls
3 calls:
Slowest
47.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)
36.0ms
(* m (- 1 m))
30.0ms
(/ (* m (- 1 m)) v)

simplify2.0s

Calls
25 calls:
Slowest
390.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) m)
226.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
226.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
218.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
179.0ms
(* (- (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (* 1 1)) m)

prune510.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 2 expressions with local error:

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

rewrite10.0ms

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

series62.0ms

Calls
2 calls:
Slowest
33.0ms
(* (- (fma (/ m v) (- m) (/ m v)) 1) m)
29.0ms
(fma (/ m v) (- m) (/ m v))

simplify1.5s

Calls
11 calls:
Slowest
346.0ms
(* (- (pow (fma (/ m v) (- m) (/ m v)) 3) (pow 1 3)) m)
234.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
234.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
227.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
132.0ms
(* (- (* (fma (/ m v) (- m) (/ m v)) (fma (/ m v) (- m) (/ m v))) (* 1 1)) m)

prune291.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (* m (- (pow 1 3) (pow m 3))) (+ (fma m m m) 1))
0.2b
(* (- (/ (/ (* m (- (pow 1 3) (pow m 3))) (+ (fma m m m) 1)) v) 1) m)
0.1b
(/ (/ (* m (- (pow 1 3) (pow m 3))) (+ (fma m m m) 1)) v)
0.0b
(* m (- (pow 1 3) (pow m 3)))

rewrite157.0ms

Algorithm
rewrite-expression-head
Rules
50×prod-diff
33×add-sqr-sqrt *-un-lft-identity
30×add-cube-cbrt
27×distribute-rgt-in distribute-lft-in
21×cube-mult
20×unpow3
10×associate-/l*
7×associate-*r*
6×times-frac add-cbrt-cube add-exp-log
4×expm1-log1p-u pow1 associate-*l* associate-*r/ associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* flip3-- div-inv flip-- associate-/l/
2×clear-num sub-neg frac-2neg flip3-+ associate-*l/ *-commutative flip-+ distribute-lft-out--
1×difference-cubes cbrt-undiv difference-of-sqr-1 div-exp difference-of-squares
Calls
4 calls:
Slowest
91.0ms
(* (- (/ (/ (* m (- (pow 1 3) (pow m 3))) (+ (fma m m m) 1)) v) 1) m)
34.0ms
(/ (* m (- (pow 1 3) (pow m 3))) (+ (fma m m m) 1))
15.0ms
(/ (/ (* m (- (pow 1 3) (pow m 3))) (+ (fma m m m) 1)) v)
13.0ms
(* m (- (pow 1 3) (pow m 3)))

series245.0ms

Calls
4 calls:
Slowest
84.0ms
(/ (* m (- (pow 1 3) (pow m 3))) (+ (fma m m m) 1))
65.0ms
(/ (/ (* m (- (pow 1 3) (pow m 3))) (+ (fma m m m) 1)) v)
50.0ms
(* (- (/ (/ (* m (- (pow 1 3) (pow m 3))) (+ (fma m m m) 1)) v) 1) m)
45.0ms
(* m (- (pow 1 3) (pow m 3)))

simplify11.5s

Calls
104 calls:
Slowest
724.0ms
(* (- (* (/ (/ (* m (- (pow 1 3) (pow m 3))) (+ (fma m m m) 1)) v) (/ (/ (* m (- (pow 1 3) (pow m 3))) (+ (fma m m m) 1)) v)) (* 1 1)) m)
411.0ms
(/ (* (* (* m (- (pow 1 3) (pow m 3))) (* m (- (pow 1 3) (pow m 3)))) (* m (- (pow 1 3) (pow m 3)))) (* (* (+ (fma m m m) 1) (+ (fma m m m) 1)) (+ (fma m m m) 1)))
360.0ms
(sqrt (- (/ (/ (* m (- (pow 1 3) (pow m 3))) (+ (fma m m m) 1)) v) 1))
352.0ms
(* (cbrt (- (/ (/ (* m (- (pow 1 3) (pow m 3))) (+ (fma m m m) 1)) v) 1)) (cbrt (- (/ (/ (* m (- (pow 1 3) (pow m 3))) (+ (fma m m m) 1)) v) 1)))
292.0ms
(* m (- (* (pow 1 3) (pow 1 3)) (* (pow m 3) (pow m 3))))

prune1.8s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (* m (- (pow 1 3) (pow m 3))) (sqrt (+ (fma m m m) 1)))
0.2b
(* (- (/ (/ (/ (* m (- (pow 1 3) (pow m 3))) (sqrt (+ (fma m m m) 1))) (sqrt (+ (fma m m m) 1))) v) 1) m)
0.1b
(/ (/ (* m (- (pow 1 3) (pow m 3))) (sqrt (+ (fma m m m) 1))) (sqrt (+ (fma m m m) 1)))
0.1b
(/ (/ (/ (* m (- (pow 1 3) (pow m 3))) (sqrt (+ (fma m m m) 1))) (sqrt (+ (fma m m m) 1))) v)

rewrite316.0ms

Algorithm
rewrite-expression-head
Rules
228×times-frac
120×sqrt-prod
100×add-sqr-sqrt
99×*-un-lft-identity add-cube-cbrt
91×associate-/l*
32×sqrt-div associate-/r/
17×div-inv
16×flip3-+ flip-+
12×associate-/r*
11×add-cbrt-cube add-exp-log
4×expm1-log1p-u pow1 cbrt-undiv div-exp associate-*l* insert-posit16 log1p-expm1-u add-log-exp associate-/l/
3×clear-num frac-2neg
2×flip3-- associate-*l/ associate-*r/ flip--
1×difference-of-sqr-1 *-commutative
Calls
4 calls:
Slowest
193.0ms
(* (- (/ (/ (/ (* m (- (pow 1 3) (pow m 3))) (sqrt (+ (fma m m m) 1))) (sqrt (+ (fma m m m) 1))) v) 1) m)
49.0ms
(/ (/ (/ (* m (- (pow 1 3) (pow m 3))) (sqrt (+ (fma m m m) 1))) (sqrt (+ (fma m m m) 1))) v)
37.0ms
(/ (/ (* m (- (pow 1 3) (pow m 3))) (sqrt (+ (fma m m m) 1))) (sqrt (+ (fma m m m) 1)))
29.0ms
(/ (* m (- (pow 1 3) (pow m 3))) (sqrt (+ (fma m m m) 1)))

series256.0ms

Calls
4 calls:
Slowest
77.0ms
(/ (/ (* m (- (pow 1 3) (pow m 3))) (sqrt (+ (fma m m m) 1))) (sqrt (+ (fma m m m) 1)))
72.0ms
(/ (/ (/ (* m (- (pow 1 3) (pow m 3))) (sqrt (+ (fma m m m) 1))) (sqrt (+ (fma m m m) 1))) v)
66.0ms
(* (- (/ (/ (/ (* m (- (pow 1 3) (pow m 3))) (sqrt (+ (fma m m m) 1))) (sqrt (+ (fma m m m) 1))) v) 1) m)
42.0ms
(/ (* m (- (pow 1 3) (pow m 3))) (sqrt (+ (fma m m m) 1)))

simplify48.2s

Calls
287 calls:
Slowest
822.0ms
(* (- (* (/ (/ (/ (* m (- (pow 1 3) (pow m 3))) (sqrt (+ (fma m m m) 1))) (sqrt (+ (fma m m m) 1))) v) (/ (/ (/ (* m (- (pow 1 3) (pow m 3))) (sqrt (+ (fma m m m) 1))) (sqrt (+ (fma m m m) 1))) v)) (* 1 1)) m)
701.0ms
(/ (sqrt (/ (* m (- (pow 1 3) (pow m 3))) (sqrt (+ (fma m m m) 1)))) (sqrt (cbrt (+ (fma m m m) 1))))
622.0ms
(/ (/ (* m (- (pow 1 3) (pow m 3))) (sqrt (+ (pow (fma m m m) 3) (pow 1 3)))) (sqrt (sqrt (+ (fma m m m) 1))))
469.0ms
(/ (/ (* (* (* m (- (pow 1 3) (pow m 3))) (* m (- (pow 1 3) (pow m 3)))) (* m (- (pow 1 3) (pow m 3)))) (* (* (sqrt (+ (fma m m m) 1)) (sqrt (+ (fma m m m) 1))) (sqrt (+ (fma m m m) 1)))) (* (* (sqrt (+ (fma m m m) 1)) (sqrt (+ (fma m m m) 1))) (sqrt (+ (fma m m m) 1))))
430.0ms
(/ (/ (* m (- (pow 1 3) (pow m 3))) (sqrt (- (* (fma m m m) (fma m m m)) (* 1 1)))) 1)

prune3.4s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes154.0ms

Accuracy

0% (0.7b remaining)

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

bsearch3.0ms

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.3s13690×body80valid
550.0ms13690×pre80true