Details

analyze728.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
50%	50%	0%	5
50%	50%	0%	6
50%	50%	0%	7
50%	50%	0%	8
50%	50%	0%	9
50%	50%	0%	10
50%	50%	0%	11
50%	50%	0%	12
50%	50%	0%	13
50%	49.9%	0%	14

sample35.0ms

Algorithm

intervals

Results

9.0ms	33×	body	1280	valid
8.0ms	42×	body	640	valid
6.0ms	148×	body	80	valid
3.0ms	26×	body	320	valid
1.0ms	7×	body	160	valid

simplify548.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (125.0ms)

Iter	Nodes	Cost
0	5726	15

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.3b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
0.2b	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
0.2b	(*.f64 (tan.f64 x) (tan.f64 x))
0.2b	(*.f64 (tan.f64 x) (tan.f64 x))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-sqr-sqrt_binary64`
27×	`*-un-lft-identity_binary64`
22×	`add-cube-cbrt_binary64`
18×	`pow1_binary64`
15×	`times-frac_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `difference-of-squares_binary64`
8×	`tan-quot_binary64`
6×	`add-log-exp_binary64` `swap-sqr_binary64` `associate-r_binary64` `associate-l_binary64`
5×	`associate-/l*_binary64`
3×	`associate-/r*_binary64`
2×	`pow-prod-down_binary64` `associate-/l/_binary64` `flip3--_binary64` `cbrt-unprod_binary64` `pow-prod-up_binary64` `associate-r/_binary64` `associate-/r/_binary64` `pow-plus_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `pow-sqr_binary64` `flip--_binary64` `frac-times_binary64` `pow2_binary64` `associate-l/_binary64` `*-commutative_binary64`
1×	`flip3-+_binary64` `sub-neg_binary64` `diff-log_binary64` `cbrt-undiv_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `flip-+_binary64`

Counts

4 → 109

Calls

4 calls:

7.0ms	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
3.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
5.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
8.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

series81.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
10.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
9.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
21.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

simplify56.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4967	1280
1	4967	1280

prune160.0ms

Filtered

83 candidates to 121 candidates (-45.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	110	11	121
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	111	11	122

Merged error: 0.1b

Counts

122 → 11

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow.f64 (sin.f64 x) 2)
0.2b	(pow.f64 (sin.f64 x) 2)
0.2b	(pow.f64 (cos.f64 x) 2)
0.2b	(pow.f64 (cos.f64 x) 2)

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64` `pow-unpow_binary64` `add-cube-cbrt_binary64` `unpow-prod-down_binary64` `add-sqr-sqrt_binary64`
8×	`pow1_binary64` `add-exp-log_binary64`
4×	`pow-to-exp_binary64` `add-log-exp_binary64` `unpow2_binary64` `pow-pow_binary64` `sqr-pow_binary64` `add-cbrt-cube_binary64` `pow-exp_binary64`

Counts

4 → 72

Calls

4 calls:

3.0ms	(pow.f64 (sin.f64 x) 2)
3.0ms	(pow.f64 (sin.f64 x) 2)
3.0ms	(pow.f64 (cos.f64 x) 2)
3.0ms	(pow.f64 (cos.f64 x) 2)

series14.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(pow.f64 (sin.f64 x) 2)
4.0ms	(pow.f64 (sin.f64 x) 2)
3.0ms	(pow.f64 (cos.f64 x) 2)
3.0ms	(pow.f64 (cos.f64 x) 2)

simplify45.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5266	424

prune103.0ms

Filtered

48 candidates to 84 candidates (-75.0%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	81	3	84
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	83	12	95

Merged error: 0.1b

Counts

95 → 12

localize9.0ms

Local error

Found 4 expressions with local error:

0.1b	(/.f64 1 (/.f64 (+.f64 1 (pow.f64 (tan.f64 x) 2)) (-.f64 1 (pow.f64 (tan.f64 x) 2))))
0.2b	(-.f64 1 (pow.f64 (tan.f64 x) 2))
0.2b	(pow.f64 (tan.f64 x) 2)
0.2b	(pow.f64 (tan.f64 x) 2)

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

354×	`times-frac_binary64`
329×	`*-un-lft-identity_binary64`
267×	`add-sqr-sqrt_binary64`
136×	`difference-of-squares_binary64`
131×	`add-cube-cbrt_binary64`
54×	`associate-/r*_binary64`
48×	`distribute-lft-out_binary64`
40×	`unpow-prod-down_binary64`
36×	`unpow2_binary64` `sqr-pow_binary64`
17×	`add-exp-log_binary64` `distribute-lft-out--_binary64`
9×	`add-cbrt-cube_binary64` `associate-/r/_binary64`
7×	`pow1_binary64` `div-exp_binary64`
6×	`pow-unpow_binary64` `add-log-exp_binary64`
5×	`flip3--_binary64` `div-inv_binary64` `flip--_binary64`
3×	`cbrt-undiv_binary64` `associate-/l*_binary64`
2×	`pow-to-exp_binary64` `1-exp_binary64` `pow-pow_binary64` `rec-exp_binary64` `pow-exp_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `clear-num_binary64` `inv-pow_binary64` `frac-2neg_binary64` `pow-flip_binary64`

