Details

sample19.0ms

Algorithm

intervals

Results

9.0ms

320×

body

valid

simplify3.0s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
8	3328
7	2269
6	1169
5	453
4	195
3	92
2	34
1	14
0	8

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.6b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(fma z (- y 1.0) 1.0)
3.6b	(* x (fma z (- y 1.0) 1.0))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt`
4×	`pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
3×	`associate-r` `associate-l` `fma-udef`
2×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
1×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

2 → 34

Calls

2 calls:

0.0ms	(fma z (- y 1.0) 1.0)
9.0ms	(* x (fma z (- y 1.0) 1.0))

series95.0ms

Counts

2 → 6

Calls

2 calls:

35.0ms	(fma z (- y 1.0) 1.0)
60.0ms	(* x (fma z (- y 1.0) 1.0))

simplify1.4s

Counts

40 → 40

Iterations

Iter	Nodes
done	5002
3	1445
2	333
1	125
0	56

prune191.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 3.6b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(* z (- y 1.0))
0.0b	(+ (* x (* z (- y 1.0))) (* x 1.0))
3.6b	(* x (* z (- y 1.0)))

rewrite89.0ms

Algorithm

rewrite-expression-head

Rules

99×	`distribute-rgt-in` `distribute-lft-in`
90×	`prod-diff`
70×	`add-sqr-sqrt`
68×	`*-un-lft-identity`
66×	`add-cube-cbrt`
44×	`associate-+l+`
10×	`pow1` `sub-neg` `add-cbrt-cube` `add-exp-log`
6×	`associate-r` `associate-l` `associate-*r/`
5×	`add-log-exp`
4×	`pow-prod-down` `prod-exp` `cbrt-unprod`
3×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
2×	`flip3--` `*-commutative` `flip--`
1×	`+-commutative` `sum-log` `fma-def` `flip3-+` `flip-+` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

3 → 174

Calls

3 calls:

18.0ms	(* z (- y 1.0))
42.0ms	(+ (* x (* z (- y 1.0))) (* x 1.0))
26.0ms	(* x (* z (- y 1.0)))

series212.0ms

Counts

3 → 9

Calls

3 calls:

47.0ms	(* z (- y 1.0))
94.0ms	(+ (* x (* z (- y 1.0))) (* x 1.0))
71.0ms	(* x (* z (- y 1.0)))

simplify1.9s

Counts

183 → 183

Iterations

Iter	Nodes
done	5003
2	1771
1	649
0	233

prune541.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* (* x z) (- y 1.0)) (* x 1.0))
3.2b	(* (* x z) (- y 1.0))

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

36×	`prod-diff`
29×	`add-sqr-sqrt` `*-un-lft-identity`
27×	`add-cube-cbrt`
22×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in`
7×	`pow1` `add-cbrt-cube` `add-exp-log`
5×	`associate-r`
4×	`sub-neg` `add-log-exp`
3×	`pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`expm1-log1p-u` `associate-*r/` `insert-posit16` `log1p-expm1-u`
1×	`+-commutative` `sum-log` `fma-def` `flip3-+` `flip3--` `associate-l` `*-commutative` `flip-+` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 84

Calls

2 calls:

30.0ms	(+ (* (* x z) (- y 1.0)) (* x 1.0))
41.0ms	(* (* x z) (- y 1.0))

series144.0ms

Counts

2 → 6

Calls

2 calls:

83.0ms	(+ (* (* x z) (- y 1.0)) (* x 1.0))
61.0ms	(* (* x z) (- y 1.0))

simplify1.4s

Counts

90 → 90

Iterations

Iter	Nodes
done	5009
2	1350
1	441
0	150

prune378.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize23.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* (* x z) y) (* 1.0 (- x (* z x))))
0.0b	(- x (* z x))
3.3b	(* (* x z) y)

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 68

Calls

3 calls:

27.0ms	(+ (* (* x z) y) (* 1.0 (- x (* z x))))
8.0ms	(- x (* z x))
29.0ms	(* (* x z) y)

series169.0ms

Counts

3 → 9

Calls

3 calls:

77.0ms	(+ (* (* x z) y) (* 1.0 (- x (* z x))))
52.0ms	(- x (* z x))
40.0ms	(* (* x z) y)

simplify1.4s

Counts

77 → 77

Iterations

Iter	Nodes
done	5001
2	1238
1	324
0	124

prune315.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

regimes164.0ms

Accuracy

91.9% (0.1b remaining)

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

bsearch88.0ms

Steps

Iters	Range		Point
4	5.1449384649512774e-139	7.79229990499347e-139	6.0021867161161834e-139
9	-1.275137214535456e-10	-4.5757220010827695e-20	-4.957570734057136e-13

simplify6.0ms

Iterations

Iter	Nodes
done	37
1	37
0	25

end0.0ms

sample1.3s

Algorithm

intervals

Results

1.0s

10168×

body

valid