Details

Time bar (total: 1.3m)

sample199.0ms

Algorithm
intervals
Results
32.0ms420×body80valid
17.0ms420×pre80true

simplify265.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
264.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize21.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.1b
(- (/ m v) (fma m (/ m v) 1))

rewrite60.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
Counts
3 → 190
Calls
3 calls:
Slowest
40.0ms
(* m (- (/ m v) (fma m (/ m v) 1)))
14.0ms
(- (/ m v) (fma m (/ m v) 1))
0.0ms
(fma m (/ m v) 1)

series119.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
65.0ms
(* m (- (/ m v) (fma m (/ m v) 1)))
33.0ms
(fma m (/ m v) 1)
21.0ms
(- (/ m v) (fma m (/ m v) 1))

simplify47.0s

Counts
201 → 199
Calls
201 calls:
Slowest
796.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))))
746.0ms
(* m (fma (- (fma m (/ m v) 1)) 1 (* (fma m (/ m v) 1) 1)))
626.0ms
(+ (* (/ m v) (/ m v)) (+ (* (fma m (/ m v) 1) (fma m (/ m v) 1)) (* (/ m v) (fma m (/ m v) 1))))
548.0ms
(fma (/ (* (cbrt m) (cbrt m)) (* (cbrt v) (cbrt v))) (/ (cbrt m) (cbrt v)) (- (* (fma m (/ m v) 1) 1)))
494.0ms
(* (fma (- (fma m (/ m v) 1)) 1 (* (fma m (/ m v) 1) 1)) m)

prune2.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize28.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.1b
(+ (* m (/ m v)) (* (- -1 (* m (/ m v))) m))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
29×associate-*r*
22×*-un-lft-identity add-cube-cbrt
20×times-frac
16×add-cbrt-cube add-exp-log
10×pow1
9×associate-*l*
6×add-log-exp
5×prod-exp cbrt-unprod unswap-sqr
4×expm1-log1p-u associate-*l/ associate-*r/ insert-posit16 log1p-expm1-u
3×pow-prod-down *-commutative
2×cbrt-undiv flip3-- div-exp frac-add div-inv flip--
1×+-commutative sum-log fma-def flip3-+ flip-+
Counts
4 → 110
Calls
4 calls:
Slowest
22.0ms
(+ (* m (/ m v)) (* (- -1 (* m (/ m v))) m))
19.0ms
(* (- -1 (* m (/ m v))) m)
9.0ms
(* m (/ m v))
9.0ms
(* m (/ m v))

series131.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
57.0ms
(* (- -1 (* m (/ m v))) m)
30.0ms
(+ (* m (/ m v)) (* (- -1 (* m (/ m v))) m))
22.0ms
(* m (/ m v))
21.0ms
(* m (/ m v))

simplify7.1s

Counts
76 → 122
Calls
76 calls:
Slowest
527.0ms
(- (+ m (/ (pow m 3) v)))
520.0ms
(- (+ m (/ (pow m 3) v)))
497.0ms
(* (* (* (- -1 (* m (/ m v))) (- -1 (* m (/ m v)))) (- -1 (* m (/ m v)))) (* (* m m) m))
472.0ms
(* (* (* m m) m) (/ (* (* m m) m) (* (* v v) v)))
464.0ms
(- (+ m (/ (pow m 3) v)))

prune1.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
42×add-sqr-sqrt
30×associate-*r*
25×*-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
21×times-frac
18×associate-*l*
15×pow1
10×prod-exp cbrt-unprod
8×sqrt-prod
7×unswap-sqr
6×pow-prod-down
4×expm1-log1p-u associate-*r/ *-commutative insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp
2×associate-*l/ div-inv
1×flip3-- flip--
Counts
4 → 125
Calls
4 calls:
Slowest
59.0ms
(* (sqrt m) (* (sqrt m) (/ m v)))
24.0ms
(* (- -1 (* (sqrt m) (* (sqrt m) (/ m v)))) m)
19.0ms
(* (sqrt m) (/ m v))
15.0ms
(* m (/ m v))

