Details

sample409.0ms

Algorithm

intervals

Results

222.0ms	31×	body	2560	valid
62.0ms	47×	body	1280	valid
22.0ms	151×	body	80	valid
17.0ms	26×	body	640	valid
5.0ms	13×	body	320	valid
2.0ms	6×	body	160	valid

simplify411.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	142
7	142
6	139
5	125
4	109
3	70
2	41
1	19
0	10

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.8b

localize45.0ms

Local error

Found 4 expressions with local error:

0.2b	(* PI l)
0.6b	(/ 1.0 (* F F))
4.3b	(* (/ 1.0 (* F F)) (tan (* PI l)))
28.3b	(tan (* PI l))

rewrite132.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-cbrt-cube` `add-exp-log`
17×	`add-sqr-sqrt`
11×	`*-un-lft-identity` `add-cube-cbrt`
10×	`associate-l`
8×	`pow1`
7×	`times-frac`
6×	`associate-r` `prod-exp` `cbrt-unprod`
4×	`expm1-log1p-u` `cbrt-undiv` `div-exp` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`tan-quot` `associate-/l*` `unswap-sqr`
2×	`pow-prod-down` `*-commutative` `div-inv`
1×	`frac-times` `clear-num` `associate-/r` `frac-2neg` `associate-l/` `associate-*r/`

Counts

4 → 89

Calls

4 calls:

19.0ms	(* PI l)
16.0ms	(/ 1.0 (* F F))
64.0ms	(* (/ 1.0 (* F F)) (tan (* PI l)))
23.0ms	(tan (* PI l))

series616.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(* PI l)
56.0ms	(/ 1.0 (* F F))
335.0ms	(* (/ 1.0 (* F F)) (tan (* PI l)))
181.0ms	(tan (* PI l))

simplify3.0s

Counts

101 → 101

Iterations

Iter	Nodes
done	5001
2	1214
1	342
0	147

prune1.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 9.9b

localize85.0ms

Local error

Found 4 expressions with local error:

0.2b	(* PI l)
0.2b	(* PI l)
27.3b	(cos (* PI l))
27.8b	(sin (* PI l))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt`
8×	`pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
6×	`associate-r` `associate-l`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 62

Calls

4 calls:

19.0ms	(* PI l)
11.0ms	(* PI l)
9.0ms	(cos (* PI l))
10.0ms	(sin (* PI l))

series146.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(* PI l)
44.0ms	(* PI l)
36.0ms	(cos (* PI l))
34.0ms	(sin (* PI l))

simplify3.2s

Counts

74 → 74

Iterations

Iter	Nodes
done	5003
3	1548
2	450
1	173
0	83

prune1.0s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 6.6b

localize160.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt l)
0.6b	(cbrt l)
27.3b	(cos (* (* PI (* (cbrt l) (cbrt l))) (cbrt l)))
27.8b	(sin (* PI l))

rewrite90.0ms

Algorithm

rewrite-expression-head

Rules

6×	`cbrt-prod` `add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`pow1/3`

Counts

4 → 48

Calls

4 calls:

3.0ms	(cbrt l)
4.0ms	(cbrt l)
68.0ms	(cos (* (* PI (* (cbrt l) (cbrt l))) (cbrt l)))
12.0ms	(sin (* PI l))

series804.0ms

Counts

4 → 12

Calls

4 calls:

314.0ms	(cbrt l)
372.0ms	(cbrt l)
64.0ms	(cos (* (* PI (* (cbrt l) (cbrt l))) (cbrt l)))
54.0ms	(sin (* PI l))

simplify3.3s

Counts

60 → 60

Iterations

Iter	Nodes
done	5000
3	1900
2	452
1	165
0	82

prune877.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 6.6b

localize211.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt l)
0.6b	(cbrt l)
27.1b	(cos (* (* PI (* (cbrt l) (cbrt l))) (* (cbrt (* (cbrt l) (cbrt l))) (cbrt (cbrt l)))))
27.8b	(sin (* PI l))

rewrite218.0ms

Algorithm

rewrite-expression-head

Rules

6×	`cbrt-prod` `add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`pow1/3`

Counts

4 → 48

Calls

4 calls:

3.0ms	(cbrt l)
3.0ms	(cbrt l)
193.0ms	(cos (* (* PI (* (cbrt l) (cbrt l))) (* (cbrt (* (cbrt l) (cbrt l))) (cbrt (cbrt l)))))
16.0ms	(sin (* PI l))

series722.0ms

Counts

4 → 12

Calls

4 calls:

311.0ms	(cbrt l)
318.0ms	(cbrt l)
48.0ms	(cos (* (* PI (* (cbrt l) (cbrt l))) (* (cbrt (* (cbrt l) (cbrt l))) (cbrt (cbrt l)))))
45.0ms	(sin (* PI l))

simplify3.5s

Counts

60 → 60

Iterations

Iter	Nodes
done	5001
3	1953
2	473
1	169
0	83

prune857.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 6.6b

regimes1.8s

Accuracy

81.8% (1.2b remaining)

Error of 7.7b against oracle of 6.6b and baseline of 12.9b

bsearch6.0ms

simplify20.0ms

Iterations

Iter	Nodes
done	41
1	41
0	32

end0.0ms

sample9.8s

Algorithm

intervals

Results

5.0s	851×	body	2560	valid
2.5s	1658×	body	1280	valid
1.0s	4479×	body	80	valid
622.0ms	943×	body	640	valid
163.0ms	401×	body	320	valid
115.0ms	3×	body	10240	exit
101.0ms	204×	body	160	valid