Details

Time bar (total: 40.7s)

sample128.0ms

Algorithm
intervals
Results
63.0ms413×body80valid
16.0ms413×pre80true

simplify155.0ms

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

prune11.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.3b
(* (/ m v) (- m (* m m)))
0.0b
(- (* (/ m v) (- m (* m m))) m)
0.0b
(- m (* m m))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
6×sub-neg
5×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×distribute-rgt-in distribute-lft-in flip3-- associate-*l* associate--l+ flip--
3×associate-*r* insert-posit16 add-log-exp
2×frac-times associate-*r/
1×pow-prod-down associate-*l/ prod-exp *-commutative cbrt-unprod div-inv
Calls
3 calls:
Slowest
7.0ms
(* (/ m v) (- m (* m m)))
6.0ms
(- (* (/ m v) (- m (* m m))) m)
1.0ms
(- m (* m m))

series69.0ms

Calls
3 calls:
Slowest
33.0ms
(* (/ m v) (- m (* m m)))
20.0ms
(- m (* m m))
16.0ms
(- (* (/ m v) (- m (* m m))) m)

simplify2.5s

Calls
32 calls:
Slowest
334.0ms
(* v (+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m)))))
269.0ms
(* m (- (* m m) (* (* m m) (* m m))))
197.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
187.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
166.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))

prune524.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
18×distribute-rgt-in distribute-lft-in
12×sub-neg
9×associate-*r/
8×associate--l+
6×add-sqr-sqrt pow1 *-un-lft-identity flip3-- add-cbrt-cube add-exp-log add-cube-cbrt flip--
4×frac-times associate-*r* associate-*l* insert-posit16 add-log-exp
2×associate-*l/ *-commutative
1×pow-prod-down prod-exp cbrt-unprod div-inv
Calls
4 calls:
Slowest
19.0ms
(- (* m (* (/ 1 v) (- m (* m m)))) m)
9.0ms
(* m (* (/ 1 v) (- m (* m m))))
5.0ms
(* (/ 1 v) (- m (* m m)))
1.0ms
(- m (* m m))

series114.0ms

Calls
4 calls:
Slowest
39.0ms
(* (/ 1 v) (- m (* m m)))
29.0ms
(- m (* m m))
27.0ms
(* m (* (/ 1 v) (- m (* m m))))
19.0ms
(- (* m (* (/ 1 v) (- m (* m m)))) m)

simplify6.9s

Calls
52 calls:
Slowest
831.0ms
(* (* (* (/ 1 v) (/ 1 v)) (/ 1 v)) (* (* (- m (* m m)) (- m (* m m))) (- m (* m m))))
389.0ms
(* 1 (- (* m m) (* (* m m) (* m m))))
313.0ms
(* (* (- (* m m)) (/ 1 v)) m)
312.0ms
(* v (+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m)))))
311.0ms
(* m (* (- (* m m)) (/ 1 v)))

prune765.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
34×distribute-rgt-in distribute-lft-in
31×associate-*r/
28×sqrt-div
20×frac-times
14×sub-neg associate-*l*
12×sqrt-prod
11×add-sqr-sqrt pow1 add-cbrt-cube add-exp-log
10×*-un-lft-identity flip3-- add-cube-cbrt flip--
7×associate-*l/
5×associate-*r*
4×pow-prod-down prod-exp cbrt-unprod insert-posit16 add-log-exp
3×*-commutative div-inv
1×rem-sqrt-square pow1/2
Calls
4 calls:
Slowest
24.0ms
(* m (* (sqrt (/ 1 v)) (* (sqrt (/ 1 v)) (- m (* m m)))))
21.0ms
(* (sqrt (/ 1 v)) (* (sqrt (/ 1 v)) (- m (* m m))))
6.0ms
(* (sqrt (/ 1 v)) (- m (* m m)))
3.0ms
(sqrt (/ 1 v))

series138.0ms

Calls
4 calls:
Slowest
53.0ms
(* (sqrt (/ 1 v)) (- m (* m m)))
41.0ms
(* m (* (sqrt (/ 1 v)) (* (sqrt (/ 1 v)) (- m (* m m)))))
28.0ms
(* (sqrt (/ 1 v)) (* (sqrt (/ 1 v)) (- m (* m m))))
16.0ms
(sqrt (/ 1 v))

simplify14.6s

Calls
106 calls:
Slowest
768.0ms
(* (* (* (sqrt (/ 1 v)) (sqrt (/ 1 v))) (sqrt (/ 1 v))) (* (* (- m (* m m)) (- m (* m m))) (- m (* m m))))
700.0ms
(* m (* (* (- (* m m)) (sqrt (/ 1 v))) (sqrt (/ 1 v))))
446.0ms
(* (* (sqrt (/ 1 v)) (* (sqrt (/ 1 v)) (- (* m m)))) m)
442.0ms
(* (sqrt 1) (- (* m m) (* (* m m) (* m m))))
429.0ms
(* (* (sqrt (/ 1 v)) (* (sqrt (/ 1 v)) (- (* m m)))) m)

prune1.2s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
18×associate-*r/
17×sqrt-div
12×sqrt-prod
11×add-sqr-sqrt frac-times pow1 add-cbrt-cube associate-*r* add-exp-log
10×distribute-rgt-in *-un-lft-identity distribute-lft-in add-cube-cbrt
8×associate-*l*
6×sub-neg flip3-- flip--
4×pow-prod-down associate-*l/ prod-exp cbrt-unprod insert-posit16 add-log-exp
3×*-commutative div-inv
1×rem-sqrt-square pow1/2
Calls
4 calls:
Slowest
26.0ms
(* (* m (sqrt (/ 1 v))) (* (sqrt (/ 1 v)) (- m (* m m))))
11.0ms
(* (sqrt (/ 1 v)) (- m (* m m)))
3.0ms
(* m (sqrt (/ 1 v)))
1.0ms
(sqrt (/ 1 v))

series116.0ms

Calls
4 calls:
Slowest
38.0ms
(* (* m (sqrt (/ 1 v))) (* (sqrt (/ 1 v)) (- m (* m m))))
35.0ms
(* (sqrt (/ 1 v)) (- m (* m m)))
33.0ms
(* m (sqrt (/ 1 v)))
10.0ms
(sqrt (/ 1 v))

simplify9.4s

Calls
80 calls:
Slowest
821.0ms
(* (* (* (sqrt (/ 1 v)) (sqrt (/ 1 v))) (sqrt (/ 1 v))) (* (* (- m (* m m)) (- m (* m m))) (- m (* m m))))
568.0ms
(* (* m (sqrt 1)) (* (sqrt 1) (- (* m m) (* (* m m) (* m m)))))
460.0ms
(* (sqrt 1) (- (* m m) (* (* m m) (* m m))))
424.0ms
(* (sqrt v) (+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m)))))
396.0ms
(* (sqrt v) (+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m)))))

prune1.1s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes130.0ms

Accuracy

0% (0.2b remaining)

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

bsearch3.0ms

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.8s13582×body80valid
611.0ms13582×pre80true