Details

sample176.0ms

Algorithm

intervals

Results

82.0ms	433×	body	80	valid
16.0ms	433×	pre	80	true

simplify632.0ms

Calls

1 calls:

Slowest

631.0ms

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

prune28.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 3 expressions with local error:

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

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt`
5×	`add-cube-cbrt`
5×	`*-un-lft-identity`
4×	`add-exp-log`
4×	`associate-l`
4×	`fma-neg`
3×	`add-log-exp`
3×	`flip--`
3×	`log1p-expm1-u`
3×	`add-cbrt-cube`
3×	`flip3--`
3×	`pow1`
3×	`expm1-log1p-u`
2×	`associate-/l/`
2×	`div-inv`
2×	`associate-*r/`
2×	`associate-*l/`
2×	`difference-of-sqr-1`
1×	`associate-/l*`
1×	`*-commutative`
1×	`frac-2neg`
1×	`sub-neg`
1×	`clear-num`
1×	`expm1-def`

Calls

3 calls:

Slowest

9.0ms	(* (- (/ (* m (- 1 m)) v) 1) m)
4.0ms	(- (/ (* m (- 1 m)) v) 1)
3.0ms	(/ (* m (- 1 m)) v)

series63.0ms

Calls

3 calls:

Slowest

24.0ms	(* (- (/ (* m (- 1 m)) v) 1) m)
17.0ms	(/ (* m (- 1 m)) v)
12.0ms	(- (/ (* m (- 1 m)) v) 1)

simplify1.8s

Calls

21 calls:

Slowest

294.0ms	(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) m)
171.0ms	(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
152.0ms	(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
151.0ms	(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
146.0ms	(* (cbrt (- (/ (* m (- 1 m)) v) 1)) (cbrt (- (/ (* m (- 1 m)) v) 1)))

prune517.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 2 expressions with local error:

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

rewrite3.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

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

series54.0ms

Calls

2 calls:

Slowest

36.0ms	(* m (fma (- 1 m) (/ m v) -1))
18.0ms	(fma (- 1 m) (/ m v) -1)

simplify738.0ms

Calls

11 calls:

Slowest

172.0ms	(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
161.0ms	(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
138.0ms	(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
72.0ms	(- (/ m v) (+ (/ (pow m 2) v) 1))
70.0ms	(- (/ m v) (+ (/ (pow m 2) v) 1))

prune248.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt`
7×	`add-cube-cbrt`
7×	`add-exp-log`
7×	`*-un-lft-identity`
7×	`associate-/r*`
6×	`associate-/r/`
5×	`fma-neg`
5×	`pow1`
4×	`add-log-exp`
4×	`flip--`
4×	`div-inv`
4×	`log1p-expm1-u`
4×	`associate-*r/`
4×	`associate-l`
4×	`add-cbrt-cube`
4×	`flip3--`
4×	`expm1-log1p-u`
2×	`associate-*l/`
2×	`difference-of-sqr-1`
2×	`frac-2neg`
2×	`clear-num`
2×	`expm1-def`
2×	`rec-exp`
1×	`inv-pow`
1×	`pow-flip`
1×	`*-commutative`
1×	`sub-neg`

Calls

4 calls:

Slowest

12.0ms	(* (- (/ 1 (/ v (* m (- 1 m)))) 1) m)
6.0ms	(- (/ 1 (/ v (* m (- 1 m)))) 1)
2.0ms	(/ 1 (/ v (* m (- 1 m))))
1.0ms	(/ v (* m (- 1 m)))

series81.0ms

Calls

4 calls:

Slowest

31.0ms	(/ 1 (/ v (* m (- 1 m))))
20.0ms	(* (- (/ 1 (/ v (* m (- 1 m)))) 1) m)
17.0ms	(/ v (* m (- 1 m)))
13.0ms	(- (/ 1 (/ v (* m (- 1 m)))) 1)

simplify3.0s

Calls

34 calls:

Slowest

