Details

Time bar (total: 33.0s)

sample230.0ms

Algorithm
intervals
Results
92.0ms424×body80valid
61.0ms424×pre80true

simplify277.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
276.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite47.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
Counts
3 → 75
Calls
3 calls:
Slowest
20.0ms
(* (/ m v) (- m (* m m)))
14.0ms
(- (* (/ m v) (- m (* m m))) m)
11.0ms
(- m (* m m))

series150.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
63.0ms
(* (/ m v) (- m (* m m)))
48.0ms
(- m (* m m))
38.0ms
(- (* (/ m v) (- m (* m m))) m)

simplify4.5s

Counts
54 → 84
Calls
54 calls:
Slowest
333.0ms
(* m (- (pow m 3) (pow (* m m) 3)))
313.0ms
(+ (- (log m) (log v)) (log (- m (* m m))))
292.0ms
(* m (- (* m m) (* (* m m) (* m m))))
289.0ms
(+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m))))
275.0ms
(* (/ (* (* m m) m) (* (* v v) v)) (* (* (- m (* m m)) (- m (* m m))) (- m (* m m))))

prune728.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize21.0ms

Local error

Found 3 expressions with local error:

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

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
26×associate-*r*
20×times-frac
19×*-un-lft-identity add-cube-cbrt
13×add-cbrt-cube add-exp-log
9×associate-*l*
8×add-log-exp
7×pow1
4×prod-exp associate-*r/ cbrt-unprod unswap-sqr
3×insert-posit16
2×cbrt-undiv associate-+r+ sum-log div-exp pow-prod-down frac-add *-commutative div-inv
1×distribute-lft-neg-out distribute-lft-neg-in +-commutative associate-+r- neg-mul-1 sub-neg distribute-rgt-neg-in flip3-+ flip3-- diff-log flip-+ flip--
Counts
3 → 88
Calls
3 calls:
Slowest
47.0ms
(+ (* m (/ m v)) (- (* (- (* m m)) (/ m v)) m))
12.0ms
(* (- (* m m)) (/ m v))
8.0ms
(* m (/ m v))

series145.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
60.0ms
(* (- (* m m)) (/ m v))
49.0ms
(+ (* m (/ m v)) (- (* (- (* m m)) (/ m v)) m))
36.0ms
(* m (/ m v))

simplify4.9s

Counts
67 → 97
Calls
67 calls:
Slowest
603.0ms
(* -1 (/ (pow m 3) v))
419.0ms
(* (* (* m m) m) (/ (* (* m m) m) (* (* v v) v)))
356.0ms
(+ (* (* m m) (+ (* (* (- (* m m)) (/ m v)) (* (- (* m m)) (/ m v))) (+ (* m m) (* (* (- (* m m)) (/ m v)) m)))) (* v (- (pow (* (- (* m m)) (/ m v)) 3) (pow m 3))))
260.0ms
(* (* (* (- (* m m)) (- (* m m))) (- (* m m))) (/ (* (* m m) m) (* (* v v) v)))
245.0ms
(* (* (* m m) m) (* (* (/ m v) (/ m v)) (/ m v)))

prune814.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize22.0ms

Local error

Found 3 expressions with local error:

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

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
15×*-un-lft-identity
12×add-cbrt-cube add-exp-log
10×associate-*l*
9×associate-*r* add-cube-cbrt
7×pow1
4×associate-*r/ difference-of-squares
3×associate-/r* times-frac flip3-- prod-exp cbrt-unprod insert-posit16 flip-- add-log-exp
2×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in div-exp pow-prod-down associate-*l/ *-commutative distribute-lft-out-- unswap-sqr associate-/l/
1×clear-num frac-2neg difference-of-sqr-1 div-inv associate-/l*
Counts
3 → 77
Calls
3 calls:
Slowest
64.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)
29.0ms
(* m (- 1 m))
22.0ms
(/ (* m (- 1 m)) v)

series144.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
62.0ms
(* m (- 1 m))
46.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)
35.0ms
(/ (* m (- 1 m)) v)

simplify4.3s

Counts
56 → 86
Calls
56 calls:
Slowest
520.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) m)
409.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* m m) m))
272.0ms
(* (* (* m m) m) (* (* (- 1 m) (- 1 m)) (- 1 m)))
271.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
201.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))

prune743.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (/ 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))

rewrite163.0ms

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

series259.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
88.0ms
(* m (* (/ 1 v) (- m (* m m))))
67.0ms
(- m (* m m))
59.0ms
(* (/ 1 v) (- m (* m m)))
45.0ms
(- (* m (* (/ 1 v) (- m (* m m)))) m)

simplify11.4s

Counts
90 → 130
Calls
90 calls:
Slowest
874.0ms
(* (* (* (/ 1 v) (/ 1 v)) (/ 1 v)) (* (* (- m (* m m)) (- m (* m m))) (- m (* m m))))
365.0ms
(* m (* (/ 1 v) (- m (* m m))))
364.0ms
(* m (* (/ 1 v) (- (* m m))))
345.0ms
(* m (* (/ 1 v) (- m (* m m))))
339.0ms
(* (* (- (* m m)) (/ 1 v)) m)

prune1.1s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

regimes117.0ms

Accuracy

0% (0.2b remaining)

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

bsearch7.0ms

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.4s13734×body80valid
1.1s13734×pre80true