Details

Time bar (total: 1.6m)

sample131.0ms

Algorithm
intervals
Results
27.0ms451×body80valid
15.0ms451×pre80true

simplify223.0ms

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 4 expressions with local error:

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

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*
Counts
4 → 107
Calls
4 calls:
Slowest
72.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
23.0ms
(- (/ (* m (- 1 m)) v) 1)
19.0ms
(/ (* m (- 1 m)) v)
18.0ms
(* m (- 1 m))

series160.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
47.0ms
(* m (- 1 m))
45.0ms
(/ (* m (- 1 m)) v)
41.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
27.0ms
(- (/ (* m (- 1 m)) v) 1)

simplify9.6s

Counts
84 → 119
Calls
84 calls:
Slowest
733.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
655.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- 1 m))
601.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (* 1 1) (* m m)))
387.0ms
(* (+ (/ (* m (- 1 m)) v) 1) (+ 1 m))
336.0ms
(* (- (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (* 1 1)) (- (pow 1 3) (pow m 3)))

prune1.0s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite158.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
16×add-cbrt-cube add-exp-log
15×*-un-lft-identity
12×add-cube-cbrt
10×associate-*r* associate-*l/
7×flip3-- associate-*l* flip--
6×pow1 associate-/r* times-frac add-log-exp
4×cbrt-undiv div-exp frac-add associate-*r/ insert-posit16 associate-/l/
3×distribute-lft-neg-in distribute-rgt-neg-in prod-exp distribute-rgt-neg-out cbrt-unprod
2×clear-num frac-2neg div-inv associate-/l* difference-of-squares
1×+-commutative neg-mul-1 sum-log flip3-+ difference-of-sqr-1 unsub-neg pow-prod-down *-commutative flip-+ distribute-lft-out distribute-lft-out-- unswap-sqr
Counts
4 → 100
Calls
4 calls:
Slowest
85.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- m))
39.0ms
(+ (* (- (/ (* m (- 1 m)) v) 1) 1) (* (- (/ (* m (- 1 m)) v) 1) (- m)))
18.0ms
(/ (* m (- 1 m)) v)
14.0ms
(/ (* m (- 1 m)) v)

series149.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
48.0ms
(+ (* (- (/ (* m (- 1 m)) v) 1) 1) (* (- (/ (* m (- 1 m)) v) 1) (- m)))
35.0ms
(/ (* m (- 1 m)) v)
34.0ms
(/ (* m (- 1 m)) v)
32.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- m))

simplify9.1s

Counts
73 → 112
Calls
73 calls:
Slowest
679.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* (- m) (- m)) (- m)))
530.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- m))
408.0ms
(+ (* (* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) 1) (+ (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (+ (* 1 1) (* (/ (* m (- 1 m)) v) 1)))) (* (+ (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (+ (* 1 1) (* (/ (* m (- 1 m)) v) 1))) (* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- m))))
391.0ms
(- (+ m (/ (pow m 3) v)) (/ (pow m 2) v))
389.0ms
(+ (* (* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) 1) (+ (/ (* m (- 1 m)) v) 1)) (* (+ (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (+ (* 1 1) (* (/ (* m (- 1 m)) v) 1))) (* (- (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (* 1 1)) (- m))))

prune1.0s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite313.0ms

Algorithm
rewrite-expression-head
Rules
180×times-frac
177×add-sqr-sqrt
143×*-un-lft-identity
82×add-cube-cbrt
46×difference-of-squares
30×associate-/r*
19×distribute-lft-out--
13×add-cbrt-cube associate-*l* add-exp-log
12×flip3-- flip--
11×associate-/r/
6×pow1 difference-of-sqr-1 associate-*r* div-inv associate-/l* add-log-exp
4×frac-times cbrt-undiv div-exp insert-posit16
3×sub-neg
2×distribute-rgt-in clear-num frac-2neg distribute-lft-in associate-*l/ associate-*r/
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 224
Calls
4 calls:
Slowest
247.0ms
(* (- (/ m (/ v (- 1 m))) 1) (- 1 m))
42.0ms
(- (/ m (/ v (- 1 m))) 1)
11.0ms
(/ m (/ v (- 1 m)))
9.0ms
(/ v (- 1 m))

series125.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
47.0ms
(/ m (/ v (- 1 m)))
31.0ms
(* (- (/ m (/ v (- 1 m))) 1) (- 1 m))
28.0ms
(/ v (- 1 m))
18.0ms
(- (/ m (/ v (- 1 m))) 1)

simplify25.3s

Counts
290 → 236
Calls
290 calls:
Slowest
1.0s
(* (- (pow (/ m (/ v (- 1 m))) 3) (pow 1 3)) (- (* 1 1) (* m m)))
636.0ms
(* (- (pow (/ m (/ v (- 1 m))) 3) (pow 1 3)) (- 1 m))
581.0ms
(/ (* (cbrt m) (cbrt m)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (- 1 m)) (cbrt (- 1 m)))))
552.0ms
(/ (* (* m m) m) (* (* (/ v (- 1 m)) (/ v (- 1 m))) (/ v (- 1 m))))
533.0ms
(* (+ (/ m (/ v (- 1 m))) 1) (+ 1 m))