333.0ms	(* (- (pow (/ 1 (/ v (* m (- 1 m)))) 3) (pow 1 3)) m)
278.0ms	(* (cbrt (- (/ 1 (/ v (* m (- 1 m)))) 1)) (cbrt (- (/ 1 (/ v (* m (- 1 m)))) 1)))
264.0ms	(log (/ 1 (/ v (* m (- 1 m)))))
231.0ms	(sqrt (- (/ 1 (/ v (* m (- 1 m)))) 1))
206.0ms	(sqrt (/ 1 (/ v (* m (- 1 m)))))

prune706.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt (fma (- 1 m) (/ m v) -1))
0.3b	(cbrt (fma (- 1 m) (/ m v) -1))
0.3b	(cbrt (- (/ (* m (- 1 m)) v) 1))
0.3b	(* (cbrt (fma (- 1 m) (/ m v) -1)) (cbrt (fma (- 1 m) (/ m v) -1)))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

16×	`cbrt-prod`
12×	`add-sqr-sqrt`
11×	`add-cube-cbrt`
11×	`*-un-lft-identity`
9×	`pow1`
7×	`pow1/3`
6×	`add-exp-log`
6×	`associate-l`
6×	`associate-r`
4×	`add-log-exp`
4×	`log1p-expm1-u`
4×	`add-cbrt-cube`
4×	`expm1-log1p-u`
2×	`pow-prod-up`
2×	`pow-prod-down`
2×	`cbrt-div`
1×	`flip--`
1×	`cbrt-unprod`
1×	`*-commutative`
1×	`prod-exp`
1×	`difference-of-sqr-1`
1×	`flip3--`
1×	`pow-plus`
1×	`pow2`

Calls

4 calls:

Slowest

8.0ms	(* (cbrt (fma (- 1 m) (/ m v) -1)) (cbrt (fma (- 1 m) (/ m v) -1)))
2.0ms	(cbrt (- (/ (* m (- 1 m)) v) 1))
1.0ms	(cbrt (fma (- 1 m) (/ m v) -1))
1.0ms	(cbrt (fma (- 1 m) (/ m v) -1))

series567.0ms

Calls

4 calls:

Slowest

166.0ms	(cbrt (fma (- 1 m) (/ m v) -1))
154.0ms	(cbrt (- (/ (* m (- 1 m)) v) 1))
147.0ms	(cbrt (fma (- 1 m) (/ m v) -1))
101.0ms	(* (cbrt (fma (- 1 m) (/ m v) -1)) (cbrt (fma (- 1 m) (/ m v) -1)))

simplify4.0s

Calls

44 calls:

Slowest

355.0ms	(- (exp (* 1/3 (- (* 2 (log (/ 1 v))) (* 4 (log (/ 1 m)))))) (+ (* 2/3 (/ (exp (* 1/3 (- (* 2 (log (/ 1 v))) (* 4 (log (/ 1 m)))))) m)) (* 1/9 (/ (exp (* 1/3 (- (* 2 (log (/ 1 v))) (* 4 (log (/ 1 m)))))) (pow m 2)))))
345.0ms	(* (fma (- 1 m) (/ m v) -1) (fma (- 1 m) (/ m v) -1))
342.0ms	(- (exp (* 1/3 (- (* 2 (log (/ -1 v))) (* 4 (log (/ -1 m)))))) (+ (* 1/9 (/ (exp (* 1/3 (- (* 2 (log (/ -1 v))) (* 4 (log (/ -1 m)))))) (pow m 2))) (* 2/3 (/ (exp (* 1/3 (- (* 2 (log (/ -1 v))) (* 4 (log (/ -1 m)))))) m))))
331.0ms	(* (fma (- 1 m) (/ m v) -1) (fma (- 1 m) (/ m v) -1))
215.0ms	(cbrt (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)))

prune1.1s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0b

regimes169.0ms

Accuracy

0% (0.2b remaining)

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

bsearch1.0ms

end0.0ms

sample2.0s

Algorithm

intervals

Results

1.2s	13737×	body	80	valid
448.0ms	13737×	pre	80	true