Details

Time bar (total: 7.0m)

sample272.0ms

Algorithm
intervals
Results
118.0ms430×pre80true
68.0ms430×body80valid

simplify390.0ms

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

prune30.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize32.0ms

Local error

Found 3 expressions with local error:

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

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
126×add-sqr-sqrt
118×*-un-lft-identity
117×prod-diff
114×add-cube-cbrt
92×times-frac
41×distribute-rgt-in distribute-lft-in
13×fma-neg
10×div-inv
6×associate-*r*
5×pow1 add-cbrt-cube add-exp-log add-log-exp
4×difference-of-squares
3×expm1-log1p-u sub-neg associate-*l* insert-posit16 log1p-expm1-u
2×flip3-- associate-*r/ fma-udef flip-- distribute-lft-out--
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod associate--r+ unswap-sqr
Counts
3 → 190
Calls
3 calls:
Slowest
67.0ms
(* m (- (/ m v) (fma m (/ m v) 1)))
23.0ms
(- (/ m v) (fma m (/ m v) 1))
0.0ms
(fma m (/ m v) 1)

series94.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
46.0ms
(* m (- (/ m v) (fma m (/ m v) 1)))
24.0ms
(fma m (/ m v) 1)
23.0ms
(- (/ m v) (fma m (/ m v) 1))

simplify46.9s

Counts
201 → 199
Calls
201 calls:
Slowest
737.0ms
(* (* (* m m) m) (* (* (- (/ m v) (fma m (/ m v) 1)) (- (/ m v) (fma m (/ m v) 1))) (- (/ m v) (fma m (/ m v) 1))))
708.0ms
(* m (fma (- (sqrt (fma m (/ m v) 1))) (sqrt (fma m (/ m v) 1)) (* (sqrt (fma m (/ m v) 1)) (sqrt (fma m (/ m v) 1)))))
693.0ms
(fma (/ 1 (sqrt v)) (/ m (sqrt v)) (- (* (cbrt (fma m (/ m v) 1)) (* (cbrt (fma m (/ m v) 1)) (cbrt (fma m (/ m v) 1))))))
583.0ms
(+ (* (/ m v) (/ m v)) (+ (* (fma m (/ m v) 1) (fma m (/ m v) 1)) (* (/ m v) (fma m (/ m v) 1))))
496.0ms
(* (fma (- (fma m (/ m v) 1)) 1 (* (fma m (/ m v) 1) 1)) m)

prune1.8s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0b

localize26.0ms

Local error

Found 3 expressions with local error:

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

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
126×add-sqr-sqrt
118×*-un-lft-identity
117×prod-diff
114×add-cube-cbrt
92×times-frac
41×distribute-rgt-in distribute-lft-in
13×fma-neg
10×div-inv
6×associate-*r*
5×pow1 add-cbrt-cube add-exp-log add-log-exp
4×difference-of-squares
3×expm1-log1p-u sub-neg associate-*l* insert-posit16 log1p-expm1-u
2×flip3-- associate-*r/ fma-udef flip-- distribute-lft-out--
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod associate--r+ unswap-sqr
Counts
3 → 190
Calls
3 calls:
Slowest
48.0ms
(* m (- (/ m v) (fma m (/ m v) 1)))
12.0ms
(- (/ m v) (fma m (/ m v) 1))
0.0ms
(fma m (/ m v) 1)

series119.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
57.0ms
(* m (- (/ m v) (fma m (/ m v) 1)))
39.0ms
(fma m (/ m v) 1)
23.0ms
(- (/ m v) (fma m (/ m v) 1))

simplify46.3s

Counts
201 → 199
Calls
201 calls:
Slowest
791.0ms
(* (fma (- (fma m (/ m v) 1)) 1 (* (fma m (/ m v) 1) 1)) m)
756.0ms
(* (* (* m m) m) (* (* (- (/ m v) (fma m (/ m v) 1)) (- (/ m v) (fma m (/ m v) 1))) (- (/ m v) (fma m (/ m v) 1))))
612.0ms
(+ (* (/ m v) (/ m v)) (+ (* (fma m (/ m v) 1) (fma m (/ m v) 1)) (* (/ m v) (fma m (/ m v) 1))))
568.0ms
(fma (/ (* (cbrt m) (cbrt m)) (* (cbrt v) (cbrt v))) (/ (cbrt m) (cbrt v)) (- (* (fma m (/ m v) 1) 1)))
476.0ms
(* (fma (- (fma m (/ m v) 1)) 1 (* (fma m (/ m v) 1) 1)) m)

