Details

Time bar (total: 2.8m)

sample258.0ms

Algorithm
intervals
Results
106.0ms446×pre80true
55.0ms446×body80valid

simplify553.0ms

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

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite714.0ms

Algorithm
rewrite-expression-head
Rules
341×add-sqr-sqrt
273×*-un-lft-identity
237×times-frac
209×add-cube-cbrt
183×prod-diff
108×associate-*r*
64×associate-*l*
49×fma-neg
48×difference-of-squares
24×unswap-sqr
22×distribute-rgt-in distribute-lft-in
20×distribute-lft-out--
19×add-exp-log
18×*-commutative
15×associate-/l*
13×add-cbrt-cube
9×flip3-- flip--
8×pow1
6×difference-of-sqr-1 associate-*r/ add-log-exp
5×sub-neg div-inv
4×expm1-log1p-u frac-times div-exp prod-exp insert-posit16 log1p-expm1-u
3×expm1-def associate-/r* cbrt-unprod
2×cbrt-undiv pow-prod-down associate-*l/ associate-/l/
1×clear-num frac-2neg diff-log
Calls
4 calls:
Slowest
431.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
194.0ms
(- (/ (* m (- 1 m)) v) 1)
45.0ms
(/ (* m (- 1 m)) v)
31.0ms
(* m (- 1 m))

series177.0ms

Calls
4 calls:
Slowest
62.0ms
(* m (- 1 m))
50.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
43.0ms
(/ (* m (- 1 m)) v)
21.0ms
(- (/ (* m (- 1 m)) v) 1)

simplify1.1m

Calls
577 calls:
Slowest
1.0s
(* (+ (/ (* m (- 1 m)) v) 1) (+ 1 m))
829.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
784.0ms
(fma (/ (* m (* (cbrt (- 1 m)) (cbrt (- 1 m)))) (sqrt v)) (/ (cbrt (- 1 m)) (sqrt v)) (- (* (sqrt 1) (sqrt 1))))
745.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (* 1 1) (* m m)))
669.0ms
(fma (/ (* m 1) (* (cbrt v) (cbrt v))) (/ (- 1 m) (cbrt v)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))

prune3.6s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.9s

Algorithm
rewrite-expression-head
Rules
144×add-sqr-sqrt
99×*-un-lft-identity
63×add-cube-cbrt
62×associate-*l*
57×times-frac
43×associate-*r*
36×prod-diff
32×frac-times
24×sqrt-prod difference-of-squares
22×distribute-rgt-in distribute-lft-in flip3-- flip--
16×add-cbrt-cube associate-*l/ add-exp-log
15×associate-/l* unswap-sqr
13×flip3-+ flip-+
12×associate-*r/
11×pow1
8×distribute-lft-out--
7×*-commutative
6×difference-of-sqr-1 distribute-lft-out add-log-exp
5×prod-exp cbrt-unprod
4×expm1-log1p-u pow-prod-down insert-posit16 log1p-expm1-u
3×+-commutative associate-/r* fma-def
2×cbrt-undiv sub-neg div-exp associate-/l/
1×clear-num sum-log frac-2neg div-inv
Calls
4 calls:
Slowest
1.3s
(* (* (- (/ (* m (- 1 m)) v) 1) (+ 1 (sqrt m))) (- 1 (sqrt m)))
472.0ms
(* (- (/ (* m (- 1 m)) v) 1) (+ 1 (sqrt m)))
73.0ms
(/ (* m (- 1 m)) v)
7.0ms
(+ 1 (sqrt m))

series262.0ms

Calls
4 calls:
Slowest
95.0ms
(* (* (- (/ (* m (- 1 m)) v) 1) (+ 1 (sqrt m))) (- 1 (sqrt m)))
90.0ms
(* (- (/ (* m (- 1 m)) v) 1) (+ 1 (sqrt m)))
45.0ms
(/ (* m (- 1 m)) v)
31.0ms
(+ 1 (sqrt m))

simplify41.7s

