Details

Time bar (total: 28.7s)

sample229.0ms

Algorithm
intervals
Results
86.0ms431×body80valid
56.0ms431×pre80true

simplify257.0ms

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

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 4 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)
0.0b
(* m (- 1 m))

rewrite170.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
19×*-un-lft-identity
13×add-cbrt-cube add-exp-log
10×associate-*l* add-cube-cbrt
9×associate-*r*
8×pow1
6×add-log-exp difference-of-squares
4×flip3-- associate-*r/ insert-posit16 flip--
3×associate-/r* sub-neg times-frac prod-exp cbrt-unprod distribute-lft-out--
2×distribute-rgt-in cbrt-undiv distribute-lft-in difference-of-sqr-1 div-exp pow-prod-down associate-*l/ *-commutative unswap-sqr associate-/l/
1×clear-num frac-2neg diff-log div-inv associate-/l*
Calls
4 calls:
Slowest
87.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)
27.0ms
(* m (- 1 m))
26.0ms
(- (/ (* m (- 1 m)) v) 1)
26.0ms
(/ (* m (- 1 m)) v)

series209.0ms

Calls
4 calls:
Slowest
65.0ms
(* m (- 1 m))
58.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)
55.0ms
(/ (* m (- 1 m)) v)
30.0ms
(- (/ (* m (- 1 m)) v) 1)

simplify5.6s

Calls
66 calls:
Slowest
471.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) m)
377.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* m m) m))
285.0ms
(* (* (* m m) m) (* (* (- 1 m) (- 1 m)) (- 1 m)))
270.0ms
(/ (exp (/ (* m (- 1 m)) v)) (exp 1))
258.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))

prune834.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 3 expressions with local error:

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

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
13×*-un-lft-identity associate-*l*
11×add-cube-cbrt
10×times-frac
8×add-cbrt-cube add-exp-log
7×add-log-exp
6×sub-neg
5×pow1 associate-*r*
4×distribute-rgt-in distribute-lft-in flip3-- associate--l+ flip--
3×insert-posit16
2×frac-times distribute-rgt-out-- diff-log prod-exp associate-*r/ cbrt-unprod difference-of-squares unswap-sqr
1×cbrt-undiv div-exp pow-prod-down associate-*l/ *-commutative div-inv
Calls
3 calls:
Slowest
32.0ms
(* (/ m v) (- m (* m m)))
15.0ms
(- (* (/ m v) (- m (* m m))) m)
4.0ms
(- m (* m m))

series172.0ms

Calls
3 calls:
Slowest
77.0ms
(- m (* m m))
62.0ms
(* (/ m v) (- m (* m m)))
33.0ms
(- (* (/ m v) (- m (* m m))) m)

simplify4.0s

Calls
54 calls:
Slowest
301.0ms
(* m (- (pow m 3) (pow (* m m) 3)))
249.0ms
(* m (- (* m m) (* (* m m) (* m m))))
225.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
213.0ms
(- (/ (pow m 2) v) (/ (pow m 3) v))
213.0ms
(* v (+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m)))))

prune674.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
26×associate-*l*
20×*-un-lft-identity times-frac add-cube-cbrt
14×add-cbrt-cube add-exp-log
11×add-log-exp
9×associate-*r*
8×pow1
4×associate-*l/ prod-exp cbrt-unprod insert-posit16 unswap-sqr
2×cbrt-undiv associate-+r+ sum-log sub-neg flip3-- diff-log div-exp pow-prod-down frac-add *-commutative div-inv flip--
1×distribute-lft-neg-in +-commutative associate-+r- neg-mul-1 distribute-rgt-neg-in flip3-+ distribute-rgt-neg-out flip-+
Calls
4 calls:
Slowest
46.0ms
(+ (* (/ m v) m) (- (* (/ m v) (- (* m m))) m))
20.0ms
(* (/ m v) (- (* m m)))
18.0ms
(- (* (/ m v) (- (* m m))) m)
9.0ms
(* (/ m v) m)

series163.0ms

Calls
4 calls:
Slowest
49.0ms
(+ (* (/ m v) m) (- (* (/ m v) (- (* m m))) m))
47.0ms
(- (* (/ m v) (- (* m m))) m)
40.0ms
(* (/ m v) (- (* m m)))
27.0ms
(* (/ m v) m)

simplify7.3s

Calls
70 calls:
Slowest
862.0ms
(- (+ m (/ (pow m 3) v)))
634.0ms
(- (+ m (/ (pow m 3) v)))
482.0ms
(* (/ (* (* m m) m) (* (* v v) v)) (* (* m m) m))
475.0ms
(- (+ m (/ (pow m 3) v)))
473.0ms
(+ (* (* m m) (+ (* (* (/ m v) (- (* m m))) (* (/ m v) (- (* m m)))) (+ (* m m) (* (* (/ m v) (- (* m m))) m)))) (* v (- (pow (* (/ m v) (- (* m m))) 3) (pow m 3))))

prune998.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize44.0ms

Local error

Found 4 expressions with local error:

9.9b
(sqrt (* (/ m v) m))
9.9b
(sqrt (* (/ m v) m))
2.6b
(* (/ m v) (- (* m m)))
0.3b
(* (sqrt (* (/ m v) m)) (sqrt (* (/ m v) m)))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
61×pow1
32×sqrt-pow1
23×add-sqr-sqrt pow-prod-down
17×associate-*l*
16×*-un-lft-identity add-cube-cbrt
12×pow1/2
11×add-cbrt-cube add-exp-log
10×times-frac associate-*r* pow-prod-up
8×associate-*l/
6×sqrt-div pow-sqr sqrt-prod
4×swap-sqr insert-posit16 add-log-exp
3×prod-exp cbrt-unprod unswap-sqr
2×*-commutative
1×pow2 distribute-lft-neg-in frac-times cbrt-undiv neg-mul-1 rem-square-sqrt distribute-rgt-neg-in pow-plus sqrt-unprod div-exp associate-*r/ distribute-rgt-neg-out div-inv
Calls
4 calls:
Slowest
49.0ms
(* (sqrt (* (/ m v) m)) (sqrt (* (/ m v) m)))
19.0ms
(* (/ m v) (- (* m m)))
9.0ms
(sqrt (* (/ m v) m))
8.0ms
(sqrt (* (/ m v) m))

series245.0ms

Calls
4 calls:
Slowest
80.0ms
(sqrt (* (/ m v) m))
56.0ms
(* (/ m v) (- (* m m)))
55.0ms
(sqrt (* (/ m v) m))
54.0ms
(* (sqrt (* (/ m v) m)) (sqrt (* (/ m v) m)))

simplify4.0s

Calls
114 calls:
Slowest
286.0ms
(* (* (* (sqrt (* (/ m v) m)) (sqrt (* (/ m v) m))) (sqrt (* (/ m v) m))) (* (* (sqrt (* (/ m v) m)) (sqrt (* (/ m v) m))) (sqrt (* (/ m v) m))))
261.0ms
(* (/ (* (* m m) m) (* (* v v) v)) (* (* (- (* m m)) (- (* m m))) (- (* m m))))
213.0ms
(* -1 (/ (pow m 3) v))
213.0ms
(* (* (* (/ m v) (/ m v)) (/ m v)) (* (* (- (* m m)) (- (* m m))) (- (* m m))))
196.0ms
(* -1 (/ (pow m 3) v))

prune1.2s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

regimes126.0ms

Accuracy

0% (0.2b remaining)

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

bsearch8.0ms

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.3s13657×body80valid
660.0ms13657×pre80true