Details

sample108.0ms

Algorithm

intervals

Results

69.0ms

256×

body

160

valid

simplify6.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
4	3256
3	920
2	257
1	81
0	31

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.1b

localize98.0ms

Local error

Found 4 expressions with local error:

1.0b	(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0)))
1.0b	(* 333.75 (pow 33096.0 6.0))
1.0b	(* 5.5 (pow 33096.0 8.0))
62.0b	(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))

rewrite2.2s

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt`
14×	`associate-r` `add-exp-log`
13×	`add-log-exp`
11×	`*-un-lft-identity` `add-cube-cbrt`
8×	`unpow-prod-down` `add-cbrt-cube`
6×	`associate-l` `prod-exp` `unswap-sqr`
5×	`sum-log`
4×	`expm1-log1p-u` `pow1` `fma-def` `insert-posit16` `log1p-expm1-u` `sqr-pow`
2×	`pow-to-exp` `+-commutative` `flip3-+` `pow-exp` `*-commutative` `cbrt-unprod` `flip-+`
1×	`neg-sub0` `associate-+l+` `associate-+r-` `unsub-neg` `neg-log`

Counts

4 → 94

Calls

4 calls:

121.0ms	(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0)))
27.0ms	(* 333.75 (pow 33096.0 6.0))
22.0ms	(* 5.5 (pow 33096.0 8.0))
2.1s	(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))

series0.0ms

Counts

4 → 4

Calls

4 calls:

0.0ms	(+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0)))
0.0ms	(* 333.75 (pow 33096.0 6.0))
0.0ms	(* 5.5 (pow 33096.0 8.0))
0.0ms	(+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0)))

simplify3.8s

Counts

98 → 98

Iterations

Iter	Nodes
done	5000
2	1576
1	439
0	175

prune999.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 56.8b

localize154.0ms

Local error

Found 4 expressions with local error:

1.0b	(* (pow 33096.0 6.0) 333.75)
1.0b	(+ (posit16->real (real->posit16 (fma 5.5 (pow 33096.0 8.0) (fma (* 77617.0 (fma (pow 33096.0 4.0) -121.0 (+ (- (* 11.0 (* (* 33096.0 77617.0) (* 33096.0 77617.0))) (pow 33096.0 6.0)) -2.0))) 77617.0 (* (pow 33096.0 6.0) 333.75))))) (/ 77617.0 (* 2.0 33096.0)))
1.0b	(- (* 11.0 (* (* 33096.0 77617.0) (* 33096.0 77617.0))) (pow 33096.0 6.0))
63.0b	(fma 5.5 (pow 33096.0 8.0) (fma (* 77617.0 (fma (pow 33096.0 4.0) -121.0 (+ (- (* 11.0 (* (* 33096.0 77617.0) (* 33096.0 77617.0))) (pow 33096.0 6.0)) -2.0))) 77617.0 (* (pow 33096.0 6.0) 333.75)))

rewrite225.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
12×	`*-un-lft-identity`
10×	`add-cube-cbrt`
9×	`add-exp-log`
8×	`add-log-exp`
7×	`unpow-prod-down` `associate-l` `prod-diff`
6×	`add-cbrt-cube`
4×	`expm1-log1p-u` `pow1` `insert-posit16` `log1p-expm1-u`
3×	`fma-def` `associate-r` `prod-exp` `unswap-sqr` `sqr-pow`
1×	`pow-to-exp` `+-commutative` `sum-log` `sub-neg` `flip3-+` `flip3--` `fma-neg` `diff-log` `pow-exp` `*-commutative` `cbrt-unprod` `flip-+` `fma-udef` `flip--` `distribute-lft-out`

Counts

4 → 80

Calls

4 calls:

33.0ms	(* (pow 33096.0 6.0) 333.75)
28.0ms	(+ (posit16->real (real->posit16 (fma 5.5 (pow 33096.0 8.0) (fma (* 77617.0 (fma (pow 33096.0 4.0) -121.0 (+ (- (* 11.0 (* (* 33096.0 77617.0) (* 33096.0 77617.0))) (pow 33096.0 6.0)) -2.0))) 77617.0 (* (pow 33096.0 6.0) 333.75))))) (/ 77617.0 (* 2.0 33096.0)))
154.0ms	(- (* 11.0 (* (* 33096.0 77617.0) (* 33096.0 77617.0))) (pow 33096.0 6.0))
2.0ms	(fma 5.5 (pow 33096.0 8.0) (fma (* 77617.0 (fma (pow 33096.0 4.0) -121.0 (+ (- (* 11.0 (* (* 33096.0 77617.0) (* 33096.0 77617.0))) (pow 33096.0 6.0)) -2.0))) 77617.0 (* (pow 33096.0 6.0) 333.75)))

series1.0ms

Counts

4 → 4

Calls

4 calls:

0.0ms	(* (pow 33096.0 6.0) 333.75)
0.0ms	(+ (posit16->real (real->posit16 (fma 5.5 (pow 33096.0 8.0) (fma (* 77617.0 (fma (pow 33096.0 4.0) -121.0 (+ (- (* 11.0 (* (* 33096.0 77617.0) (* 33096.0 77617.0))) (pow 33096.0 6.0)) -2.0))) 77617.0 (* (pow 33096.0 6.0) 333.75))))) (/ 77617.0 (* 2.0 33096.0)))
0.0ms	(- (* 11.0 (* (* 33096.0 77617.0) (* 33096.0 77617.0))) (pow 33096.0 6.0))
0.0ms	(fma 5.5 (pow 33096.0 8.0) (fma (* 77617.0 (fma (pow 33096.0 4.0) -121.0 (+ (- (* 11.0 (* (* 33096.0 77617.0) (* 33096.0 77617.0))) (pow 33096.0 6.0)) -2.0))) 77617.0 (* (pow 33096.0 6.0) 333.75)))

simplify3.4s

Counts

84 → 84

Iterations

Iter	Nodes
done	5000
2	1255
1	388
0	167

prune1.4s

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 56.8b

localize189.0ms

Local error

Found 4 expressions with local error:

1.0b	(- (* 11.0 (* (* 33096.0 77617.0) (* 33096.0 77617.0))) (pow 33096.0 6.0))
63.0b	(fma 5.5 (pow 33096.0 8.0) (fma (* 77617.0 (fma (pow 33096.0 4.0) -121.0 (+ (- (* 11.0 (* (* 33096.0 77617.0) (* 33096.0 77617.0))) (pow 33096.0 6.0)) -2.0))) 77617.0 (* (pow 33096.0 6.0) 333.75)))
63.0b	(fma 5.5 (pow 33096.0 8.0) (fma (* 77617.0 (fma (pow 33096.0 4.0) -121.0 (+ (- (* 11.0 (* (* 33096.0 77617.0) (* 33096.0 77617.0))) (pow 33096.0 6.0)) -2.0))) 77617.0 (* (pow 33096.0 6.0) 333.75)))
63.0b	(fma 5.5 (pow 33096.0 8.0) (fma (* 77617.0 (fma (pow 33096.0 4.0) -121.0 (+ (- (* 11.0 (* (* 33096.0 77617.0) (* 33096.0 77617.0))) (pow 33096.0 6.0)) -2.0))) 77617.0 (* (pow 33096.0 6.0) 333.75)))

rewrite192.0ms

Algorithm

rewrite-expression-head

Rules

7×	`prod-diff`
6×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt` `add-log-exp`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u`
3×	`unpow-prod-down` `fma-udef`
1×	`sub-neg` `flip3--` `fma-neg` `diff-log` `flip--` `sqr-pow`

Counts

4 → 56

Calls

4 calls:

181.0ms	(- (* 11.0 (* (* 33096.0 77617.0) (* 33096.0 77617.0))) (pow 33096.0 6.0))
2.0ms	(fma 5.5 (pow 33096.0 8.0) (fma (* 77617.0 (fma (pow 33096.0 4.0) -121.0 (+ (- (* 11.0 (* (* 33096.0 77617.0) (* 33096.0 77617.0))) (pow 33096.0 6.0)) -2.0))) 77617.0 (* (pow 33096.0 6.0) 333.75)))
2.0ms	(fma 5.5 (pow 33096.0 8.0) (fma (* 77617.0 (fma (pow 33096.0 4.0) -121.0 (+ (- (* 11.0 (* (* 33096.0 77617.0) (* 33096.0 77617.0))) (pow 33096.0 6.0)) -2.0))) 77617.0 (* (pow 33096.0 6.0) 333.75)))
2.0ms	(fma 5.5 (pow 33096.0 8.0) (fma (* 77617.0 (fma (pow 33096.0 4.0) -121.0 (+ (- (* 11.0 (* (* 33096.0 77617.0) (* 33096.0 77617.0))) (pow 33096.0 6.0)) -2.0))) 77617.0 (* (pow 33096.0 6.0) 333.75)))

series1.0ms

Counts

4 → 4

Calls

4 calls:

0.0ms	(- (* 11.0 (* (* 33096.0 77617.0) (* 33096.0 77617.0))) (pow 33096.0 6.0))
0.0ms	(fma 5.5 (pow 33096.0 8.0) (fma (* 77617.0 (fma (pow 33096.0 4.0) -121.0 (+ (- (* 11.0 (* (* 33096.0 77617.0) (* 33096.0 77617.0))) (pow 33096.0 6.0)) -2.0))) 77617.0 (* (pow 33096.0 6.0) 333.75)))
0.0ms	(fma 5.5 (pow 33096.0 8.0) (fma (* 77617.0 (fma (pow 33096.0 4.0) -121.0 (+ (- (* 11.0 (* (* 33096.0 77617.0) (* 33096.0 77617.0))) (pow 33096.0 6.0)) -2.0))) 77617.0 (* (pow 33096.0 6.0) 333.75)))
0.0ms	(fma 5.5 (pow 33096.0 8.0) (fma (* 77617.0 (fma (pow 33096.0 4.0) -121.0 (+ (- (* 11.0 (* (* 33096.0 77617.0) (* 33096.0 77617.0))) (pow 33096.0 6.0)) -2.0))) 77617.0 (* (pow 33096.0 6.0) 333.75)))

simplify6.8s

Counts

60 → 60

Iterations

Iter	Nodes
done	5000
3	3895
2	842
1	264
0	114

prune1.6s

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 56.8b

simplify24.0ms

Iterations

Iter	Nodes
done	39
1	39
0	33

end0.0ms

sample3.7s

Algorithm

intervals

Results

3.6s

8000×

body

160

valid