Calls
287 calls:
Slowest
855.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (+ 1 (sqrt m)))
760.0ms
(* (- (sqrt m)) (* (- (/ (* m (- 1 m)) v) 1) (+ 1 (sqrt m))))
716.0ms
(* (* (- (/ (* m (- 1 m)) v) 1) (+ 1 (sqrt m))) (fma (- (sqrt m)) 1 (* (sqrt m) 1)))
695.0ms
(* (- (sqrt m)) (* (- (/ (* m (- 1 m)) v) 1) (+ 1 (sqrt m))))
692.0ms
(* (* (- (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (* 1 1)) (+ 1 (sqrt m))) (- (pow 1 3) (pow (sqrt m) 3)))

prune3.0s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
37×*-un-lft-identity
36×prod-diff
31×add-cube-cbrt
21×sqrt-prod
20×distribute-rgt-in distribute-lft-in
9×associate-*r* add-exp-log
8×pow1
7×associate-*l*
6×add-cbrt-cube
4×expm1-log1p-u unpow-prod-down insert-posit16 log1p-expm1-u add-log-exp difference-of-squares
3×pow-prod-down prod-exp fma-udef unswap-sqr
2×sub-neg associate-*r/ distribute-lft-out-- sqr-pow
1×pow-to-exp pow-unpow flip3-- pow-exp *-commutative cbrt-unprod flip--
Calls
4 calls:
Slowest
33.0ms
(* (pow (fma (sqrt m) (fma (/ m v) (- 1 m) -1) (fma (/ m v) (- 1 m) -1)) 1) (- 1 (sqrt m)))
0.0ms
(fma (/ m v) (- 1 m) -1)
0.0ms
(fma (/ m v) (- 1 m) -1)
0.0ms
(fma (sqrt m) (fma (/ m v) (- 1 m) -1) (fma (/ m v) (- 1 m) -1))

series258.0ms

Calls
4 calls:
Slowest
101.0ms
(fma (sqrt m) (fma (/ m v) (- 1 m) -1) (fma (/ m v) (- 1 m) -1))
97.0ms
(* (pow (fma (sqrt m) (fma (/ m v) (- 1 m) -1) (fma (/ m v) (- 1 m) -1)) 1) (- 1 (sqrt m)))
33.0ms
(fma (/ m v) (- 1 m) -1)
27.0ms
(fma (/ m v) (- 1 m) -1)

simplify32.1s

Calls
82 calls:
Slowest
1.3s
(* (fma (- (cbrt (sqrt m))) (* (cbrt (sqrt m)) (cbrt (sqrt m))) (* (cbrt (sqrt m)) (* (cbrt (sqrt m)) (cbrt (sqrt m))))) (pow (fma (sqrt m) (fma (/ m v) (- 1 m) -1) (fma (/ m v) (- 1 m) -1)) 1))
1.2s
(* (pow (fma (sqrt m) (fma (/ m v) (- 1 m) -1) (fma (/ m v) (- 1 m) -1)) 1) (fma (- (cbrt (sqrt m))) (* (cbrt (sqrt m)) (cbrt (sqrt m))) (* (cbrt (sqrt m)) (* (cbrt (sqrt m)) (cbrt (sqrt m))))))
1.1s
(* (pow (fma (sqrt m) (fma (/ m v) (- 1 m) -1) (fma (/ m v) (- 1 m) -1)) 1) (fma (- (cbrt (sqrt m))) (* (cbrt (sqrt m)) (cbrt (sqrt m))) (* (cbrt (sqrt m)) (* (cbrt (sqrt m)) (cbrt (sqrt m))))))
988.0ms
(* (fma (- (cbrt (sqrt m))) (* (cbrt (sqrt m)) (cbrt (sqrt m))) (* (cbrt (sqrt m)) (* (cbrt (sqrt m)) (cbrt (sqrt m))))) (pow (fma (sqrt m) (fma (/ m v) (- 1 m) -1) (fma (/ m v) (- 1 m) -1)) 1))
962.0ms
(* (fma (- (cbrt (sqrt m))) (* (cbrt (sqrt m)) (cbrt (sqrt m))) (* (cbrt (sqrt m)) (* (cbrt (sqrt m)) (cbrt (sqrt m))))) (pow (fma (sqrt m) (fma (/ m v) (- 1 m) -1) (fma (/ m v) (- 1 m) -1)) 1))

prune1.5s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize25.0ms

Local error

Found 3 expressions with local error:

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

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
45×add-sqr-sqrt
43×*-un-lft-identity
28×add-cube-cbrt
18×times-frac prod-diff
11×distribute-rgt-in distribute-lft-in
10×difference-of-squares
7×add-cbrt-cube add-exp-log
6×associate-*r* associate-/l*
5×pow1 distribute-lft-out--
3×expm1-log1p-u associate-/r* associate-*l* insert-posit16 log1p-expm1-u add-log-exp
2×sub-neg flip3-- associate-*r/ flip-- associate-/l/
1×cbrt-undiv clear-num frac-2neg div-sub div-exp pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef div-inv unswap-sqr
Calls
3 calls:
Slowest
32.0ms
(* (fma (/ (- 1 m) v) m -1) (- 1 m))
30.0ms
(/ (- 1 m) v)
1.0ms
(fma (/ (- 1 m) v) m -1)

series130.0ms

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

simplify12.4s

Calls
93 calls:
Slowest
562.0ms
(* (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))) (fma (/ (- 1 m) v) m -1))
541.0ms
(* (fma (/ (- 1 m) v) m -1) (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))))
538.0ms
(* (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))) (fma (/ (- 1 m) v) m -1))
538.0ms
(* (fma (/ (- 1 m) v) m -1) (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))))
494.0ms
(* (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))) (fma (/ (- 1 m) v) m -1))

prune1.1s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes66.0ms

Accuracy

0% (0.1b remaining)

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

bsearch2.0ms

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.7s13671×body80valid
544.0ms13671×pre80true