prune2.1s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (* m (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1))
0.1b
(* (- (/ (/ (* m (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1)) v) 1) (- 1 m))
0.0b
(/ (/ (* m (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1)) v)
0.0b
(* m (- (pow 1 3) (pow m 3)))

rewrite861.0ms

Algorithm
rewrite-expression-head
Rules
77×add-sqr-sqrt
67×*-un-lft-identity
53×times-frac
40×associate-*r*
30×difference-of-squares
29×add-cube-cbrt
22×add-cbrt-cube add-exp-log
18×unpow-prod-down cube-prod
13×associate-*l*
11×associate-/l*
10×associate-/r/ sqr-pow
8×pow1 flip3-- flip-- distribute-lft-out--
7×cbrt-undiv associate-/r* div-exp
6×associate-*r/ div-inv distribute-lft-out
5×flip3-+ flip-+
4×distribute-rgt-in frac-times sub-neg distribute-lft-in prod-exp cbrt-unprod insert-posit16 add-log-exp
3×associate-/l/
2×clear-num frac-2neg difference-of-sqr-1 pow-prod-down associate-*l/ *-commutative unswap-sqr
1×cube-mult difference-cubes
Counts
4 → 186
Calls
4 calls:
Slowest
654.0ms
(* (- (/ (/ (* m (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1)) v) 1) (- 1 m))
76.0ms
(/ (/ (* m (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1)) v)
63.0ms
(* m (- (pow 1 3) (pow m 3)))
63.0ms
(/ (* m (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1))

series623.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
240.0ms
(/ (* m (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1))
137.0ms
(* m (- (pow 1 3) (pow m 3)))
135.0ms
(/ (/ (* m (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1)) v)
112.0ms
(* (- (/ (/ (* m (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1)) v) 1) (- 1 m))

simplify38.8s

Counts
192 → 198
Calls
192 calls:
Slowest
1.0s
(/ (/ (* (* (* m m) m) (* (* (- (pow 1 3) (pow m 3)) (- (pow 1 3) (pow m 3))) (- (pow 1 3) (pow m 3)))) (* (* (+ (+ (* m m) m) 1) (+ (+ (* m m) m) 1)) (+ (+ (* m m) m) 1))) (* (* v v) v))
841.0ms
(/ (/ (* (* (* m (- (pow 1 3) (pow m 3))) (* m (- (pow 1 3) (pow m 3)))) (* m (- (pow 1 3) (pow m 3)))) (* (* (+ (+ (* m m) m) 1) (+ (+ (* m m) m) 1)) (+ (+ (* m m) m) 1))) (* (* v v) v))
804.0ms
(* (* (* m m) m) (* (* (- (pow 1 3) (pow m 3)) (- (pow 1 3) (pow m 3))) (- (pow 1 3) (pow m 3))))
635.0ms
(* (cbrt (- (/ (/ (* m (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1)) v) 1)) (cbrt (- (/ (/ (* m (- (pow 1 3) (pow m 3))) (+ (+ (* m m) m) 1)) v) 1)))
577.0ms
(/ (+ (* (+ (* m m) m) (+ (* m m) m)) (- (* 1 1) (* (+ (* m m) m) 1))) (cbrt v))

prune2.2s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes82.0ms

Accuracy

0% (0.1b remaining)

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

bsearch5.0ms

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.3s13724×body80valid
592.0ms13724×pre80true