Details

analyze1.1s (2.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
25%	74.9%	0.1%	6
49.9%	49.9%	0.1%	7
56.2%	43.7%	0.1%	8
56.2%	43.7%	0.1%	9
71.8%	28.1%	0.1%	10
76.5%	23.4%	0.1%	11
76.5%	23.4%	0.1%	12
85%	14.8%	0.1%	13
87.8%	12.1%	0.1%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample181.0ms (0.4%)

Algorithm

1×

intervals

Results

68.0ms	63×	body	1024	valid
43.0ms	145×	body	128	valid
16.0ms	30×	body	512	valid
9.0ms	18×	body	256	valid

Compiler

Compiled 19 to 20 computations (-5.3% saved)

simplify356.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	12	14
1	12	14

prune9.0ms (0%)

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.1b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize30.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 x (sin.f64 y)) (.f64 z (cos.f64 y)))
0.1b	(*.f64 z (cos.f64 y))
0.1b	(*.f64 x (sin.f64 y))

rewrite87.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_6238`
7×	`*-un-lft-identity_binary64_6216` `add-cube-cbrt_binary64_6251` `add-cbrt-cube_binary64_6252` `pow1_binary64_6277` `add-exp-log_binary64_6254`
6×	`associate-r_binary64_6156` `associate-l_binary64_6157`
5×	`add-log-exp_binary64_6255`
2×	`unswap-sqr_binary64_6184` `prod-exp_binary64_6265` `pow-prod-down_binary64_6287` `cbrt-unprod_binary64_6249` `*-commutative_binary64_6147`
1×	`flip-+_binary64_6190` `+-commutative_binary64_6146` `flip3-+_binary64_6219` `sum-log_binary64_6307`

Counts

3 → 47

Calls

3 calls:

48.0ms	(*.f64 x (sin.f64 y))
18.0ms	(+.f64 (.f64 x (sin.f64 y)) (.f64 z (cos.f64 y)))
9.0ms	(*.f64 z (cos.f64 y))

series523.0ms (1.3%)

Counts

3 → 9

Calls

3 calls:

283.0ms	(+.f64 (.f64 x (sin.f64 y)) (.f64 z (cos.f64 y)))
127.0ms	(*.f64 x (sin.f64 y))
113.0ms	(*.f64 z (cos.f64 y))

simplify294.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (252.0ms)

Iter	Nodes	Cost
0	5087	625

prune612.0ms (1.5%)

Pruning

25 alts after pruning (24 fresh and 1 done)

	Pruned	Kept	Total
New	32	24	56
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	32	25	57

Merged error: 0.0b

Counts

57 → 25

Compiler

Compiled 1149 to 405 computations (64.8% saved)

localize43.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 1 (.f64 x (sin.f64 y))) (*.f64 z (cos.f64 y)))
0.1b	(*.f64 z (cos.f64 y))
0.1b	(*.f64 x (sin.f64 y))

rewrite70.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_6238`
7×	`*-un-lft-identity_binary64_6216` `add-cube-cbrt_binary64_6251` `add-cbrt-cube_binary64_6252` `pow1_binary64_6277` `add-exp-log_binary64_6254`
6×	`associate-r_binary64_6156` `associate-l_binary64_6157`
5×	`add-log-exp_binary64_6255`
2×	`unswap-sqr_binary64_6184` `prod-exp_binary64_6265` `pow-prod-down_binary64_6287` `cbrt-unprod_binary64_6249` `*-commutative_binary64_6147`
1×	`flip-+_binary64_6190` `+-commutative_binary64_6146` `flip3-+_binary64_6219` `sum-log_binary64_6307`

Counts

3 → 47

Calls

3 calls:

27.0ms	(+.f64 (.f64 1 (.f64 x (sin.f64 y))) (*.f64 z (cos.f64 y)))
16.0ms	(*.f64 z (cos.f64 y))
14.0ms	(*.f64 x (sin.f64 y))

series697.0ms (1.7%)

Counts

3 → 9

Calls

3 calls:

457.0ms	(+.f64 (.f64 1 (.f64 x (sin.f64 y))) (*.f64 z (cos.f64 y)))
134.0ms	(*.f64 z (cos.f64 y))
106.0ms	(*.f64 x (sin.f64 y))

simplify329.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (268.0ms)

Iter	Nodes	Cost
0	5129	625

prune1.1s (2.7%)

Pruning

41 alts after pruning (39 fresh and 2 done)

	Pruned	Kept	Total
New	38	18	56
Fresh	2	21	23
Picked	0	1	1
Done	0	1	1
Total	40	41	81

Merged error: 0.0b

Counts

81 → 41

Compiler

Compiled 1497 to 692 computations (53.8% saved)

localize130.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 1 (.f64 x (sin.f64 y))) (*.f64 z (cos.f64 y)))
0.1b	(*.f64 z (cos.f64 y))
0.1b	(*.f64 x (sin.f64 y))

