Details

sample177.0ms

Algorithm

intervals

Results

40.0ms	431×	body	80	valid
17.0ms	431×	pre	80	true

simplify289.0ms

Calls

1 calls:

Slowest

289.0ms

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

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize29.0ms

Local error

Found 2 expressions with local error:

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

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

3×	`fma-udef`
3×	`add-cube-cbrt`
3×	`associate-r`
3×	`*-un-lft-identity`
3×	`add-sqr-sqrt`
2×	`add-log-exp`
2×	`log1p-expm1-u`
2×	`add-exp-log`
2×	`add-cbrt-cube`
2×	`pow1`
2×	`expm1-log1p-u`
1×	`*-commutative`
1×	`distribute-lft-in`
1×	`distribute-rgt-in`

Calls

2 calls:

Slowest

8.0ms	(* m (fma (- 1 m) (/ m v) -1))
0.0ms	(fma (- 1 m) (/ m v) -1)

series56.0ms

Calls

2 calls:

Slowest

45.0ms	(* m (fma (- 1 m) (/ m v) -1))
11.0ms	(fma (- 1 m) (/ m v) -1)

simplify698.0ms

Calls

11 calls:

Slowest

166.0ms	(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
160.0ms	(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
128.0ms	(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
74.0ms	(- (/ m v) (+ (/ (pow m 2) v) 1))
73.0ms	(- (/ m v) (+ (/ (pow m 2) v) 1))

prune253.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

9×	`associate-*l/`
5×	`add-log-exp`
5×	`add-cube-cbrt`
5×	`add-exp-log`
5×	`add-cbrt-cube`
5×	`*-un-lft-identity`
5×	`pow1`
5×	`add-sqr-sqrt`
4×	`flip--`
4×	`associate-l`
4×	`associate-r`
4×	`flip3--`
4×	`frac-times`
3×	`log1p-expm1-u`
3×	`expm1-log1p-u`
2×	`*-commutative`
2×	`associate-*r/`
1×	`div-inv`
1×	`flip-+`
1×	`cbrt-unprod`
1×	`prod-exp`
1×	`pow-prod-down`
1×	`unsub-neg`
1×	`distribute-rgt-out`
1×	`flip3-+`
1×	`fma-def`
1×	`sum-log`
1×	`neg-mul-1`
1×	`associate-+r-`
1×	`+-commutative`
1×	`neg-sub0`

Calls

3 calls:

Slowest

16.0ms	(* (* (- 1 m) (/ m v)) m)
13.0ms	(+ (* (* (- 1 m) (/ m v)) m) (- m))
7.0ms	(* (- 1 m) (/ m v))

series77.0ms

Calls

3 calls:

Slowest

28.0ms	(* (- 1 m) (/ m v))
25.0ms	(+ (* (* (- 1 m) (/ m v)) m) (- m))
23.0ms	(* (* (- 1 m) (/ m v)) m)

simplify2.7s

Calls

33 calls:

Slowest

325.0ms	(* (exp (* (* (- 1 m) (/ m v)) m)) (exp (- m)))
259.0ms	(* (* (- (pow 1 3) (pow m 3)) (/ m v)) m)
235.0ms	(* (* (* (- 1 m) (- 1 m)) (- 1 m)) (* (* (/ m v) (/ m v)) (/ m v)))
233.0ms	(* (* (- (* 1 1) (* m m)) (/ m v)) m)
232.0ms	(* (- (* 1 1) (* m m)) (/ m v))

prune605.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-cube-cbrt`
4×	`add-exp-log`
4×	`associate-r`
4×	`add-cbrt-cube`
4×	`*-un-lft-identity`
4×	`pow1`
4×	`add-sqr-sqrt`
3×	`associate-l`
2×	`add-log-exp`
2×	`flip--`
2×	`log1p-expm1-u`
2×	`associate-*l/`
2×	`flip3--`
2×	`frac-times`
2×	`expm1-log1p-u`
1×	`div-inv`
1×	`fma-udef`
1×	`cbrt-unprod`
1×	`*-commutative`
1×	`associate-*r/`
1×	`prod-exp`
1×	`pow-prod-down`

Calls

2 calls:

Slowest

7.0ms	(* (- 1 m) (/ m v))
0.0ms	(fma (* (- 1 m) (/ m v)) m (- m))

series44.0ms

Calls

2 calls:

Slowest

23.0ms	(* (- 1 m) (/ m v))
21.0ms	(fma (* (- 1 m) (/ m v)) m (- m))

simplify1.3s

Calls

21 calls:

Slowest

242.0ms	(* (* (* (- 1 m) (- 1 m)) (- 1 m)) (* (* (/ m v) (/ m v)) (/ m v)))
219.0ms	(* (- (* 1 1) (* m m)) (/ m v))
207.0ms	(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
139.0ms	(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
138.0ms	(* (- (pow 1 3) (pow m 3)) (/ m v))

prune433.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

7×	`associate-l`
6×	`associate-*l/`
5×	`add-log-exp`
5×	`add-cube-cbrt`
5×	`add-exp-log`
5×	`add-cbrt-cube`
5×	`*-un-lft-identity`
5×	`pow1`
5×	`add-sqr-sqrt`
3×	`log1p-expm1-u`
3×	`expm1-log1p-u`
2×	`flip--`
2×	`*-commutative`
2×	`flip3--`
2×	`frac-times`
1×	`div-inv`
1×	`flip-+`
1×	`cbrt-unprod`
1×	`associate-*r/`
1×	`prod-exp`
1×	`pow-prod-down`
1×	`unsub-neg`
1×	`associate-r`
1×	`flip3-+`
1×	`fma-def`
1×	`sum-log`
1×	`associate-+r-`
1×	`+-commutative`
1×	`neg-sub0`

Calls

3 calls:

Slowest

9.0ms	(* (- 1 m) (* (/ m v) m))
8.0ms	(+ (* (- 1 m) (* (/ m v) m)) (- m))
2.0ms	(* (/ m v) m)

series59.0ms

Calls

3 calls:

Slowest

22.0ms	(+ (* (- 1 m) (* (/ m v) m)) (- m))
21.0ms	(* (- 1 m) (* (/ m v) m))
16.0ms	(* (/ m v) m)

simplify3.3s

Calls

25 calls:

Slowest

786.0ms	(* (* (* (- 1 m) (- 1 m)) (- 1 m)) (* (* (* (/ m v) m) (* (/ m v) m)) (* (/ m v) m)))
431.0ms	(* (- 1 m) (* (/ m v) m))
387.0ms	(* (- (pow 1 3) (pow m 3)) (* (/ m v) m))
320.0ms	(* (- (* 1 1) (* m m)) (* (/ m v) m))
313.0ms	(* (exp (* (- 1 m) (* (/ m v) m))) (exp (- m)))

prune501.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes131.0ms

Accuracy

0% (0.1b remaining)

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

bsearch2.0ms

end0.0ms

sample2.6s

Algorithm

intervals

Results

1.8s	13888×	body	80	valid
560.0ms	13888×	pre	80	true