Details

Time bar (total: 1.7m)

sample262.0ms

Algorithm
intervals
Results
31.0ms452×body80valid
15.0ms452×pre80true

simplify179.0ms

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

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

rewrite40.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
19.0ms
(* (/ m v) (- m (* m m)))
13.0ms
(- (* (/ m v) (- m (* m m))) m)
4.0ms
(- m (* m m))

series204.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
88.0ms
(* (/ m v) (- m (* m m)))
72.0ms
(- m (* m m))
44.0ms
(- (* (/ m v) (- m (* m m))) m)

simplify13.8s

Counts
96 → 84
Calls
96 calls:
Slowest
635.0ms
(- (pow m 3) (pow (* m m) 3))
583.0ms
(* (* (- m (* m m)) (- m (* m m))) (- m (* m m)))
577.0ms
(+ (* (* (/ m v) (- m (* m m))) (* (/ m v) (- m (* m m)))) (+ (* m m) (* (* (/ m v) (- m (* m m))) m)))
471.0ms
(exp (* (/ m v) (- m (* m m))))
451.0ms
(- (* (* (/ m v) (- m (* m m))) (* (/ m v) (- m (* m m)))) (* m m))

prune632.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
219×times-frac
133×add-sqr-sqrt
124×*-un-lft-identity add-cube-cbrt
44×associate-*l*
26×associate-/r*
23×add-cbrt-cube add-exp-log
14×div-inv
9×cbrt-undiv div-exp
6×pow1 associate-/l* add-log-exp
4×associate-/r/ insert-posit16
3×associate-*r* associate-*l/ prod-exp cbrt-unprod unswap-sqr
2×clear-num frac-2neg
1×sub-neg flip3-- distribute-rgt-out-- diff-log pow-prod-down *-commutative frac-sub flip-- sub-div
Counts
4 → 225
Calls
4 calls:
Slowest
26.0ms
(* (/ m (/ v m)) m)
18.0ms
(- (/ m (/ v m)) (* (/ m (/ v m)) m))
7.0ms
(/ m (/ v m))
6.0ms
(/ m (/ v m))

series137.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
57.0ms
(- (/ m (/ v m)) (* (/ m (/ v m)) m))
30.0ms
(/ m (/ v m))
26.0ms
(/ m (/ v m))
23.0ms
(* (/ m (/ v m)) m)

simplify18.3s

Counts
322 → 237
Calls
322 calls:
Slowest
626.0ms
(* (* (/ m (/ v m)) (/ m (/ v m))) (/ m (/ v m)))
563.0ms
(* (* (* (/ m (/ v m)) (/ m (/ v m))) (/ m (/ v m))) (* (* m m) m))
554.0ms
(* (* (/ m (/ v m)) (/ m (/ v m))) (/ m (/ v m)))
436.0ms
(/ (* (* m m) m) (/ (* (* v v) v) (* (* m m) m)))
431.0ms
(/ (* (* m m) m) (/ (* (* v v) v) (* (* m m) m)))

prune2.1s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize38.0ms

Local error

Found 4 expressions with local error:

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

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
85×times-frac
60×add-sqr-sqrt
55×*-un-lft-identity add-cube-cbrt
23×add-cbrt-cube add-exp-log
16×associate-*r*
13×associate-/r*
11×pow1
7×prod-exp cbrt-unprod
6×div-inv add-log-exp
5×cbrt-undiv div-exp
4×associate-*l* pow-prod-down insert-posit16
3×associate-*r/ associate-/l*
2×associate-*l/ associate-/r/ *-commutative unswap-sqr
1×clear-num sub-neg frac-2neg flip3-- distribute-rgt-out-- diff-log frac-sub flip--
Counts
4 → 141
Calls
4 calls:
Slowest
26.0ms
(- (/ m (/ v m)) (* (* m (/ m v)) m))
23.0ms
(* (* m (/ m v)) m)
12.0ms
(/ m (/ v m))
10.0ms
(* m (/ m v))

series132.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
48.0ms
(- (/ m (/ v m)) (* (* m (/ m v)) m))
33.0ms
(* m (/ m v))
28.0ms
(* (* m (/ m v)) m)
22.0ms
(/ m (/ v m))

simplify14.1s

Counts
196 → 153
Calls
196 calls:
Slowest
671.0ms
(/ (exp (/ m (/ v m))) (exp (* (* m (/ m v)) m)))
535.0ms
(* (* (/ m (/ v m)) (/ m (/ v m))) (/ m (/ v m)))
517.0ms
(* (* (* m (/ m v)) (* m (/ m v))) (* m (/ m v)))
499.0ms
(+ (* (/ m (/ v m)) (/ m (/ v m))) (+ (* (* (* m (/ m v)) m) (* (* m (/ m v)) m)) (* (/ m (/ v m)) (* (* m (/ m v)) m))))
485.0ms
(- (* m v) (* (/ v m) (* (* m m) m)))

prune1.3s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize44.0ms

Local error

Found 4 expressions with local error:

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

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
565×times-frac
287×add-sqr-sqrt
278×*-un-lft-identity add-cube-cbrt
44×associate-*l*
40×add-exp-log
38×div-inv
30×add-cbrt-cube
26×associate-/r*
22×div-exp
16×associate-/l*
14×cbrt-undiv
6×pow1 add-log-exp
4×associate-/r/ insert-posit16
3×associate-*r* prod-exp cbrt-unprod unswap-sqr
2×rec-exp clear-num frac-2neg 1-exp associate-*l/
1×sub-neg flip3-- distribute-rgt-out-- diff-log pow-prod-down *-commutative frac-sub flip-- associate-/l/
Counts
4 → 373
Calls
4 calls:
Slowest
44.0ms
(- (/ (/ m v) (/ 1 m)) (* (/ m (/ v m)) m))
14.0ms
(* (/ m (/ v m)) m)
13.0ms
(/ (/ m v) (/ 1 m))
10.0ms
(/ m (/ v m))

series181.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
67.0ms
(- (/ (/ m v) (/ 1 m)) (* (/ m (/ v m)) m))
43.0ms
(/ (/ m v) (/ 1 m))
38.0ms
(* (/ m (/ v m)) m)
33.0ms
(/ m (/ v m))

simplify43.7s

Counts
600 → 385
Calls
600 calls:
Slowest
1.0s
(/ (* (* (/ m v) (/ m v)) (/ m v)) (/ (* (* 1 1) 1) (* (* m m) m)))
616.0ms
(* (* (/ m (/ v m)) (/ m (/ v m))) (/ m (/ v m)))
553.0ms
(- (* (/ (/ m v) (/ 1 m)) (/ (/ m v) (/ 1 m))) (* (* (/ m (/ v m)) m) (* (/ m (/ v m)) m)))
543.0ms
(/ (/ (sqrt m) (* (cbrt v) (cbrt v))) (/ 1 (* (cbrt m) (cbrt m))))
534.0ms
(/ (* (* (/ m v) (/ m v)) (/ m v)) (* (* (/ 1 m) (/ 1 m)) (/ 1 m)))

prune3.8s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes88.0ms

Accuracy

0% (0.1b remaining)

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

bsearch2.0ms

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.2s13869×body80valid
552.0ms13869×pre80true