Details

Time bar (total: 1.2m)

sample223.0ms

Algorithm
intervals
Results
56.0ms431×body80valid
31.0ms431×pre80true

simplify753.0ms

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
22×*-un-lft-identity
13×add-cbrt-cube add-exp-log
12×associate-*r*
10×associate-*l* add-cube-cbrt
9×flip3-- flip--
8×pow1 difference-of-squares
6×associate-*r/ add-log-exp
5×sub-neg
4×distribute-rgt-in frac-times distribute-lft-in insert-posit16 distribute-lft-out--
3×associate-/r* times-frac prod-exp cbrt-unprod
2×cbrt-undiv 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
64.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
29.0ms
(* m (- 1 m))
22.0ms
(- (/ (* m (- 1 m)) v) 1)
15.0ms
(/ (* m (- 1 m)) v)

series248.0ms

Calls
4 calls:
Slowest
79.0ms
(* m (- 1 m))
74.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
59.0ms
(/ (* m (- 1 m)) v)
35.0ms
(- (/ (* m (- 1 m)) v) 1)

simplify9.9s

Calls
84 calls:
Slowest
695.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
652.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (* 1 1) (* m m)))
612.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- 1 m))
429.0ms
(* (+ (/ (* m (- 1 m)) v) 1) (+ 1 m))
335.0ms
(* (- (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (* 1 1)) (- (pow 1 3) (pow m 3)))

prune1.1s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

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

rewrite213.0ms

Algorithm
rewrite-expression-head
Rules
32×frac-times
27×add-sqr-sqrt
23×*-un-lft-identity flip3-- flip--
16×add-cbrt-cube associate-*l/ add-exp-log
14×associate-*r*
12×flip3-+ associate-*r/ flip-+
11×pow1
9×add-cube-cbrt
8×associate-*l* difference-of-squares
6×add-log-exp
5×prod-exp cbrt-unprod
4×pow-prod-down sqrt-prod insert-posit16 distribute-lft-out--
3×distribute-rgt-in associate-/r* sub-neg distribute-lft-in times-frac
2×cbrt-undiv difference-of-sqr-1 div-exp *-commutative distribute-lft-out associate-/l/
1×clear-num frac-2neg diff-log div-inv associate-/l* unswap-sqr
Calls
4 calls:
Slowest
112.0ms
(* (* (- (/ (* m (- 1 m)) v) 1) (+ 1 (sqrt m))) (- 1 (sqrt m)))
65.0ms
(* (- (/ (* m (- 1 m)) v) 1) (+ 1 (sqrt m)))
20.0ms
(/ (* m (- 1 m)) v)
13.0ms
(- (/ (* m (- 1 m)) v) 1)

series268.0ms

Calls
4 calls:
Slowest
103.0ms
(* (* (- (/ (* m (- 1 m)) v) 1) (+ 1 (sqrt m))) (- 1 (sqrt m)))
100.0ms
(* (- (/ (* m (- 1 m)) v) 1) (+ 1 (sqrt m)))
36.0ms
(/ (* m (- 1 m)) v)
29.0ms
(- (/ (* m (- 1 m)) v) 1)

simplify23.7s

Calls
124 calls:
Slowest
722.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (+ 1 (sqrt m)))
696.0ms
(* (* (- (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (* 1 1)) (+ 1 (sqrt m))) (- (pow 1 3) (pow (sqrt m) 3)))
695.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (* 1 1) (* (sqrt m) (sqrt m))))
576.0ms
(* (* (+ (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (+ (* 1 1) (* (/ (* m (- 1 m)) v) 1))) (+ (* 1 1) (- (* (sqrt m) (sqrt m)) (* 1 (sqrt m))))) (+ (* 1 1) (+ (* (sqrt m) (sqrt m)) (* 1 (sqrt m)))))
556.0ms
(* (+ (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (+ (* 1 1) (* (/ (* m (- 1 m)) v) 1))) (- 1 (sqrt m)))

prune1.4s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite118.0ms

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

series148.0ms

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

simplify11.7s

Calls
122 calls:
Slowest
897.0ms
(* (- (pow (* m (/ (- 1 m) v)) 3) (pow 1 3)) (- (* 1 1) (* m m)))
890.0ms
(* (* (* m m) m) (* (* (/ (- 1 m) v) (/ (- 1 m) v)) (/ (- 1 m) v)))
870.0ms
(* (- (pow (* m (/ (- 1 m) v)) 3) (pow 1 3)) (- 1 m))
721.0ms
(* (* (* (- (* m (/ (- 1 m) v)) 1) (- (* m (/ (- 1 m) v)) 1)) (- (* m (/ (- 1 m) v)) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
587.0ms
(* (+ (* m (/ (- 1 m) v)) 1) (+ 1 m))

prune1.2s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite258.0ms

Algorithm
rewrite-expression-head
Rules
61×add-sqr-sqrt
54×times-frac
47×*-un-lft-identity
32×add-exp-log
26×add-cube-cbrt
20×add-cbrt-cube
14×div-exp associate-*l* difference-of-squares
12×flip3-- associate-*r/ flip--
11×associate-/r/
10×associate-/r*
8×div-inv
7×pow1 cbrt-undiv
6×difference-of-sqr-1 associate-*r* associate-/l* add-log-exp
5×prod-exp distribute-lft-out--
4×frac-times insert-posit16
3×rec-exp sub-neg 1-exp cbrt-unprod
2×distribute-rgt-in clear-num frac-2neg distribute-lft-in associate-*l/
1×diff-log pow-prod-down *-commutative pow-flip inv-pow unswap-sqr
Calls
4 calls:
Slowest
155.0ms
(* (- (/ 1 (/ v (* m (- 1 m)))) 1) (- 1 m))
55.0ms
(- (/ 1 (/ v (* m (- 1 m)))) 1)
36.0ms
(/ 1 (/ v (* m (- 1 m))))
9.0ms
(/ v (* m (- 1 m)))

series182.0ms

Calls
4 calls:
Slowest
55.0ms
(/ 1 (/ v (* m (- 1 m))))
52.0ms
(* (- (/ 1 (/ v (* m (- 1 m)))) 1) (- 1 m))
39.0ms
(/ v (* m (- 1 m)))
36.0ms
(- (/ 1 (/ v (* m (- 1 m)))) 1)

simplify18.5s

Calls
159 calls:
Slowest
827.0ms
(* (- (pow (/ 1 (/ v (* m (- 1 m)))) 3) (pow 1 3)) (- 1 m))
592.0ms
(sqrt (- (/ 1 (/ v (* m (- 1 m)))) 1))
533.0ms
(/ 1 (/ v (* m (- (pow 1 3) (pow m 3)))))
512.0ms
(* (- (/ 1 (/ v (* m (- 1 m)))) 1) (- 1 m))
509.0ms
(* (- (* (/ 1 (/ v (* m (- 1 m)))) (/ 1 (/ v (* m (- 1 m))))) (* 1 1)) (- (pow 1 3) (pow m 3)))

prune1.3s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes133.0ms

Accuracy

0% (0.1b remaining)

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

bsearch1.0ms

end0.0ms

sample2.3s

Algorithm
intervals
Results
1.4s13657×body80valid
600.0ms13657×pre80true