prune1.9s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0b

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite239.0ms

Algorithm
rewrite-expression-head
Rules
289×sqrt-prod
203×add-sqr-sqrt
192×prod-diff
189×*-un-lft-identity
181×add-cube-cbrt
130×times-frac
99×distribute-rgt-in distribute-lft-in
16×associate-*r*
14×div-inv
13×pow1
11×add-cbrt-cube add-exp-log
10×associate-*r/
6×difference-of-squares
4×expm1-log1p-u frac-times rem-sqrt-square flip3-+ associate-*l* pow-prod-down prod-exp cbrt-unprod flip-+ insert-posit16 log1p-expm1-u add-log-exp
3×flip3-- flip--
2×sub-neg sqrt-pow1 pow1/2 sqrt-div associate-*l/ *-commutative distribute-lft-out distribute-lft-out--
1×unswap-sqr
Counts
4 → 316
Calls
4 calls:
Slowest
152.0ms
(* (* m (+ (sqrt (/ m v)) (sqrt (fma m (/ m v) 1)))) (- (sqrt (/ m v)) (sqrt (fma m (/ m v) 1))))
62.0ms
(* m (+ (sqrt (/ m v)) (sqrt (fma m (/ m v) 1))))
5.0ms
(sqrt (/ m v))
4.0ms
(sqrt (/ m v))

series439.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
200.0ms
(* (* m (+ (sqrt (/ m v)) (sqrt (fma m (/ m v) 1)))) (- (sqrt (/ m v)) (sqrt (fma m (/ m v) 1))))
123.0ms
(* m (+ (sqrt (/ m v)) (sqrt (fma m (/ m v) 1))))
64.0ms
(sqrt (/ m v))
51.0ms
(sqrt (/ m v))

simplify1.3m

Counts
287 → 328
Calls
287 calls:
Slowest
903.0ms
(* (* m (- (* (sqrt (/ m v)) (sqrt (/ m v))) (* (sqrt (fma m (/ m v) 1)) (sqrt (fma m (/ m v) 1))))) (- (* (sqrt (/ m v)) (sqrt (/ m v))) (* (sqrt (fma m (/ m v) 1)) (sqrt (fma m (/ m v) 1)))))
873.0ms
(* (* (* (* m m) m) (* (* (+ (sqrt (/ m v)) (sqrt (fma m (/ m v) 1))) (+ (sqrt (/ m v)) (sqrt (fma m (/ m v) 1)))) (+ (sqrt (/ m v)) (sqrt (fma m (/ m v) 1))))) (* (* (- (sqrt (/ m v)) (sqrt (fma m (/ m v) 1))) (- (sqrt (/ m v)) (sqrt (fma m (/ m v) 1)))) (- (sqrt (/ m v)) (sqrt (fma m (/ m v) 1)))))
747.0ms
(* (* m (+ (pow (sqrt (/ m v)) 3) (pow (sqrt (fma m (/ m v) 1)) 3))) (- (sqrt (/ m v)) (sqrt (fma m (/ m v) 1))))
663.0ms
(* (* m (+ (sqrt (/ m v)) (sqrt (fma m (/ m v) 1)))) (fma (- (cbrt (sqrt (fma m (/ m v) 1)))) (* (cbrt (sqrt (fma m (/ m v) 1))) (cbrt (sqrt (fma m (/ m v) 1)))) (* (cbrt (sqrt (fma m (/ m v) 1))) (* (cbrt (sqrt (fma m (/ m v) 1))) (cbrt (sqrt (fma m (/ m v) 1)))))))
660.0ms
(* (fma (- (cbrt (sqrt (fma m (/ m v) 1)))) (* (cbrt (sqrt (fma m (/ m v) 1))) (cbrt (sqrt (fma m (/ m v) 1)))) (* (cbrt (sqrt (fma m (/ m v) 1))) (* (cbrt (sqrt (fma m (/ m v) 1))) (cbrt (sqrt (fma m (/ m v) 1)))))) (* m (+ (sqrt (/ m v)) (sqrt (fma m (/ m v) 1)))))

