Details

sample153.0ms

Algorithm

intervals

Results

42.0ms	448×	body	80	valid
26.0ms	448×	pre	80	true

simplify447.0ms

Calls

1 calls:

Slowest

447.0ms

(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 3 expressions with local error:

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

rewrite516.0ms

Algorithm

rewrite-expression-head

Rules

110×	`add-sqr-sqrt`
82×	`*-un-lft-identity`
59×	`add-cube-cbrt`
51×	`times-frac`
36×	`associate-r` `prod-diff`
28×	`associate-l`
22×	`distribute-rgt-in` `distribute-lft-in`
18×	`difference-of-squares`
15×	`associate-/l*`
12×	`add-cbrt-cube` `add-exp-log`
9×	`unswap-sqr`
8×	`flip3--` `flip--`
7×	`pow1` `distribute-lft-out--`
6×	`associate-r/` `-commutative`
4×	`frac-times` `sub-neg`
3×	`expm1-log1p-u` `associate-/r*` `difference-of-sqr-1` `prod-exp` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-*l/` `associate-/l/`
1×	`clear-num` `frac-2neg` `div-inv`

Calls

3 calls:

Slowest

449.0ms	(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
43.0ms	(/ (* m (- 1 m)) v)
15.0ms	(* m (- 1 m))

series162.0ms

Calls

3 calls:

Slowest

60.0ms	(* m (- 1 m))
52.0ms	(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
50.0ms	(/ (* m (- 1 m)) v)

simplify22.6s

Calls

212 calls:

Slowest

966.0ms	(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (* 1 1) (* m m)))
719.0ms	(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
659.0ms	(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- 1 m))
604.0ms	(* (+ (/ (* m (- 1 m)) v) 1) (+ 1 m))
565.0ms	(* (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))) (- (/ (* m (- 1 m)) v) 1))

prune1.8s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize24.0ms

Local error

Found 3 expressions with local error:

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

rewrite557.0ms

Algorithm

rewrite-expression-head

Rules

98×	`add-sqr-sqrt`
70×	`*-un-lft-identity`
51×	`times-frac`
47×	`add-cube-cbrt`
43×	`associate-l`
21×	`associate-r`
18×	`prod-diff` `difference-of-squares`
15×	`associate-/l*`
12×	`add-cbrt-cube` `add-exp-log`
11×	`distribute-rgt-in` `distribute-lft-in`
9×	`unswap-sqr`
8×	`flip3--` `flip--`
7×	`pow1` `distribute-lft-out--`
6×	`associate-l/` `-commutative`
4×	`frac-times`
3×	`expm1-log1p-u` `associate-/r*` `difference-of-sqr-1` `prod-exp` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`cbrt-undiv` `sub-neg` `div-exp` `pow-prod-down` `associate-*r/` `associate-/l/`
1×	`clear-num` `frac-2neg` `div-inv`

Calls

3 calls:

Slowest

493.0ms	(* (- (/ (* (- 1 m) m) v) 1) (- 1 m))
38.0ms	(/ (* (- 1 m) m) v)
23.0ms	(* (- 1 m) m)

series142.0ms

Calls

3 calls:

Slowest

62.0ms	(* (- 1 m) m)
41.0ms	(/ (* (- 1 m) m) v)
39.0ms	(* (- (/ (* (- 1 m) m) v) 1) (- 1 m))

simplify22.0s

Calls

187 calls:

Slowest

939.0ms	(* (* (* (- (/ (* (- 1 m) m) v) 1) (- (/ (* (- 1 m) m) v) 1)) (- (/ (* (- 1 m) m) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
696.0ms	(* (- (pow (/ (* (- 1 m) m) v) 3) (pow 1 3)) (- 1 m))
689.0ms	(* (+ (/ (* (- 1 m) m) v) 1) (+ 1 m))
676.0ms	(* (- (pow (/ (* (- 1 m) m) v) 3) (pow 1 3)) (- (* 1 1) (* m m)))
508.0ms	(/ (* (- 1 m) (sqrt m)) (* (cbrt v) (cbrt v)))

prune1.7s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite1.3s

Algorithm

rewrite-expression-head

Rules

128×	`add-sqr-sqrt`
69×	`*-un-lft-identity`
60×	`associate-l`
39×	`unswap-sqr`
35×	`add-cube-cbrt`
29×	`add-exp-log`
26×	`associate-*l/`
25×	`times-frac` `associate-r`
22×	`frac-times`
20×	`difference-of-squares`
19×	`add-cbrt-cube`
18×	`prod-diff`
17×	`flip3--` `flip--`
14×	`prod-exp`
12×	`pow1`
11×	`distribute-rgt-in` `distribute-lft-in` `associate-*r/`
10×	`associate-/l*`
9×	`associate-/r*`
8×	`cbrt-unprod` `distribute-lft-out--`
7×	`difference-of-sqr-1`
5×	`pow-prod-down`
4×	`clear-num` `div-exp` `*-commutative`
3×	`expm1-log1p-u` `frac-2neg` `un-div-inv` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`cbrt-undiv` `rec-exp` `sub-neg` `1-exp`
1×	`div-inv`

Calls

3 calls:

Slowest

1.2s	(* (- (* (* (- 1 m) m) (/ 1 v)) 1) (- 1 m))
100.0ms	(* (* (- 1 m) m) (/ 1 v))
16.0ms	(* (- 1 m) m)

series170.0ms

Calls

3 calls:

Slowest

77.0ms	(* (- 1 m) m)
55.0ms	(* (* (- 1 m) m) (/ 1 v))
38.0ms	(* (- (* (* (- 1 m) m) (/ 1 v)) 1) (- 1 m))

simplify27.8s

Calls

187 calls:

Slowest

660.0ms	(* (- (* (* (* (- 1 m) m) (/ 1 v)) (* (* (- 1 m) m) (/ 1 v))) (* 1 1)) (- (* 1 1) (* m m)))
654.0ms	(* (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))) (- (* (* (- 1 m) m) (/ 1 v)) 1))
616.0ms	(* (- (* (* (* (- 1 m) m) (/ 1 v)) (* (* (- 1 m) m) (/ 1 v))) (* 1 1)) (- 1 m))
613.0ms	(* (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))) (- (* (* (- 1 m) m) (/ 1 v)) 1))
603.0ms	(* (- (* (* (- 1 m) m) (/ 1 v)) 1) (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))))

prune1.8s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.5s

Algorithm

rewrite-expression-head

Rules

685×	`add-sqr-sqrt`
595×	`times-frac`
539×	`*-un-lft-identity`
307×	`add-cube-cbrt`
184×	`associate-r`
128×	`difference-of-squares` `unswap-sqr`
120×	`distribute-rgt-out--`
99×	`associate-/l*`
82×	`distribute-lft-out--`
79×	`associate-l`
65×	`*-commutative`
62×	`distribute-lft-out`
31×	`associate-/l/`
24×	`swap-sqr`
20×	`pow1`
18×	`add-cbrt-cube` `prod-diff` `add-exp-log`
11×	`distribute-rgt-in` `distribute-lft-in`
10×	`associate-/r*`
8×	`flip3--` `flip--`
7×	`div-inv`
5×	`pow-prod-up`
4×	`expm1-log1p-u` `frac-times` `cbrt-undiv` `div-exp` `pow-prod-down` `prod-exp` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`clear-num` `frac-2neg` `difference-of-sqr-1` `div-sub`
2×	`sub-neg` `cube-unmult` `associate-l/` `associate-r/` `associate-/r/`
1×	`pow2` `flip3-+` `pow-plus` `pow-sqr` `flip-+`

Calls

4 calls:

Slowest

1.2s	(* (- (/ (/ (- m (* m (* m m))) v) (+ 1 m)) 1) (- 1 m))
104.0ms	(/ (/ (- m (* m (* m m))) v) (+ 1 m))
101.0ms	(/ (- m (* m (* m m))) v)
20.0ms	(* m (* m m))

series264.0ms

Calls

4 calls:

Slowest

77.0ms	(/ (- m (* m (* m m))) v)
70.0ms	(/ (/ (- m (* m (* m m))) v) (+ 1 m))
69.0ms	(* (- (/ (/ (- m (* m (* m m))) v) (+ 1 m)) 1) (- 1 m))
48.0ms	(* m (* m m))

simplify2.0m

Calls

813 calls:

Slowest

679.0ms	(/ (/ (- (sqrt m) (* (sqrt m) (* (sqrt m) (sqrt m)))) (cbrt v)) (cbrt (+ 1 m)))
626.0ms	(/ (- m (* m (* m m))) (cbrt v))
583.0ms	(/ (/ (- (* (cbrt m) (cbrt m)) (* m (* m (* (cbrt m) (cbrt m))))) (cbrt v)) (sqrt (+ 1 m)))
536.0ms	(/ (sqrt (/ (- m (* m (* m m))) v)) 1)
521.0ms	(* (- (* (/ (/ (- m (* m (* m m))) v) (+ 1 m)) (/ (/ (- m (* m (* m m))) v) (+ 1 m))) (* 1 1)) (- (pow 1 3) (pow m 3)))

prune5.8s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes101.0ms

Accuracy

0% (0.0b remaining)

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

bsearch3.0ms

end0.0ms

sample2.6s

Algorithm

intervals

Results

1.7s	13665×	body	80	valid
639.0ms	13665×	pre	80	true