Details

analyze1.8s (19.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
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
12.5%	87.4%	0.1%	8
31.2%	68.6%	0.1%	9
31.2%	68.6%	0.1%	10
31.2%	68.6%	0.1%	11
40.6%	59.3%	0.1%	12
40.6%	59.3%	0.1%	13
40.6%	59.3%	0.1%	14

Compiler

Compiled 31 to 19 computations (38.7% saved)

sample134.0ms (1.5%)

Algorithm

1×

intervals

Results

65.0ms	73×	body	1024	valid
25.0ms	37×	body	512	valid
20.0ms	126×	body	128	valid
7.0ms	20×	body	256	valid

Compiler

Compiled 61 to 40 computations (34.4% saved)

simplify322.0ms (3.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (228.0ms)

Iter	Nodes	Cost
0	1604	50
1	1604	50

prune5.0ms (0.1%)

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

Error

0.1b

Counts

2 → 1

Compiler

Compiled 60 to 36 computations (40% saved)

localize27.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 eh (sin.f64 t))
0.1b	(*.f64 ew (cos.f64 t))
0.1b	(.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
0.0b	(-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))
0.1b	(*.f64 (neg.f64 eh) (tan.f64 t))
1.6b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
1.6b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
21.6b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

rewrite30.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
14×	`add-sqr-sqrt_binary64_2487`
12×	`*-un-lft-identity_binary64_2465` `add-cube-cbrt_binary64_2500`
10×	`associate-l_binary64_2406`
6×	`times-frac_binary64_2471` `associate-/r*_binary64_2409` `pow1_binary64_2526`
4×	`add-log-exp_binary64_2504` `distribute-lft-neg-out_binary64_2424` `cbrt-undiv_binary64_2499` `div-exp_binary64_2516`
3×	`distribute-lft-neg-in_binary64_2422` `distribute-rgt-neg-in_binary64_2423` `associate-r/_binary64_2407` `tan-quot_binary64_2624` `prod-exp_binary64_2514` `associate-r*_binary64_2405` `distribute-frac-neg_binary64_2428` `cbrt-unprod_binary64_2498`
2×	`associate-/l/_binary64_2412` `clear-num_binary64_2464` `div-inv_binary64_2462` `frac-2neg_binary64_2476` `associate-/l*_binary64_2410`
1×	`*-commutative_binary64_2396` `unswap-sqr_binary64_2433` `cos-neg_binary64_2596` `cos-atan_binary64_2644` `neg-mul-1_binary64_2461` `pow-prod-down_binary64_2536` `atan-neg_binary64_2649`

Counts

4 → 82

Calls

8 calls:

6.0ms	(*.f64 (neg.f64 eh) (tan.f64 t))
6.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
6.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
2.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
0.0ms	(-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))

series914.0ms (10.2%)

Counts

4 → 33

Calls

4 calls:

304.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
302.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
162.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
145.0ms	(*.f64 (neg.f64 eh) (tan.f64 t))

Compiler

Compiled 2191 to 1577 computations (28% saved)

simplify77.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4973	1490
1	4973	1490

prune140.0ms (1.6%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	114	1	115
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	115	1	116

Error

0.1b

Counts

116 → 1

Compiler

Compiled 3875 to 580 computations (85% saved)

localize29.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
0.0b	(sqrt.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
0.0b	(sqrt.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
0.0b	(-.f64 (.f64 (.f64 ew (cos.f64 t)) (.f64 (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))
1.6b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
1.6b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
21.6b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
21.6b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

rewrite24.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
8×	`*-un-lft-identity_binary64_2465` `add-cube-cbrt_binary64_2500` `add-sqr-sqrt_binary64_2487`
6×	`times-frac_binary64_2471` `associate-/r*_binary64_2409`
4×	`add-log-exp_binary64_2504` `distribute-lft-neg-out_binary64_2424` `cbrt-undiv_binary64_2499` `div-exp_binary64_2516` `pow1_binary64_2526` `distribute-frac-neg_binary64_2428`
2×	`associate-/l/_binary64_2412` `associate-r/_binary64_2407` `tan-quot_binary64_2624` `clear-num_binary64_2464` `cos-neg_binary64_2596` `div-inv_binary64_2462` `cos-atan_binary64_2644` `prod-exp_binary64_2514` `frac-2neg_binary64_2476` `associate-/l_binary64_2410` `atan-neg_binary64_2649` `cbrt-unprod_binary64_2498`

Counts

4 → 64

Calls

8 calls:

6.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
6.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
2.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
2.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
0.0ms	(-.f64 (.f64 (.f64 ew (cos.f64 t)) (.f64 (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))

series938.0ms (10.5%)

Counts

4 → 36

Calls

4 calls:

312.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
302.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
167.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
156.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

Compiler

Compiled 3206 to 1952 computations (39.1% saved)

simplify56.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4973	1454
1	4973	1454

prune128.0ms (1.4%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	100	0	100
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	100	1	101

Error

0.1b

Counts

101 → 1

Compiler

Compiled 4512 to 465 computations (89.7% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	163	286
1	163	286

regimes153.0ms (1.7%)

Compiler: Compiled 1178 to 808 computations (31.4% saved)

bsearch0.0ms (0%)

regimes128.0ms (1.4%)

Compiler: Compiled 763 to 583 computations (23.6% saved)

bsearch0.0ms (0%)

regimes32.0ms (0.4%)

Compiler: Compiled 102 to 120 computations (-17.6% saved)

bsearch0.0ms (0%)

regimes25.0ms (0.3%)

Accuracy

Total 0.0b remaining (1.4%)

Threshold costs 0.0b (1.4%)

Compiler

Compiled 15 to 54 computations (-260% saved)

bsearch6.0ms (0.1%)

Compiler: Compiled 100 to 72 computations (28% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	153	166
1	153	166

end0.0ms (0%)

sample4.0s (44.8%)

Algorithm

1×

intervals

Results

1.9s	2098×	body	1024	valid
723.0ms	4391×	body	128	valid
585.0ms	994×	body	512	valid
190.0ms	512×	body	256	valid
8.0ms	5×	body	2048	valid

Compiler

Compiled 305 to 212 computations (30.5% saved)

Pareto

0.41991174223016126

Details

analyze1.8s (19.7%)

sample134.0ms (1.5%)

simplify322.0ms (3.6%)

prune5.0ms (0.1%)

localize27.0ms (0.3%)

rewrite30.0ms (0.3%)

series914.0ms (10.2%)

simplify77.0ms (0.9%)

prune140.0ms (1.6%)

localize29.0ms (0.3%)

rewrite24.0ms (0.3%)

series938.0ms (10.5%)

simplify56.0ms (0.6%)

prune128.0ms (1.4%)

simplify6.0ms (0.1%)

regimes153.0ms (1.7%)

bsearch0.0ms (0%)

regimes128.0ms (1.4%)

bsearch0.0ms (0%)

regimes32.0ms (0.4%)

bsearch0.0ms (0%)

regimes25.0ms (0.3%)

bsearch6.0ms (0.1%)

simplify5.0ms (0.1%)

end0.0ms (0%)

sample4.0s (44.8%)

Profiling