Details

Time bar (total: 24.9s)

sample190.0ms

Algorithm
intervals
Results
44.0ms413×body80valid
28.0ms413×pre80true

simplify256.0ms

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

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt
5×*-un-lft-identity add-cube-cbrt
4×fma-neg associate-*l* add-exp-log
3×expm1-log1p-u pow1 flip3-- add-cbrt-cube insert-posit16 log1p-expm1-u flip-- add-log-exp
2×difference-of-sqr-1 associate-*l/ associate-*r/ div-inv associate-/l/
1×expm1-def clear-num sub-neg frac-2neg *-commutative associate-/l*
Calls
3 calls:
Slowest
29.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)
6.0ms
(/ (* m (- 1 m)) v)
5.0ms
(- (/ (* m (- 1 m)) v) 1)

series60.0ms

Calls
3 calls:
Slowest
24.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)
18.0ms
(/ (* m (- 1 m)) v)
17.0ms
(- (/ (* m (- 1 m)) v) 1)

simplify2.7s

Calls
21 calls:
Slowest
412.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) m)
248.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
207.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
206.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
167.0ms
(* (cbrt (- (/ (* m (- 1 m)) v) 1)) (cbrt (- (/ (* m (- 1 m)) v) 1)))

prune558.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
8×add-exp-log
5×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube associate-*r/ add-cube-cbrt
4×flip3-- associate-*r* associate-*l* associate-*l/ flip--
3×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
2×frac-times expm1-def prod-exp *-commutative
1×sub-neg fma-neg pow-prod-down un-div-inv cbrt-unprod div-inv
Calls
3 calls:
Slowest
20.0ms
(* (- (* (* m (- 1 m)) (/ 1 v)) 1) m)
8.0ms
(- (* (* m (- 1 m)) (/ 1 v)) 1)
6.0ms
(* (* m (- 1 m)) (/ 1 v))

series58.0ms

Calls
3 calls:
Slowest
28.0ms
(* (- (* (* m (- 1 m)) (/ 1 v)) 1) m)
19.0ms
(* (* m (- 1 m)) (/ 1 v))
10.0ms
(- (* (* m (- 1 m)) (/ 1 v)) 1)

simplify4.5s

Calls
29 calls:
Slowest
913.0ms
(* (- (pow (* (* m (- 1 m)) (/ 1 v)) 3) (pow 1 3)) m)
358.0ms
(* (- (* (* (* m (- 1 m)) (/ 1 v)) (* (* m (- 1 m)) (/ 1 v))) (* 1 1)) m)
317.0ms
(* (* m (- (pow 1 3) (pow m 3))) (/ 1 v))
251.0ms
(* (* m (- (* 1 1) (* m m))) (/ 1 v))
245.0ms
(* (cbrt (- (* (* m (- 1 m)) (/ 1 v)) 1)) (cbrt (- (* (* m (- 1 m)) (/ 1 v)) 1)))

prune504.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
13×times-frac
7×associate-/l*
6×add-cbrt-cube associate-*l* add-exp-log div-inv
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* div-sub associate-/l/
2×clear-num frac-2neg flip3-- difference-of-sqr-1 associate-*l/ associate-/r/ *-commutative flip--
1×pow2 cbrt-undiv flip3-+ pow-plus div-exp pow3 flip-+
Calls
4 calls:
Slowest
26.0ms
(* (- (/ (/ (- m (* (* m m) m)) v) (+ 1 m)) 1) m)
11.0ms
(/ (/ (- m (* (* m m) m)) v) (+ 1 m))
6.0ms
(* (* m m) m)
6.0ms
(/ (- m (* (* m m) m)) v)

series130.0ms

Calls
4 calls:
Slowest
45.0ms
(* (- (/ (/ (- m (* (* m m) m)) v) (+ 1 m)) 1) m)
38.0ms
(/ (- m (* (* m m) m)) v)
30.0ms
(/ (/ (- m (* (* m m) m)) v) (+ 1 m))
17.0ms
(* (* m m) m)

simplify7.5s

Calls
59 calls:
Slowest
725.0ms
(* (- (pow (/ (/ (- m (* (* m m) m)) v) (+ 1 m)) 3) (pow 1 3)) m)
453.0ms
(sqrt (/ (- m (* (* m m) m)) v))
334.0ms
(/ (/ (- m (* (* m m) m)) v) (+ 1 m))
309.0ms
(+ (sqrt (/ (/ (- m (* (* m m) m)) v) (+ 1 m))) 1)
307.0ms
(/ (- m (* (* m m) m)) (* (cbrt (+ 1 m)) (cbrt (+ 1 m))))

prune917.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
7×associate-/r* *-un-lft-identity add-exp-log add-cube-cbrt
6×associate-/r/
5×pow1 fma-neg
4×expm1-log1p-u flip3-- add-cbrt-cube associate-*l* associate-*r/ insert-posit16 log1p-expm1-u div-inv flip-- add-log-exp
2×rec-exp expm1-def clear-num frac-2neg difference-of-sqr-1 associate-*l/
1×sub-neg *-commutative pow-flip inv-pow
Calls
4 calls:
Slowest
20.0ms
(* (- (/ 1 (/ v (* m (- 1 m)))) 1) m)
8.0ms
(- (/ 1 (/ v (* m (- 1 m)))) 1)
2.0ms
(/ 1 (/ v (* m (- 1 m))))
2.0ms
(/ v (* m (- 1 m)))

series93.0ms

Calls
4 calls:
Slowest
31.0ms
(/ 1 (/ v (* m (- 1 m))))
27.0ms
(/ v (* m (- 1 m)))
21.0ms
(* (- (/ 1 (/ v (* m (- 1 m)))) 1) m)
13.0ms
(- (/ 1 (/ v (* m (- 1 m)))) 1)

simplify4.1s

Calls
34 calls:
Slowest
518.0ms
(* (- (pow (/ 1 (/ v (* m (- 1 m)))) 3) (pow 1 3)) m)
270.0ms
(sqrt (- (/ 1 (/ v (* m (- 1 m)))) 1))
253.0ms
(* (cbrt (- (/ 1 (/ v (* m (- 1 m)))) 1)) (cbrt (- (/ 1 (/ v (* m (- 1 m)))) 1)))
246.0ms
(log (/ 1 (/ v (* m (- 1 m)))))
215.0ms
(* (- (* (/ 1 (/ v (* m (- 1 m)))) (/ 1 (/ v (* m (- 1 m))))) (* 1 1)) m)

prune771.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.0b

regimes92.0ms

Accuracy

0% (0.2b remaining)

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

bsearch2.0ms

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.3s13582×body80valid
642.0ms13582×pre80true