Details

Time bar (total: 9.8m)

sample180.0ms

Algorithm
intervals
Results
46.0ms448×body80valid
27.0ms448×pre80true

simplify940.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize29.0ms

Local error

Found 3 expressions with local error:

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

rewrite517.0ms

Algorithm
rewrite-expression-head
Rules
86×add-sqr-sqrt
58×*-un-lft-identity
51×times-frac
36×associate-*r*
35×add-cube-cbrt
28×associate-*l*
18×difference-of-squares
15×associate-/l*
12×add-cbrt-cube add-exp-log
9×unswap-sqr
8×flip3-- flip--
7×pow1 distribute-lft-out--
6×associate-*r/ *-commutative
4×distribute-rgt-in frac-times sub-neg distribute-lft-in
3×associate-/r* difference-of-sqr-1 prod-exp cbrt-unprod insert-posit16 add-log-exp
2×cbrt-undiv div-exp pow-prod-down associate-*l/ associate-/l/
1×clear-num frac-2neg div-inv
Calls
3 calls:
Slowest
447.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
42.0ms
(/ (* m (- 1 m)) v)
21.0ms
(* m (- 1 m))

series186.0ms

Calls
3 calls:
Slowest
78.0ms
(* m (- 1 m))
55.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
52.0ms
(/ (* m (- 1 m)) v)

simplify12.6s

Calls
176 calls:
Slowest
698.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
575.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (* 1 1) (* m m)))
551.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- 1 m))
382.0ms
(* (+ (/ (* m (- 1 m)) v) 1) (+ 1 m))
339.0ms
(* (+ (/ (* m (- 1 m)) v) 1) (+ (* 1 1) (+ (* m m) (* 1 m))))

prune1.4s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.4s

Algorithm
rewrite-expression-head
Rules
155×add-sqr-sqrt
119×*-un-lft-identity
58×times-frac
48×difference-of-squares
45×associate-*r* add-cube-cbrt
39×associate-*l*
38×frac-times associate-/l*
35×sqrt-prod
26×distribute-lft-out--
19×associate-*r/
18×flip3-+ flip-+
15×add-cbrt-cube add-exp-log
13×pow1
12×associate-/r*
11×unswap-sqr
10×flip3-- flip--
8×associate-/l/
7×distribute-lft-out
6×*-commutative
5×clear-num
4×frac-2neg distribute-rgt-out associate-*l/ prod-exp cbrt-unprod insert-posit16 add-log-exp
3×difference-of-sqr-1 pow-prod-down un-div-inv
2×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in div-exp pow-prod-up div-inv
1×distribute-lft1-in sqrt-pow1 pow1/2 div-sub pow3
Calls
4 calls:
Slowest
2.2s
(* (- (* (+ (* m (sqrt m)) m) (/ (- 1 (sqrt m)) v)) 1) (- 1 m))
145.0ms
(* (+ (* m (sqrt m)) m) (/ (- 1 (sqrt m)) v))
31.0ms
(/ (- 1 (sqrt m)) v)
13.0ms
(* m (sqrt m))

series406.0ms

Calls
4 calls:
Slowest
158.0ms
(* (+ (* m (sqrt m)) m) (/ (- 1 (sqrt m)) v))
121.0ms
(/ (- 1 (sqrt m)) v)
75.0ms
(* (- (* (+ (* m (sqrt m)) m) (/ (- 1 (sqrt m)) v)) 1) (- 1 m))
53.0ms
(* m (sqrt m))

simplify31.3s

Calls
273 calls:
Slowest
768.0ms
(* (- (* (* m (sqrt m)) (* m (sqrt m))) (* m m)) (- (- 1 (sqrt m))))
532.0ms
(* (- (* (* m (sqrt m)) (* m (sqrt m))) (* m m)) (/ (- 1 (sqrt m)) (* (cbrt v) (cbrt v))))
509.0ms
(* (+ (pow (* m (sqrt m)) 3) (pow m 3)) (+ (sqrt 1) (sqrt (sqrt m))))
508.0ms
(* (- (* (* m (sqrt m)) (* m (sqrt m))) (* m m)) (/ (- 1 (sqrt m)) (sqrt v)))
481.0ms
(* (+ (pow (* m (sqrt m)) 3) (pow m 3)) (/ (- 1 (sqrt m)) (* (cbrt v) (cbrt v))))

prune2.8s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite9.4s

Algorithm
rewrite-expression-head
Rules
5261×add-sqr-sqrt
4421×*-un-lft-identity
3016×distribute-lft-out
2361×associate-*r*
2156×times-frac
1910×associate-*l*
1865×unswap-sqr
1636×difference-of-squares
1265×swap-sqr
1138×*-commutative
401×add-cube-cbrt
222×distribute-lft-out--
220×distribute-rgt-out--
119×pow1
50×associate-/l*
43×associate-/r*
36×pow-prod-up
25×add-cbrt-cube pow-prod-down add-exp-log
22×pow-sqr
18×pow-plus
13×pow2
11×prod-exp cbrt-unprod
7×flip3-- flip--
6×distribute-rgt-in distribute-lft-in associate-*r/
4×frac-times +-commutative associate-+r+ insert-posit16 add-log-exp
3×difference-of-sqr-1
2×cbrt-undiv sub-neg flip3-+ div-exp associate-*l/ associate-/r/ flip-+ associate-/l/
1×clear-num frac-2neg div-sub div-inv
Calls
4 calls:
Slowest
8.3s
(* (- (/ (- m (* (* m m) (* m m))) (* v (+ (* 1 1) (+ (* m m) (* 1 m))))) 1) (- 1 m))
564.0ms
(/ (- m (* (* m m) (* m m))) (* v (+ (* 1 1) (+ (* m m) (* 1 m)))))
270.0ms
(* v (+ (* 1 1) (+ (* m m) (* 1 m))))
39.0ms
(* (* m m) (* m m))