series239.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
82.0ms
(* (sqrt m) (/ m v))
81.0ms
(* (- -1 (* (sqrt m) (* (sqrt m) (/ m v)))) m)
55.0ms
(* (sqrt m) (* (sqrt m) (/ m v)))
21.0ms
(* m (/ m v))

simplify6.8s

Counts
92 → 137
Calls
92 calls:
Slowest
795.0ms
(- (+ m (/ (pow m 3) v)))
588.0ms
(* (* (* (- -1 (* (sqrt m) (* (sqrt m) (/ m v)))) (- -1 (* (sqrt m) (* (sqrt m) (/ m v))))) (- -1 (* (sqrt m) (* (sqrt m) (/ m v))))) (* (* m m) m))
507.0ms
(* (* (* (sqrt m) (sqrt m)) (sqrt m)) (/ (* (* m m) m) (* (* v v) v)))
491.0ms
(* (* (* m m) m) (/ (* (* m m) m) (* (* v v) v)))
476.0ms
(- (+ m (/ (pow m 3) v)))

prune1.2s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* m (/ 1 (sqrt v))) (/ m (sqrt v)))
0.3b
(/ 1 (sqrt v))
0.2b
(* m (/ 1 (sqrt v)))
0.2b
(/ m (sqrt v))

rewrite93.0ms

Algorithm
rewrite-expression-head
Rules
76×times-frac
73×add-sqr-sqrt
63×*-un-lft-identity
61×add-cube-cbrt
54×add-exp-log
44×associate-*r* sqrt-prod
34×add-cbrt-cube
22×prod-exp
14×div-exp
13×pow1
12×associate-/r* cbrt-unprod
8×cbrt-undiv
6×associate-/l*
5×div-inv unswap-sqr
4×expm1-log1p-u rec-exp 1-exp associate-*l* pow-prod-down associate-*r/ insert-posit16 log1p-expm1-u add-log-exp
3×un-div-inv pow-flip
2×frac-times clear-num frac-2neg associate-*l/ *-commutative
1×sqrt-pow1 pow1/2 swap-sqr inv-pow
Counts
4 → 198
Calls
4 calls:
Slowest
42.0ms
(* (* m (/ 1 (sqrt v))) (/ m (sqrt v)))
23.0ms
(* m (/ 1 (sqrt v)))
10.0ms
(/ 1 (sqrt v))
9.0ms
(/ m (sqrt v))

series180.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
54.0ms
(* m (/ 1 (sqrt v)))
52.0ms
(/ m (sqrt v))
45.0ms
(* (* m (/ 1 (sqrt v))) (/ m (sqrt v)))
29.0ms
(/ 1 (sqrt v))

simplify7.4s

Counts
200 → 210
Calls
200 calls:
Slowest
663.0ms
(* (* (* (* m (/ 1 (sqrt v))) (* m (/ 1 (sqrt v)))) (* m (/ 1 (sqrt v)))) (* (* (/ m (sqrt v)) (/ m (sqrt v))) (/ m (sqrt v))))
406.0ms
(* (* (* m m) m) (* (* (/ 1 (sqrt v)) (/ 1 (sqrt v))) (/ 1 (sqrt v))))
353.0ms
(* (* (* (* m m) m) (/ (* (* 1 1) 1) (* (* (sqrt v) (sqrt v)) (sqrt v)))) (/ (* (* m m) m) (* (* (sqrt v) (sqrt v)) (sqrt v))))
304.0ms
(* (* (* (* m m) m) (* (* (/ 1 (sqrt v)) (/ 1 (sqrt v))) (/ 1 (sqrt v)))) (/ (* (* m m) m) (* (* (sqrt v) (sqrt v)) (sqrt v))))
272.0ms
(* (* (* (* m (/ 1 (sqrt v))) (* m (/ 1 (sqrt v)))) (* m (/ 1 (sqrt v)))) (/ (* (* m m) m) (* (* (sqrt v) (sqrt v)) (sqrt v))))

prune2.2s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0b

regimes119.0ms

Accuracy

0% (0.2b remaining)

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

bsearch8.0ms

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.4s13648×body80valid
665.0ms13648×pre80true