Details

Time bar (total: 1.1m)

sample144.0ms

Algorithm
intervals
Results
39.0ms429×body80valid
24.0ms429×pre80true

simplify852.0ms

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

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
9×flip3-- flip--
8×*-un-lft-identity add-cube-cbrt
7×add-exp-log
6×pow1 add-cbrt-cube associate-*r* associate-*r/
5×sub-neg
4×distribute-rgt-in expm1-log1p-u frac-times distribute-lft-in fma-neg associate-*l* insert-posit16 log1p-expm1-u add-log-exp
2×difference-of-sqr-1 associate-*l/ *-commutative div-inv associate-/l/
1×expm1-def clear-num frac-2neg pow-prod-down prod-exp cbrt-unprod associate-/l*
Calls
4 calls:
Slowest
25.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
5.0ms
(- (/ (* m (- 1 m)) v) 1)
4.0ms
(/ (* m (- 1 m)) v)
1.0ms
(* m (- 1 m))

series214.0ms

Calls
4 calls:
Slowest
82.0ms
(* m (- 1 m))
54.0ms
(/ (* m (- 1 m)) v)
48.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
30.0ms
(- (/ (* m (- 1 m)) v) 1)

simplify8.3s

Calls
53 calls:
Slowest
848.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
651.0ms
(* (+ (/ (* m (- 1 m)) v) 1) (+ 1 m))
518.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (pow 1 3) (pow m 3)))
487.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (* 1 1) (* m m)))
467.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- 1 m))

prune987.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
9×flip3-- flip--
8×*-un-lft-identity add-cube-cbrt
7×add-exp-log
6×pow1 add-cbrt-cube
4×expm1-log1p-u frac-times sub-neg fma-neg associate-*l* insert-posit16 log1p-expm1-u add-log-exp
3×associate-*r* associate-/l*
2×distribute-rgt-in distribute-lft-in difference-of-sqr-1 div-sub associate-*l/ associate-*r/ div-inv associate-/l/
1×associate--l- expm1-def clear-num frac-2neg pow-prod-down prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
22.0ms
(* (- (/ (- m (* m m)) v) 1) (- 1 m))
13.0ms
(- (/ (- m (* m m)) v) 1)
6.0ms
(/ (- m (* m m)) v)
1.0ms
(- m (* m m))

series185.0ms

Calls
4 calls:
Slowest
59.0ms
(- m (* m m))
51.0ms
(/ (- m (* m m)) v)
47.0ms
(* (- (/ (- m (* m m)) v) 1) (- 1 m))
27.0ms
(- (/ (- m (* m m)) v) 1)

simplify7.7s

Calls
48 calls:
Slowest
974.0ms
(* (* (* (- (/ (- m (* m m)) v) 1) (- (/ (- m (* m m)) v) 1)) (- (/ (- m (* m m)) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
433.0ms
(* (- (pow (/ (- m (* m m)) v) 3) (pow 1 3)) (- (pow 1 3) (pow m 3)))
423.0ms
(- (* m m) (* (* m m) (* m m)))
421.0ms
(* (+ (/ (- m (* m m)) v) 1) (+ (* 1 1) (+ (* m m) (* 1 m))))
393.0ms
(* (- (/ (- m (* m m)) v) 1) (- 1 m))

prune848.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 3 expressions with local error:

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

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
64×flip3-- flip--
52×frac-times
44×associate-*l/
34×frac-sub
19×associate-*r/
13×pow1
10×add-cbrt-cube add-exp-log
7×add-sqr-sqrt *-un-lft-identity associate-*r* add-cube-cbrt
5×add-log-exp
4×sub-neg associate-*l* pow-prod-down prod-exp cbrt-unprod sub-div
3×expm1-log1p-u prod-diff insert-posit16 log1p-expm1-u
2×distribute-rgt-in distribute-lft-in *-commutative associate--r+
1×pow2 pow-plus fma-neg diff-log pow-prod-up div-inv associate--r-
Calls
3 calls:
Slowest
20.0ms
(* (* (- 1 m) (- 1 m)) (/ m v))
16.0ms
(- (* (* (- 1 m) (- 1 m)) (/ m v)) (- 1 m))
5.0ms
(* (- 1 m) (- 1 m))

series113.0ms

Calls
3 calls:
Slowest
48.0ms
(* (* (- 1 m) (- 1 m)) (/ m v))
37.0ms
(- (* (* (- 1 m) (- 1 m)) (/ m v)) (- 1 m))
27.0ms
(* (- 1 m) (- 1 m))

simplify36.7s

Calls
157 calls:
Slowest
1.1s
(* (* (* (+ 1 m) (+ 1 m)) v) (+ (* 1 1) (+ (* m m) (* 1 m))))
826.0ms
(* (* (+ (* 1 1) (+ (* m m) (* 1 m))) (+ 1 m)) (+ 1 m))
745.0ms
(* (* (* (- 1 m) (- 1 m)) (- 1 m)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
689.0ms
(* (* (+ 1 m) (+ (* 1 1) (+ (* m m) (* 1 m)))) (+ 1 m))
673.0ms
(* (* (+ (* 1 1) (+ (* m m) (* 1 m))) v) (+ (* 1 1) (+ (* m m) (* 1 m))))

prune1.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt associate-/r* flip3-- flip--
8×*-un-lft-identity add-cube-cbrt
7×pow1 add-exp-log
6×add-cbrt-cube
5×associate-/r/
4×expm1-log1p-u frac-times associate-*l* insert-posit16 log1p-expm1-u add-log-exp
3×sub-neg associate-*r* div-inv
2×distribute-rgt-in clear-num frac-2neg distribute-lft-in associate-*l/ associate-*r/
1×rec-exp difference-of-sqr-1 pow-prod-down prod-exp *-commutative cbrt-unprod pow-flip inv-pow
Calls
4 calls:
Slowest
13.0ms
(* (- (/ 1 (/ v (- m (* m m)))) 1) (- 1 m))
2.0ms
(/ 1 (/ v (- m (* m m))))
1.0ms
(/ v (- m (* m m)))
0.0ms
(- m (* m m))

series214.0ms

Calls
4 calls:
Slowest
75.0ms
(- m (* m m))
51.0ms
(/ 1 (/ v (- m (* m m))))
50.0ms
(/ v (- m (* m m)))
38.0ms
(* (- (/ 1 (/ v (- m (* m m)))) 1) (- 1 m))

simplify7.1s

Calls
50 calls:
Slowest
542.0ms
(* (- (pow (/ 1 (/ v (- m (* m m)))) 3) (pow 1 3)) (- (pow 1 3) (pow m 3)))
500.0ms
(* (- (pow (/ 1 (/ v (- m (* m m)))) 3) (pow 1 3)) (- (* 1 1) (* m m)))
464.0ms
(* (- (pow (/ 1 (/ v (- m (* m m)))) 3) (pow 1 3)) (- 1 m))
385.0ms
(* (- (/ 1 (/ v (- m (* m m)))) 1) (- 1 m))
374.0ms
(* (+ (/ 1 (/ v (- m (* m m)))) 1) (+ (* 1 1) (+ (* m m) (* 1 m))))

prune630.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

regimes69.0ms

Accuracy

0% (0.2b remaining)

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

bsearch3.0ms

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.0s13734×body80valid
836.0ms13734×pre80true