Details

analyze888.0ms (13.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	74.8%	25.2%	5
0%	74.8%	25.2%	6
0%	74.8%	25.2%	7
0%	74.8%	25.2%	8
0%	74.8%	25.2%	9
0%	62.3%	37.7%	10
0%	56.1%	43.9%	11
0%	56.1%	43.9%	12
1.6%	54.5%	43.9%	13
2.4%	53.7%	43.9%	14

Compiler

Compiled 17 to 16 computations (5.9% saved)

sample38.0ms (0.6%)

Algorithm

1×

intervals

Results

15.0ms	256×	body	128	valid
2.0ms	38×	body	128	invalid
1.0ms	28×	body	128	nan

Compiler

Compiled 33 to 37 computations (-12.1% saved)

simplify499.0ms (7.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (341.0ms)

Iter	Nodes	Cost
0	4909	24
1	4909	24

prune6.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

Merged error: 0.1b

Counts

2 → 1

Compiler

Compiled 32 to 30 computations (6.3% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (-.f64 a 1/2) b)
0.0b	(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (.f64 z (log.f64 t))) (.f64 (-.f64 a 1/2) b))
0.1b	(-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t)))
0.3b	(*.f64 z (log.f64 t))

rewrite46.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-log-exp_binary64_11908`
18×	`add-sqr-sqrt_binary64_11893`
14×	`*-un-lft-identity_binary64_11872`
12×	`log-prod_binary64_11955` `add-cube-cbrt_binary64_11904`
10×	`sum-log_binary64_11960`
9×	`pow1_binary64_11930`
8×	`add-exp-log_binary64_11907` `associate-l_binary64_11815` `add-cbrt-cube_binary64_11905`
7×	`associate-r_binary64_11814`
6×	`diff-log_binary64_11961` `associate--r+_binary64_11810` `distribute-lft-in_binary64_11823` `flip--_binary64_11847` `distribute-rgt-in_binary64_11824` `associate-*l/_binary64_11817` `flip3--_binary64_11876`
4×	`frac-add_binary64_11880`
2×	`sub-neg_binary64_11865` `prod-exp_binary64_11918` `pow-prod-down_binary64_11940` `associate--l+_binary64_11811` `cbrt-unprod_binary64_11902` `unswap-sqr_binary64_11840` `associate-+l+_binary64_11807` `*-commutative_binary64_11805`
1×	`log-pow_binary64_11958` `distribute-lft-out--_binary64_11826` `associate-+l-_binary64_11809` `difference-of-squares_binary64_11841` `flip-+_binary64_11846` `+-commutative_binary64_11804` `flip3-+_binary64_11875`

Counts

4 → 88

Calls

4 calls:

14.0ms	(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (.f64 z (log.f64 t))) (.f64 (-.f64 a 1/2) b))
10.0ms	(-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t)))
8.0ms	(*.f64 (-.f64 a 1/2) b)
5.0ms	(*.f64 z (log.f64 t))

series431.0ms (6.6%)

Counts

4 → 12

Calls

4 calls:

264.0ms	(+.f64 (-.f64 (+.f64 (+.f64 x y) z) (.f64 z (log.f64 t))) (.f64 (-.f64 a 1/2) b))
75.0ms	(-.f64 (+.f64 (+.f64 x y) z) (*.f64 z (log.f64 t)))
50.0ms	(*.f64 z (log.f64 t))
42.0ms	(*.f64 (-.f64 a 1/2) b)

simplify49.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5144	1964

prune116.0ms (1.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	94	6	100
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	95	6	101

Merged error: 0b

Counts

101 → 6

Compiler

Compiled 2483 to 904 computations (63.6% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 z (.f64 2 (log.f64 (cbrt.f64 t))))
0.3b	(*.f64 (log.f64 (cbrt.f64 t)) z)
0.6b	(cbrt.f64 t)
0.6b	(cbrt.f64 t)

rewrite26.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`log-prod_binary64_11955` `distribute-lft-in_binary64_11823` `distribute-rgt-in_binary64_11824`
19×	`add-sqr-sqrt_binary64_11893`
18×	`cbrt-prod_binary64_11900`
17×	`add-cube-cbrt_binary64_11904` `*-un-lft-identity_binary64_11872`
12×	`pow1_binary64_11930`
11×	`add-exp-log_binary64_11907` `add-cbrt-cube_binary64_11905`
8×	`associate-l_binary64_11815`
4×	`prod-exp_binary64_11918` `pow-prod-down_binary64_11940` `cbrt-unprod_binary64_11902` `associate-r_binary64_11814` `add-log-exp_binary64_11908`
3×	`pow1/3_binary64_11951`
2×	`log-pow_binary64_11958` `*-commutative_binary64_11805`
1×	`unswap-sqr_binary64_11840`

Counts

4 → 84

Calls

4 calls:

7.0ms	(.f64 z (.f64 2 (log.f64 (cbrt.f64 t))))
7.0ms	(*.f64 (log.f64 (cbrt.f64 t)) z)
1.0ms	(cbrt.f64 t)
1.0ms	(cbrt.f64 t)

series597.0ms (9.2%)

Counts

4 → 12

Calls

4 calls:

160.0ms	(cbrt.f64 t)
156.0ms	(*.f64 (log.f64 (cbrt.f64 t)) z)
149.0ms	(cbrt.f64 t)
132.0ms	(.f64 z (.f64 2 (log.f64 (cbrt.f64 t))))

simplify54.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5430	1191

prune126.0ms (1.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	96	6	102

Merged error: 0b

Counts

102 → 6

Compiler

Compiled 2956 to 1272 computations (57% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 z (log.f64 (cbrt.f64 t)))
0.3b	(+.f64 (.f64 z (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 z (log.f64 (cbrt.f64 t))))
0.6b	(cbrt.f64 t)
0.6b	(cbrt.f64 t)

rewrite33.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

48×	`log-prod_binary64_11955`
36×	`distribute-lft-in_binary64_11823` `distribute-rgt-in_binary64_11824`
30×	`cbrt-prod_binary64_11900`
26×	`add-sqr-sqrt_binary64_11893`
24×	`associate-+l+_binary64_11807` `add-cube-cbrt_binary64_11904` `*-un-lft-identity_binary64_11872`
12×	`associate-+r+_binary64_11806`
7×	`pow1_binary64_11930`
6×	`add-exp-log_binary64_11907` `add-cbrt-cube_binary64_11905` `add-log-exp_binary64_11908`
5×	`associate-r_binary64_11814`
3×	`pow1/3_binary64_11951` `associate-l_binary64_11815`
2×	`log-pow_binary64_11958`
1×	`sum-log_binary64_11960` `prod-exp_binary64_11918` `pow-prod-down_binary64_11940` `flip-+_binary64_11846` `cbrt-unprod_binary64_11902` `unswap-sqr_binary64_11840` `+-commutative_binary64_11804` `distribute-lft-out_binary64_11825` `*-commutative_binary64_11805` `flip3-+_binary64_11875`

Counts

4 → 102

Calls

4 calls:

12.0ms	(+.f64 (.f64 z (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 z (log.f64 (cbrt.f64 t))))
6.0ms	(*.f64 z (log.f64 (cbrt.f64 t)))
1.0ms	(cbrt.f64 t)
1.0ms	(cbrt.f64 t)

series561.0ms (8.6%)

Counts

4 → 12

Calls

4 calls:

162.0ms	(cbrt.f64 t)
137.0ms	(+.f64 (.f64 z (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 z (log.f64 (cbrt.f64 t))))
135.0ms	(cbrt.f64 t)
126.0ms	(*.f64 z (log.f64 (cbrt.f64 t)))

simplify100.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4932	1278
1	4932	1278

prune139.0ms (2.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	114	0	114
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	114	6	120

Merged error: 0b

Counts

120 → 6

Compiler

Compiled 3325 to 1396 computations (58% saved)

localize16.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.1b	(-.f64 (-.f64 (+.f64 z (+.f64 x y)) (.f64 z (log.f64 (sqrt.f64 t)))) (.f64 (log.f64 (sqrt.f64 t)) z))
0.1b	(-.f64 (+.f64 z (+.f64 x y)) (*.f64 z (log.f64 (sqrt.f64 t))))
0.3b	(*.f64 z (log.f64 (sqrt.f64 t)))
0.3b	(*.f64 (log.f64 (sqrt.f64 t)) z)

rewrite47.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-log-exp_binary64_11908`
24×	`log-prod_binary64_11955`
20×	`add-sqr-sqrt_binary64_11893`
16×	`add-cube-cbrt_binary64_11904` `*-un-lft-identity_binary64_11872`
12×	`sqrt-prod_binary64_11887` `associate--r+_binary64_11810` `distribute-lft-in_binary64_11823` `distribute-rgt-in_binary64_11824` `pow1_binary64_11930`
10×	`diff-log_binary64_11961`
9×	`associate-l_binary64_11815` `associate-r_binary64_11814`
8×	`add-exp-log_binary64_11907` `add-cbrt-cube_binary64_11905`
6×	`sum-log_binary64_11960` `log-pow_binary64_11958`
4×	`associate--l+_binary64_11811`
3×	`sub-neg_binary64_11865`
2×	`sqrt-pow1_binary64_11889` `flip--_binary64_11847` `prod-exp_binary64_11918` `pow1/2_binary64_11949` `pow-prod-down_binary64_11940` `flip3--_binary64_11876` `cbrt-unprod_binary64_11902` `unswap-sqr_binary64_11840` `*-commutative_binary64_11805`
1×	`associate--l-_binary64_11812`