prune4.7s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite250.0ms

Algorithm
rewrite-expression-head
Rules
793×sqrt-prod
576×prod-diff
523×add-sqr-sqrt
509×*-un-lft-identity
501×add-cube-cbrt
490×distribute-rgt-in distribute-lft-in
346×times-frac
38×div-inv
13×pow1
12×associate-*r* associate-*r/
11×add-cbrt-cube add-exp-log
8×frac-times associate-*l*
6×sub-neg flip3-+ flip3-- flip-+ flip-- difference-of-squares
4×expm1-log1p-u rem-sqrt-square pow-prod-down associate-*l/ prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
2×sqrt-pow1 pow1/2 sqrt-div *-commutative distribute-lft-out distribute-lft-out--
1×unswap-sqr
Counts
4 → 712
Calls
4 calls:
Slowest
111.0ms
(* (+ (sqrt (/ m v)) (sqrt (fma m (/ m v) 1))) (- (sqrt (/ m v)) (sqrt (fma m (/ m v) 1))))
100.0ms
(* m (* (+ (sqrt (/ m v)) (sqrt (fma m (/ m v) 1))) (- (sqrt (/ m v)) (sqrt (fma m (/ m v) 1)))))
2.0ms
(sqrt (/ m v))
2.0ms
(sqrt (/ m v))

series537.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
214.0ms
(* m (* (+ (sqrt (/ m v)) (sqrt (fma m (/ m v) 1))) (- (sqrt (/ m v)) (sqrt (fma m (/ m v) 1)))))
187.0ms
(* (+ (sqrt (/ m v)) (sqrt (fma m (/ m v) 1))) (- (sqrt (/ m v)) (sqrt (fma m (/ m v) 1))))
73.0ms
(sqrt (/ m v))
63.0ms
(sqrt (/ m v))

simplify3.7m

Counts
682 → 724
Calls
682 calls:
Slowest
1.0s
(* (fma (- (sqrt (sqrt (fma m (/ m v) 1)))) (sqrt (sqrt (fma m (/ m v) 1))) (* (sqrt (sqrt (fma m (/ m v) 1))) (sqrt (sqrt (fma m (/ m v) 1))))) (+ (sqrt (/ m v)) (sqrt (fma m (/ m v) 1))))
986.0ms
(* m (* (+ (sqrt (/ m v)) (sqrt (fma m (/ m v) 1))) (fma (- (cbrt (sqrt (fma m (/ m v) 1)))) (* (cbrt (sqrt (fma m (/ m v) 1))) (cbrt (sqrt (fma m (/ m v) 1)))) (* (cbrt (sqrt (fma m (/ m v) 1))) (* (cbrt (sqrt (fma m (/ m v) 1))) (cbrt (sqrt (fma m (/ m v) 1))))))))
847.0ms
(* (fma (- (sqrt (sqrt (fma m (/ m v) 1)))) (sqrt (sqrt (fma m (/ m v) 1))) (* (sqrt (sqrt (fma m (/ m v) 1))) (sqrt (sqrt (fma m (/ m v) 1))))) (+ (sqrt (/ m v)) (sqrt (fma m (/ m v) 1))))
816.0ms
(* (fma (- (sqrt (sqrt (fma m (/ m v) 1)))) (sqrt (sqrt (fma m (/ m v) 1))) (* (sqrt (sqrt (fma m (/ m v) 1))) (sqrt (sqrt (fma m (/ m v) 1))))) (+ (sqrt (/ m v)) (sqrt (fma m (/ m v) 1))))
798.0ms
(* (fma (- (sqrt (sqrt (fma m (/ m v) 1)))) (sqrt (sqrt (fma m (/ m v) 1))) (* (sqrt (sqrt (fma m (/ m v) 1))) (sqrt (sqrt (fma m (/ m v) 1))))) (+ (sqrt (/ m v)) (sqrt (fma m (/ m v) 1))))

prune12.2s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

regimes124.0ms

Accuracy

0% (0.2b remaining)

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

bsearch2.0ms

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.2s13592×body80valid
640.0ms13592×pre80true