Details

sample185.0ms

Algorithm

intervals

Results

140.0ms

641×

body

valid

simplify814.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	2000
4	907
3	333
2	110
1	47
0	23

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 11.6b

localize48.0ms

Local error

Found 4 expressions with local error:

0.3b	(- (* y z) (* t a))
4.6b	(* j (- (* c a) (* y i)))
5.0b	(* b (- (* c z) (* t i)))
6.6b	(* x (- (* y z) (* t a)))

rewrite96.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
10×	`pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
9×	`distribute-rgt-in` `distribute-lft-in` `associate-r` `associate-l`
7×	`sub-neg` `prod-diff`
6×	`associate-*r/` `add-log-exp`
4×	`expm1-log1p-u` `flip3--` `insert-posit16` `log1p-expm1-u` `flip--`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`fma-neg` `diff-log`

Counts

4 → 104

Calls

4 calls:

12.0ms	(- (* y z) (* t a))
32.0ms	(* j (- (* c a) (* y i)))
25.0ms	(* b (- (* c z) (* t i)))
25.0ms	(* x (- (* y z) (* t a)))

series355.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(- (* y z) (* t a))
83.0ms	(* j (- (* c a) (* y i)))
105.0ms	(* b (- (* c z) (* t i)))
109.0ms	(* x (- (* y z) (* t a)))

simplify1.1s

Counts

116 → 116

Iterations

Iter	Nodes
done	2001
2	1628
1	527
0	203

prune880.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 6.4b

localize64.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (* x (fma y z (- (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))
4.6b	(* j (- (* c a) (* y i)))
5.0b	(* b (- (* c z) (* t i)))
6.6b	(* x (fma y z (- (* t a))))

rewrite134.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 115

Calls

4 calls:

56.0ms	(+ (- (* x (fma y z (- (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))
42.0ms	(* j (- (* c a) (* y i)))
28.0ms	(* b (- (* c z) (* t i)))
6.0ms	(* x (fma y z (- (* t a))))

series967.0ms

Counts

4 → 12

Calls

4 calls:

700.0ms	(+ (- (* x (fma y z (- (* t a)))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))
76.0ms	(* j (- (* c a) (* y i)))
80.0ms	(* b (- (* c z) (* t i)))
111.0ms	(* x (fma y z (- (* t a))))

simplify752.0ms

Counts

127 → 127

Iterations

Iter	Nodes
done	2001
1	717
0	246

prune1.2s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 3.4b

localize70.0ms

Local error

Found 4 expressions with local error:

4.3b	(* a (* x t))
4.6b	(* j (- (* c a) (* y i)))
5.0b	(* b (- (* c z) (* t i)))
5.9b	(* x (* z y))

rewrite128.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1` `add-cbrt-cube` `add-exp-log`
14×	`add-sqr-sqrt`
12×	`associate-l`
10×	`*-un-lft-identity` `add-cube-cbrt`
8×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`distribute-rgt-in` `distribute-lft-in`
4×	`expm1-log1p-u` `sub-neg` `prod-diff` `associate-r/` `-commutative` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 100

Calls

4 calls:

24.0ms	(* a (* x t))
29.0ms	(* j (- (* c a) (* y i)))
38.0ms	(* b (- (* c z) (* t i)))
35.0ms	(* x (* z y))

series246.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* a (* x t))
89.0ms	(* j (- (* c a) (* y i)))
83.0ms	(* b (- (* c z) (* t i)))
47.0ms	(* x (* z y))

simplify725.0ms

Counts

112 → 112

Iterations

Iter	Nodes
done	2001
2	1564
1	501
0	200

prune1.1s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 1.0b

localize53.0ms

Local error

Found 4 expressions with local error:

3.3b	(* (* x z) y)
4.3b	(* a (* x t))
4.6b	(* j (- (* c a) (* y i)))
5.0b	(* b (- (* c z) (* t i)))

rewrite126.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1` `add-cbrt-cube` `add-exp-log`
14×	`add-sqr-sqrt`
10×	`-un-lft-identity` `associate-r` `associate-l*` `add-cube-cbrt`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`distribute-rgt-in` `distribute-lft-in`
4×	`expm1-log1p-u` `sub-neg` `prod-diff` `associate-r/` `-commutative` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 100

Calls

4 calls:

18.0ms	(* (* x z) y)
13.0ms	(* a (* x t))
46.0ms	(* j (- (* c a) (* y i)))
47.0ms	(* b (- (* c z) (* t i)))

series279.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(* (* x z) y)
41.0ms	(* a (* x t))
99.0ms	(* j (- (* c a) (* y i)))
106.0ms	(* b (- (* c z) (* t i)))

simplify935.0ms

Counts

112 → 112

Iterations

Iter	Nodes
done	2002
2	1682
1	525
0	203

prune906.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.7b

regimes1.9s

Accuracy

23.1% (8.5b remaining)

Error of 9.3b against oracle of 0.8b and baseline of 11.9b

bsearch210.0ms

Steps

Iters	Range		Point
7	2.9456666607223944e-179	5.340355915483351e-177	4.766395936578848e-177
5	-3.6255659450839913e-162	-1.0357331721752398e-162	-3.564188589531598e-162

simplify12.0ms

Iterations

Iter	Nodes
done	77
2	77
1	75
0	46

end0.0ms

sample6.1s

Algorithm

intervals

Results

4.5s

18721×

body

valid