series325.0ms

Calls
4 calls:
Slowest
127.0ms
(/ (- m (* (* m m) (* m m))) (* v (+ (* 1 1) (+ (* m m) (* 1 m)))))
97.0ms
(* (- (/ (- m (* (* m m) (* m m))) (* v (+ (* 1 1) (+ (* m m) (* 1 m))))) 1) (- 1 m))
61.0ms
(* v (+ (* 1 1) (+ (* m m) (* 1 m))))
40.0ms
(* (* m m) (* m m))

simplify6.7m

Calls
4673 calls:
Slowest
903.0ms
(/ (- (sqrt m) (* (* m m) (* m (sqrt m)))) (+ 1 (+ (* m m) (* 1 m))))
783.0ms
(/ (- (sqrt m) (* (* (sqrt m) m) (* m m))) (* v (+ (* 1 1) (+ (* m m) (* 1 m)))))
724.0ms
(* (- m) (- (/ (- m (* (* m m) (* m m))) (* v (+ (* 1 1) (+ (* m m) (* 1 m))))) 1))
695.0ms
(/ (- (sqrt m) (* (* (sqrt m) (sqrt m)) (sqrt (* m m)))) (* v (+ (* 1 1) (+ (* m m) (* 1 m)))))
664.0ms
(/ (- m (* (* m m) (* m m))) (+ 1 (+ (* m m) (* 1 m))))

prune26.9s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize15.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ (- m (pow m 4)) (* v (+ (* 1 1) (+ (* m m) (* 1 m)))))
0.1b
(* v (+ (* 1 1) (+ (* m m) (* 1 m))))
0.0b
(* (- (/ (- m (pow m 4)) (* v (+ (* 1 1) (+ (* m m) (* 1 m))))) 1) (- 1 m))
0.0b
(+ (* m m) (* 1 m))

rewrite7.0s

Algorithm
rewrite-expression-head
Rules
838×*-un-lft-identity
531×distribute-lft-out
358×associate-*r*
342×add-sqr-sqrt
307×times-frac
288×associate-*l*
140×difference-of-squares
78×*-commutative add-cube-cbrt
46×distribute-lft-out--
44×unpow-prod-down sqr-pow
43×associate-/r*
37×swap-sqr
22×unswap-sqr
13×add-cbrt-cube add-exp-log
8×pow1 distribute-rgt-out
7×flip3-- flip-- associate-/l*
6×distribute-rgt-in distribute-lft-in associate-*r/ add-log-exp
5×+-commutative
4×frac-times associate-+r+ insert-posit16
3×flip3-+ difference-of-sqr-1 prod-exp cbrt-unprod flip-+
2×cbrt-undiv sub-neg div-exp pow-prod-down associate-*l/ associate-/r/ associate-/l/
1×clear-num sum-log frac-2neg div-sub div-inv
Calls
4 calls:
Slowest
6.3s
(* (- (/ (- m (pow m 4)) (* v (+ (* 1 1) (+ (* m m) (* 1 m))))) 1) (- 1 m))
448.0ms
(/ (- m (pow m 4)) (* v (+ (* 1 1) (+ (* m m) (* 1 m)))))
249.0ms
(* v (+ (* 1 1) (+ (* m m) (* 1 m))))
19.0ms
(+ (* m m) (* 1 m))

series327.0ms

Calls
4 calls:
Slowest
110.0ms
(* (- (/ (- m (pow m 4)) (* v (+ (* 1 1) (+ (* m m) (* 1 m))))) 1) (- 1 m))
110.0ms
(/ (- m (pow m 4)) (* v (+ (* 1 1) (+ (* m m) (* 1 m)))))
57.0ms
(* v (+ (* 1 1) (+ (* m m) (* 1 m))))
50.0ms
(+ (* m m) (* 1 m))

simplify1.3m

Calls
780 calls:
Slowest
712.0ms
(/ (* (* (- m (pow m 4)) (- m (pow m 4))) (- m (pow m 4))) (* (* (* v v) v) (* (* (+ (* 1 1) (+ (* m m) (* 1 m))) (+ (* 1 1) (+ (* m m) (* 1 m)))) (+ (* 1 1) (+ (* m m) (* 1 m))))))
707.0ms
(/ (* (* (- m (pow m 4)) (- m (pow m 4))) (- m (pow m 4))) (* (* (* v (+ (* 1 1) (+ (* m m) (* 1 m)))) (* v (+ (* 1 1) (+ (* m m) (* 1 m))))) (* v (+ (* 1 1) (+ (* m m) (* 1 m))))))
608.0ms
(/ (- (sqrt m) (pow m (/ 4 2))) (+ 1 (+ (* m m) (* 1 m))))
510.0ms
(/ (cbrt (- m (pow m 4))) (* (sqrt v) (sqrt (+ (* 1 1) (+ (* m m) (* 1 m))))))
505.0ms
(/ (- m (pow m 4)) (* (sqrt v) (+ (* 1 1) (+ (* m m) (* 1 m)))))

prune5.8s

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes105.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.9s13665×body80valid
609.0ms13665×pre80true