Counts

4 → 97

Calls

4 calls:

12.0ms	(-.f64 (-.f64 (+.f64 z (+.f64 x y)) (.f64 z (log.f64 (sqrt.f64 t)))) (.f64 (log.f64 (sqrt.f64 t)) z))
11.0ms	(-.f64 (+.f64 z (+.f64 x y)) (*.f64 z (log.f64 (sqrt.f64 t))))
8.0ms	(*.f64 z (log.f64 (sqrt.f64 t)))
5.0ms	(*.f64 (log.f64 (sqrt.f64 t)) z)

series342.0ms (5.2%)

Counts

4 → 12

Calls

4 calls:

112.0ms	(-.f64 (-.f64 (+.f64 z (+.f64 x y)) (.f64 z (log.f64 (sqrt.f64 t)))) (.f64 (log.f64 (sqrt.f64 t)) z))
98.0ms	(-.f64 (+.f64 z (+.f64 x y)) (*.f64 z (log.f64 (sqrt.f64 t))))
67.0ms	(*.f64 (log.f64 (sqrt.f64 t)) z)
65.0ms	(*.f64 z (log.f64 (sqrt.f64 t)))

simplify64.0ms (1%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4936	1960
1	4936	1960

prune112.0ms (1.7%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	109	0	109
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	109	6	115

Merged error: 0b

Counts

115 → 6

Compiler

Compiled 3114 to 927 computations (70.2% saved)

regimes617.0ms (9.5%)

Compiler: Compiled 6493 to 5261 computations (19% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	90	39
1	90	39

end0.0ms (0%)

sample1.6s (24%)

Algorithm

1×

intervals

Results

510.0ms	7996×	body	128	valid
77.0ms	1218×	body	128	invalid
56.0ms	1108×	body	128	nan
0.0ms	2×	body	512	valid
0.0ms	1×	body	1024	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 566 to 459 computations (18.9% saved)

Details

analyze888.0ms (13.6%)

sample38.0ms (0.6%)

simplify499.0ms (7.6%)

prune6.0ms (0.1%)

localize13.0ms (0.2%)

rewrite46.0ms (0.7%)

series431.0ms (6.6%)

simplify49.0ms (0.8%)

prune116.0ms (1.8%)

localize18.0ms (0.3%)

rewrite26.0ms (0.4%)

series597.0ms (9.2%)

simplify54.0ms (0.8%)

prune126.0ms (1.9%)

localize18.0ms (0.3%)

rewrite33.0ms (0.5%)

series561.0ms (8.6%)

simplify100.0ms (1.5%)

prune139.0ms (2.1%)

localize16.0ms (0.3%)

rewrite47.0ms (0.7%)

series342.0ms (5.2%)

simplify64.0ms (1%)

prune112.0ms (1.7%)

regimes617.0ms (9.5%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.6s (24%)

Profiling