Counts

4 → 296

Calls

4 calls:

19.0ms	(/.f64 1 (/.f64 (+.f64 1 (pow.f64 (tan.f64 x) 2)) (-.f64 1 (pow.f64 (tan.f64 x) 2))))
5.0ms	(-.f64 1 (pow.f64 (tan.f64 x) 2))
3.0ms	(pow.f64 (tan.f64 x) 2)
3.0ms	(pow.f64 (tan.f64 x) 2)

series68.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(/.f64 1 (/.f64 (+.f64 1 (pow.f64 (tan.f64 x) 2)) (-.f64 1 (pow.f64 (tan.f64 x) 2))))
10.0ms	(-.f64 1 (pow.f64 (tan.f64 x) 2))
13.0ms	(pow.f64 (tan.f64 x) 2)
9.0ms	(pow.f64 (tan.f64 x) 2)

simplify80.0ms

Algorithm

egg-herbie

Counts

308 → 308

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5034	5698

prune235.0ms

Filtered

127 candidates to 308 candidates (-142.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	305	3	308
Fresh	1	10	11
Picked	1	0	1
Done	0	0	0
Total	307	13	320

Merged error: 0.0b

Counts

320 → 13

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow.f64 (tan.f64 x) 2)
0.2b	(pow.f64 (tan.f64 x) 2)
0.4b	(exp.f64 (pow.f64 (tan.f64 x) 2))
1.9b	(log.f64 (exp.f64 (pow.f64 (tan.f64 x) 2)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

16×	`exp-prod_binary64`
13×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
12×	`unpow-prod-down_binary64`
9×	`log-pow_binary64`
7×	`pow1_binary64`
6×	`pow-unpow_binary64` `add-exp-log_binary64`
5×	`add-log-exp_binary64`
4×	`unpow2_binary64` `sqr-pow_binary64` `add-cbrt-cube_binary64`
3×	`log-prod_binary64`
2×	`pow-to-exp_binary64` `pow-pow_binary64` `pow-exp_binary64`
1×	`rem-log-exp_binary64` `rem-exp-log_binary64`

Counts

4 → 72

Calls

4 calls:

3.0ms	(pow.f64 (tan.f64 x) 2)
3.0ms	(pow.f64 (tan.f64 x) 2)
4.0ms	(exp.f64 (pow.f64 (tan.f64 x) 2))
4.0ms	(log.f64 (exp.f64 (pow.f64 (tan.f64 x) 2)))

series43.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(pow.f64 (tan.f64 x) 2)
9.0ms	(pow.f64 (tan.f64 x) 2)
13.0ms	(exp.f64 (pow.f64 (tan.f64 x) 2))
9.0ms	(log.f64 (exp.f64 (pow.f64 (tan.f64 x) 2)))

simplify50.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5106	484

prune80.0ms

Filtered

60 candidates to 84 candidates (-40.0%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	84	13	97

Merged error: 0.0b

Counts

97 → 13

regimes116.0ms

Accuracy

0% (1.0b remaining)

Error of 1.0b against oracle of 0.1b and baseline of 1.0b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	17
1	22	17

end0.0ms

sample994.0ms

Algorithm

intervals

Results

388.0ms	1484×	body	1280	valid
216.0ms	1272×	body	640	valid
161.0ms	4318×	body	80	valid
74.0ms	614×	body	320	valid
26.0ms	312×	body	160	valid

Details

analyze728.0ms

sample35.0ms

simplify548.0ms

prune4.0ms

localize22.0ms

rewrite28.0ms

series81.0ms

simplify56.0ms

prune160.0ms

localize12.0ms

rewrite12.0ms

series14.0ms

simplify45.0ms

prune103.0ms

localize9.0ms

rewrite50.0ms

series68.0ms

simplify80.0ms

prune235.0ms

localize12.0ms

rewrite16.0ms

series43.0ms

simplify50.0ms

prune80.0ms

regimes116.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample994.0ms

Profiling