Details

Time bar (total: 42.3s)

sample216.0ms

Algorithm
intervals
Results
57.0ms454×body80valid
32.0ms454×pre80true

simplify468.0ms

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

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize31.0ms

Local error

Found 3 expressions with local error:

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

rewrite27.0ms

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

series110.0ms

Calls
3 calls:
Slowest
49.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
32.0ms
(* m (- 1 m))
29.0ms
(/ (* m (- 1 m)) v)

simplify7.7s

Calls
45 calls:
Slowest
751.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
657.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (pow 1 3) (pow m 3)))
610.0ms
(* (+ (/ (* m (- 1 m)) v) 1) (+ 1 m))
546.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (* 1 1) (* m m)))
431.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- 1 m))

prune749.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 3 expressions with local error:

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

rewrite21.0ms

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

series62.0ms

Calls
3 calls:
Slowest
23.0ms
(- m (* m m))
21.0ms
(* (- (/ (- m (* m m)) v) 1) (- 1 m))
17.0ms
(/ (- m (* m m)) v)

simplify7.6s

Calls
39 calls:
Slowest
854.0ms
(* (* (* (- (/ (- m (* m m)) v) 1) (- (/ (- m (* m m)) v) 1)) (- (/ (- m (* m m)) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
524.0ms
(* (+ (* (/ (- m (* m m)) v) (/ (- m (* m m)) v)) (+ (* 1 1) (* (/ (- m (* m m)) v) 1))) (+ 1 m))
477.0ms
(* (- (pow (/ (- m (* m m)) v) 3) (pow 1 3)) (- (pow 1 3) (pow m 3)))
468.0ms
(- (* m m) (* (* m m) (* m m)))
426.0ms
(* (- (/ (- m (* m m)) v) 1) (- 1 m))

prune645.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 2 expressions with local error:

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

rewrite12.0ms

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

series55.0ms

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

simplify6.7s

Calls
31 calls:
Slowest
749.0ms
(* (- (fma (/ m v) (- m) (/ m v)) 1) (- 1 m))
615.0ms
(* (+ (fma (/ m v) (- m) (/ m v)) 1) (+ (* 1 1) (+ (* m m) (* 1 m))))
501.0ms
(* (- (pow (fma (/ m v) (- m) (/ m v)) 3) (pow 1 3)) (- (pow 1 3) (pow m 3)))
409.0ms
(- (+ m (/ (pow m 3) v)) (* 2 (/ (pow m 2) v)))
398.0ms
(* (- (pow (fma (/ m v) (- m) (/ m v)) 3) (pow 1 3)) (- (* 1 1) (* m m)))

prune456.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
20×frac-times
18×flip3-- flip--
14×associate-*l/
12×pow1
9×add-cbrt-cube add-exp-log
7×associate-*r* associate-*r/
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×associate-*l* pow-prod-down prod-exp cbrt-unprod
2×distribute-rgt-in expm1-log1p-u sub-neg distribute-lft-in *-commutative insert-posit16 log1p-expm1-u add-log-exp
1×pow2 pow-plus pow-prod-up div-inv
Calls
2 calls:
Slowest
16.0ms
(* (* (- 1 m) (- 1 m)) (/ m v))
5.0ms
(* (- 1 m) (- 1 m))

series30.0ms

Calls
2 calls:
Slowest
21.0ms
(* (* (- 1 m) (- 1 m)) (/ m v))
9.0ms
(* (- 1 m) (- 1 m))

simplify14.5s

Calls
68 calls:
Slowest
809.0ms
(* (* (* (- 1 m) (- 1 m)) (- 1 m)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
715.0ms
(* (* (+ (* 1 1) (+ (* m m) (* 1 m))) (+ (* 1 1) (+ (* m m) (* 1 m)))) v)
680.0ms
(- (+ (/ m v) (/ (pow m 3) v)) (* 2 (/ (pow m 2) v)))
615.0ms
(* (* (- 1 m) (- (* 1 1) (* m m))) (/ m v))
565.0ms
(* (* (- (* 1 1) (* m m)) (- 1 m)) (/ m v))

prune761.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes74.0ms

Accuracy

0% (0.1b remaining)

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

bsearch6.0ms

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.2s13690×body80valid
539.0ms13690×pre80true