rewrite73.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_6238`
7×	`*-un-lft-identity_binary64_6216` `add-cube-cbrt_binary64_6251` `add-cbrt-cube_binary64_6252` `pow1_binary64_6277` `add-exp-log_binary64_6254`
6×	`associate-r_binary64_6156` `associate-l_binary64_6157`
5×	`add-log-exp_binary64_6255`
2×	`unswap-sqr_binary64_6184` `prod-exp_binary64_6265` `pow-prod-down_binary64_6287` `cbrt-unprod_binary64_6249` `*-commutative_binary64_6147`
1×	`flip-+_binary64_6190` `+-commutative_binary64_6146` `flip3-+_binary64_6219` `sum-log_binary64_6307`

Counts

3 → 47

Calls

3 calls:

25.0ms	(+.f64 (.f64 1 (.f64 x (sin.f64 y))) (*.f64 z (cos.f64 y)))
18.0ms	(*.f64 x (sin.f64 y))
16.0ms	(*.f64 z (cos.f64 y))

series482.0ms (1.2%)

Counts

3 → 9

Calls

3 calls:

255.0ms	(+.f64 (.f64 1 (.f64 x (sin.f64 y))) (*.f64 z (cos.f64 y)))
115.0ms	(*.f64 x (sin.f64 y))
112.0ms	(*.f64 z (cos.f64 y))

simplify516.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (445.0ms)

Iter	Nodes	Cost
0	5129	625

prune1.5s (3.7%)

Pruning

59 alts after pruning (56 fresh and 3 done)

	Pruned	Kept	Total
New	34	22	56
Fresh	4	34	38
Picked	0	1	1
Done	0	2	2
Total	38	59	97

Merged error: 0.0b

Counts

97 → 59

Compiler

Compiled 1976 to 1050 computations (46.9% saved)

localize50.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 1 (.f64 x (sin.f64 y))) (.f64 1 (.f64 z (cos.f64 y))))
0.1b	(*.f64 z (cos.f64 y))
0.1b	(*.f64 x (sin.f64 y))

rewrite82.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_6238`
7×	`*-un-lft-identity_binary64_6216` `add-cube-cbrt_binary64_6251` `add-cbrt-cube_binary64_6252` `pow1_binary64_6277` `add-exp-log_binary64_6254`
6×	`associate-r_binary64_6156` `associate-l_binary64_6157`
5×	`add-log-exp_binary64_6255`
2×	`unswap-sqr_binary64_6184` `prod-exp_binary64_6265` `pow-prod-down_binary64_6287` `cbrt-unprod_binary64_6249` `*-commutative_binary64_6147`
1×	`distribute-lft-out_binary64_6167` `flip-+_binary64_6190` `+-commutative_binary64_6146` `flip3-+_binary64_6219` `sum-log_binary64_6307`

Counts

3 → 48

Calls

3 calls:

38.0ms	(+.f64 (.f64 1 (.f64 x (sin.f64 y))) (.f64 1 (.f64 z (cos.f64 y))))
22.0ms	(*.f64 x (sin.f64 y))
11.0ms	(*.f64 z (cos.f64 y))

series545.0ms (1.3%)

Counts

3 → 9

Calls

3 calls:

314.0ms	(+.f64 (.f64 1 (.f64 x (sin.f64 y))) (.f64 1 (.f64 z (cos.f64 y))))
132.0ms	(*.f64 x (sin.f64 y))
98.0ms	(*.f64 z (cos.f64 y))

simplify253.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (214.0ms)

Iter	Nodes	Cost
0	4972	639
1	4972	639

prune1.6s (4%)

Pruning

70 alts after pruning (66 fresh and 4 done)

	Pruned	Kept	Total
New	42	15	57
Fresh	4	51	55
Picked	0	1	1
Done	0	3	3
Total	46	70	116

Merged error: 0.0b

Counts

116 → 70

Compiler

Compiled 1046 to 462 computations (55.8% saved)

regimes5.8s (14.5%)

Compiler: Compiled 9638 to 7364 computations (23.6% saved)

bsearch5.7s (14%)

simplify45.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	14
1	17	14

end0.0ms (0%)

sample18.2s (45%)

Algorithm

1×

intervals

Results

3.4s	1990×	body	1024	valid
1.3s	4480×	body	128	valid
890.0ms	1008×	body	512	valid
245.0ms	515×	body	256	valid
19.0ms	7×	body	2048	valid

Compiler

Compiled 2568 to 1938 computations (24.5% saved)

Pareto

0.5824870518136636

Details

analyze1.1s (2.7%)

sample181.0ms (0.4%)

simplify356.0ms (0.9%)

prune9.0ms (0%)

localize30.0ms (0.1%)

rewrite87.0ms (0.2%)

series523.0ms (1.3%)

simplify294.0ms (0.7%)

prune612.0ms (1.5%)

localize43.0ms (0.1%)

rewrite70.0ms (0.2%)

series697.0ms (1.7%)

simplify329.0ms (0.8%)

prune1.1s (2.7%)

localize130.0ms (0.3%)

rewrite73.0ms (0.2%)

series482.0ms (1.2%)

simplify516.0ms (1.3%)

prune1.5s (3.7%)

localize50.0ms (0.1%)

rewrite82.0ms (0.2%)

series545.0ms (1.3%)

simplify253.0ms (0.6%)

prune1.6s (4%)

regimes5.8s (14.5%)

bsearch5.7s (14%)

simplify45.0ms (0.1%)

end0.0ms (0%)

sample18.2s (45%)

Profiling