Details

analyze1.8s (11.5%)

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%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	74.8%	25.2%	8
0%	74.8%	25.2%	9
0%	74.8%	25.2%	10
0%	74.8%	25.2%	11
0%	74.8%	25.2%	12
24.9%	49.9%	25.2%	13
24.9%	37.4%	37.7%	14

Compiler

Compiled 26 to 20 computations (23.1% saved)

sample112.0ms (0.7%)

Algorithm

1×

intervals

Results

26.0ms	26×	body	2048	valid
24.0ms	48×	body	1024	valid
14.0ms	146×	body	128	valid
7.0ms	24×	body	512	valid
6.0ms	62×	body	128	nan
3.0ms	32×	body	128	invalid
2.0ms	12×	body	256	valid

Compiler

Compiled 57 to 45 computations (21.1% saved)

simplify52.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

146×	`cancel-sign-sub-inv_binary64`
110×	`distribute-rgt-neg-in_binary64`
104×	`associate-/l*_binary64`
69×	`distribute-neg-frac_binary64`
69×	`div-sub_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	29
1	33	29
2	61	29
3	106	29
4	188	29
5	282	29
6	392	29
7	494	29
8	604	29
9	715	29
10	843	29
11	883	29
12	866	29
13	868	29
14	868	29
15	757	29

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

22.3b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	22.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (/.f64 a (.f64 b 3)))

Compiler

Compiled 75 to 57 computations (24% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (*.f64 z t) 3)
0.2b	(.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3))))
0.2b	(/.f64 a (*.f64 b 3))
25.8b	(cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))

rewrite172.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

19.9b

Rules

19×	`add-cbrt-cube_binary64`
19×	`add-exp-log_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-sqr-sqrt_binary64`
11×	`add-cube-cbrt_binary64`

Counts

4 → 78

Calls

4 calls:

6.0ms	(.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3))))
5.0ms	(/.f64 (*.f64 z t) 3)
5.0ms	(cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))
3.0ms	(/.f64 a (*.f64 b 3))

Compiler

Compiled 2116 to 1295 computations (38.8% saved)

series146.0ms (1%)

Error

17.2b

Counts

4 → 45

Calls

4 calls:

63.0ms	(.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3))))
36.0ms	(cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))
12.0ms	(/.f64 a (*.f64 b 3))
12.0ms	(/.f64 (*.f64 z t) 3)

Compiler

Compiled 2795 to 2002 computations (28.4% saved)

simplify120.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

482×	`associate-/l*_binary64`
274×	`times-frac_binary64`
266×	`associate-*l/_binary64`
240×	`associate-l_binary64`
220×	`associate-r_binary64`

Counts

123 → 75

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	251	2291
1	599	2049
2	1775	2003
3	4293	2003
4	4814	2003
5	4935	2003

prune117.0ms (0.8%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	52	23	75
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	53	23	76

Error

19.9b

Counts

76 → 23

Alt Table

Status	Error	Program
	39.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (log.f64 (pow.f64 (cbrt.f64 (exp.f64 t)) z))))) (/.f64 a (*.f64 b 3)))
	22.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (.f64 (.f64 (cbrt.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z))))) (cbrt.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))))) (cbrt.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z))))))) (/.f64 a (*.f64 b 3)))
	39.5b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (exp.f64 (log.f64 (.f64 1/3 (.f64 t z))))))) (/.f64 a (*.f64 b 3)))
	22.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cbrt.f64 (pow.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) 3))) (/.f64 a (*.f64 b 3)))
	22.5b	(-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z))))) (cbrt.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))))) (.f64 2 (sqrt.f64 x))) (cbrt.f64 (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3))))) (/.f64 a (.f64 b 3)))
	22.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (log.f64 (exp.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z))))))) (/.f64 a (*.f64 b 3)))
	36.0b	(-.f64 (.f64 (sqrt.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x)))) (sqrt.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x))))) (/.f64 a (.f64 b 3)))
▶	21.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 1/3 (.f64 t z))) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (/.f64 a (*.f64 b 3)))
	22.6b	(-.f64 (.f64 (.f64 (cbrt.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x)))) (cbrt.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x))))) (cbrt.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x))))) (/.f64 a (*.f64 b 3)))
	21.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (+.f64 (.f64 (cos.f64 (.f64 1/3 (.f64 t z))) (cos.f64 y)) (.f64 (sin.f64 y) (sin.f64 (.f64 1/3 (.f64 t z)))))) (/.f64 a (*.f64 b 3)))
	22.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z (/.f64 t (sqrt.f64 3))) (sqrt.f64 3))))) (/.f64 a (.f64 b 3)))
	26.6b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (+.f64 (cos.f64 y) (.f64 1/3 (.f64 (.f64 t z) (sin.f64 y))))) (/.f64 a (.f64 b 3)))
	22.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 1 (/.f64 b (/.f64 a 3))))
	34.6b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (+.f64 (cos.f64 (.f64 1/3 (.f64 t z))) (.f64 y (sin.f64 (.f64 1/3 (.f64 t z)))))) (/.f64 a (.f64 b 3)))
	22.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (.f64 (.f64 (cbrt.f64 (.f64 1/3 (.f64 t z))) (cbrt.f64 (.f64 1/3 (.f64 t z)))) (cbrt.f64 (.f64 1/3 (.f64 t z))))))) (/.f64 a (*.f64 b 3)))
	46.8b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 a b)))))
	28.7b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (cbrt.f64 (pow.f64 (.f64 1/3 (.f64 t z)) 3))))) (/.f64 a (*.f64 b 3)))
	31.3b	(-.f64 (cbrt.f64 (pow.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x))) 3)) (/.f64 a (*.f64 b 3)))
	47.6b	(-.f64 (log.f64 (pow.f64 (exp.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z))))) (.f64 2 (sqrt.f64 x)))) (/.f64 a (.f64 b 3)))
	36.9b	(-.f64 (exp.f64 (log.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x))))) (/.f64 a (*.f64 b 3)))
	22.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (.f64 a (/.f64 1/3 b)))
	29.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (.f64 1/3 (.f64 t z)))) (/.f64 a (*.f64 b 3)))
	39.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (.f64 (sqrt.f64 (.f64 1/3 (.f64 t z))) (sqrt.f64 (.f64 1/3 (.f64 t z))))))) (/.f64 a (.f64 b 3)))

Compiler

Compiled 2684 to 1818 computations (32.3% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (sin.f64 (.f64 z (*.f64 t -1/3))) (sin.f64 y))
0.3b	(.f64 1/3 (.f64 t z))
29.3b	(sin.f64 (.f64 z (.f64 t -1/3)))
29.4b	(cos.f64 (.f64 1/3 (.f64 t z)))

rewrite174.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

19.8b

Rules

11×	`add-cbrt-cube_binary64`
11×	`add-exp-log_binary64`
11×	`pow1_binary64`
9×	`add-sqr-sqrt_binary64`
7×	`*-un-lft-identity_binary64`

Counts

4 → 51

Calls

4 calls:

5.0ms	(.f64 (sin.f64 (.f64 z (*.f64 t -1/3))) (sin.f64 y))
4.0ms	(.f64 1/3 (.f64 t z))
2.0ms	(cos.f64 (.f64 1/3 (.f64 t z)))
2.0ms	(sin.f64 (.f64 z (.f64 t -1/3)))

Compiler

Compiled 1726 to 1034 computations (40.1% saved)

series141.0ms (0.9%)

Error

19.9b

Counts

4 → 36

Calls

4 calls:

42.0ms	(.f64 (sin.f64 (.f64 z (*.f64 t -1/3))) (sin.f64 y))
27.0ms	(cos.f64 (.f64 1/3 (.f64 t z)))
18.0ms	(sin.f64 (.f64 z (.f64 t -1/3)))
15.0ms	(.f64 1/3 (.f64 t z))

Compiler

Compiled 2921 to 2097 computations (28.2% saved)

simplify88.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

488×	`distribute-rgt-neg-in_binary64`
417×	`distribute-lft-neg-in_binary64`
406×	`neg-mul-1_binary64`
369×	`*-commutative_binary64`
246×	`cancel-sign-sub-inv_binary64`

Counts

87 → 55

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	124	1288
1	276	1133
2	823	1122
3	1424	1122
4	2497	1122
5	4443	1122
6	5006	1122

prune135.0ms (0.9%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	47	8	55
Fresh	3	19	22
Picked	1	0	1
Done	0	0	0
Total	51	27	78

Error

19.8b

Counts

78 → 27

Alt Table

Status	Error	Program
	21.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 1/3 (.f64 t z))) (cos.f64 y)) (.f64 (.f64 (sin.f64 (.f64 (.f64 t z) -1/3)) (.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))) (cbrt.f64 (sin.f64 y))))) (/.f64 a (*.f64 b 3)))
	22.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (.f64 (.f64 (cbrt.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z))))) (cbrt.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))))) (cbrt.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z))))))) (/.f64 a (*.f64 b 3)))
	39.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (log.f64 (pow.f64 (cbrt.f64 (exp.f64 t)) z))))) (/.f64 a (*.f64 b 3)))
	39.5b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (exp.f64 (log.f64 (.f64 1/3 (.f64 t z))))))) (/.f64 a (*.f64 b 3)))
	22.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cbrt.f64 (pow.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) 3))) (/.f64 a (*.f64 b 3)))
	22.6b	(-.f64 (.f64 (.f64 (cbrt.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x)))) (cbrt.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x))))) (cbrt.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x))))) (/.f64 a (*.f64 b 3)))
	22.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 1/3 (.f64 t z))) (cos.f64 y)) (/.f64 (-.f64 (cos.f64 (-.f64 (.f64 (.f64 t z) -1/3) y)) (cos.f64 (+.f64 (.f64 (.f64 t z) -1/3) y))) 2))) (/.f64 a (.f64 b 3)))
	31.3b	(-.f64 (cbrt.f64 (pow.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x))) 3)) (/.f64 a (*.f64 b 3)))
▶	21.2b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 (.f64 t 1/3) z)) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (/.f64 a (*.f64 b 3)))
	47.6b	(-.f64 (log.f64 (pow.f64 (exp.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z))))) (.f64 2 (sqrt.f64 x)))) (/.f64 a (.f64 b 3)))
	21.2b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 (sqrt.f64 1/3) (.f64 (.f64 t z) (sqrt.f64 1/3)))) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (/.f64 a (.f64 b 3)))
	36.9b	(-.f64 (exp.f64 (log.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x))))) (/.f64 a (*.f64 b 3)))
	21.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (.f64 (.f64 t z) (cbrt.f64 1/3)))) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (/.f64 a (*.f64 b 3)))
	37.7b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 z)) t))) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (/.f64 a (*.f64 b 3)))
	26.6b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (+.f64 (cos.f64 y) (.f64 1/3 (.f64 (.f64 t z) (sin.f64 y))))) (/.f64 a (.f64 b 3)))
	22.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z (/.f64 t (sqrt.f64 3))) (sqrt.f64 3))))) (/.f64 a (.f64 b 3)))
	22.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (.f64 a (/.f64 1/3 b)))
	21.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 1/3 (.f64 t z))) (cos.f64 y)) (.f64 (cbrt.f64 (pow.f64 (sin.f64 (.f64 (.f64 t z) -1/3)) 3)) (sin.f64 y)))) (/.f64 a (*.f64 b 3)))
	22.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 1 (/.f64 b (/.f64 a 3))))
	21.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/3 (.f64 t z))) 3)) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (/.f64 a (*.f64 b 3)))
	22.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (.f64 (.f64 (cbrt.f64 (.f64 1/3 (.f64 t z))) (cbrt.f64 (.f64 1/3 (.f64 t z)))) (cbrt.f64 (.f64 1/3 (.f64 t z))))))) (/.f64 a (*.f64 b 3)))
	46.8b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 a b)))))
	28.7b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (cbrt.f64 (pow.f64 (.f64 1/3 (.f64 t z)) 3))))) (/.f64 a (*.f64 b 3)))
	22.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (log.f64 (exp.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z))))))) (/.f64 a (*.f64 b 3)))
	36.0b	(-.f64 (.f64 (sqrt.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x)))) (sqrt.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x))))) (/.f64 a (.f64 b 3)))
	29.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (.f64 1/3 (.f64 t z)))) (/.f64 a (*.f64 b 3)))
	39.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (.f64 (sqrt.f64 (.f64 1/3 (.f64 t z))) (sqrt.f64 (.f64 1/3 (.f64 t z))))))) (/.f64 a (.f64 b 3)))

Compiler

Compiled 3059 to 2069 computations (32.4% saved)

localize27.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 t 1/3)
0.3b	(.f64 (sin.f64 (.f64 z (*.f64 t -1/3))) (sin.f64 y))
29.3b	(sin.f64 (.f64 z (.f64 t -1/3)))
29.4b	(cos.f64 (.f64 (.f64 t 1/3) z))

rewrite170.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

19.7b

Rules

12×	`add-sqr-sqrt_binary64`
8×	`*-un-lft-identity_binary64`
8×	`add-cube-cbrt_binary64`
8×	`add-cbrt-cube_binary64`
8×	`add-exp-log_binary64`

Counts

4 → 51

Calls

4 calls:

4.0ms	(.f64 (sin.f64 (.f64 z (*.f64 t -1/3))) (sin.f64 y))
3.0ms	(*.f64 t 1/3)
2.0ms	(cos.f64 (.f64 (.f64 t 1/3) z))
2.0ms	(sin.f64 (.f64 z (.f64 t -1/3)))

Compiler

Compiled 1746 to 1098 computations (37.1% saved)

series120.0ms (0.8%)

Error

19.8b

Counts

4 → 33

Calls

4 calls:

38.0ms	(.f64 (sin.f64 (.f64 z (*.f64 t -1/3))) (sin.f64 y))
21.0ms	(cos.f64 (.f64 (.f64 t 1/3) z))
18.0ms	(sin.f64 (.f64 z (.f64 t -1/3)))
6.0ms	(*.f64 t 1/3)

Compiler

Compiled 2735 to 1996 computations (27% saved)

simplify133.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

373×	`neg-mul-1_binary64`
359×	`neg-sub0_binary64`
354×	`unswap-sqr_binary64`
348×	`distribute-rgt-neg-in_binary64`
291×	`*-commutative_binary64`

Counts

84 → 60

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	124	1196
1	265	1076
2	727	1066
3	1185	1066
4	1894	1066
5	3696	1066
6	4291	1066
7	4835	1066
8	4800	1066

prune176.0ms (1.1%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	58	2	60
Fresh	2	24	26
Picked	1	0	1
Done	0	0	0
Total	61	26	87

Error

19.7b

Counts

87 → 26

Alt Table

Status	Error	Program
	21.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 1/3 (.f64 t z))) (cos.f64 y)) (.f64 (.f64 (sin.f64 (.f64 (.f64 t z) -1/3)) (.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))) (cbrt.f64 (sin.f64 y))))) (/.f64 a (*.f64 b 3)))
	22.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (.f64 (.f64 (cbrt.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z))))) (cbrt.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))))) (cbrt.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z))))))) (/.f64 a (*.f64 b 3)))
	39.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (log.f64 (pow.f64 (cbrt.f64 (exp.f64 t)) z))))) (/.f64 a (*.f64 b 3)))
	39.5b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (exp.f64 (log.f64 (.f64 1/3 (.f64 t z))))))) (/.f64 a (*.f64 b 3)))
	22.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cbrt.f64 (pow.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) 3))) (/.f64 a (*.f64 b 3)))
	36.0b	(-.f64 (.f64 (sqrt.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x)))) (sqrt.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x))))) (/.f64 a (.f64 b 3)))
	21.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 1/3 (cbrt.f64 t))) z)) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (/.f64 a (*.f64 b 3)))
	22.6b	(-.f64 (.f64 (.f64 (cbrt.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x)))) (cbrt.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x))))) (cbrt.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x))))) (/.f64 a (*.f64 b 3)))
	22.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 1/3 (.f64 t z))) (cos.f64 y)) (/.f64 (-.f64 (cos.f64 (-.f64 (.f64 (.f64 t z) -1/3) y)) (cos.f64 (+.f64 (.f64 (.f64 t z) -1/3) y))) 2))) (/.f64 a (.f64 b 3)))
	47.6b	(-.f64 (log.f64 (pow.f64 (exp.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z))))) (.f64 2 (sqrt.f64 x)))) (/.f64 a (.f64 b 3)))
▶	21.2b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 (sqrt.f64 1/3) (.f64 (.f64 t z) (sqrt.f64 1/3)))) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (/.f64 a (.f64 b 3)))
	36.9b	(-.f64 (exp.f64 (log.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x))))) (/.f64 a (*.f64 b 3)))
	21.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (.f64 (.f64 t z) (cbrt.f64 1/3)))) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (/.f64 a (*.f64 b 3)))
	37.7b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 z)) t))) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (/.f64 a (*.f64 b 3)))
	26.6b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (+.f64 (cos.f64 y) (.f64 1/3 (.f64 (.f64 t z) (sin.f64 y))))) (/.f64 a (.f64 b 3)))
	22.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z (/.f64 t (sqrt.f64 3))) (sqrt.f64 3))))) (/.f64 a (.f64 b 3)))
	22.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (.f64 a (/.f64 1/3 b)))
	22.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 (.f64 t 1/3) z)) (cos.f64 y)) (/.f64 (-.f64 (cos.f64 (-.f64 (.f64 (.f64 t z) -1/3) y)) (cos.f64 (+.f64 (.f64 (.f64 t z) -1/3) y))) 2))) (/.f64 a (.f64 b 3)))
	22.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 1 (/.f64 b (/.f64 a 3))))
	21.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/3 (.f64 t z))) 3)) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (/.f64 a (*.f64 b 3)))
	28.7b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (cbrt.f64 (pow.f64 (.f64 1/3 (.f64 t z)) 3))))) (/.f64 a (*.f64 b 3)))
	22.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (log.f64 (exp.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z))))))) (/.f64 a (*.f64 b 3)))
	31.3b	(-.f64 (cbrt.f64 (pow.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x))) 3)) (/.f64 a (*.f64 b 3)))
	29.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (.f64 1/3 (.f64 t z)))) (/.f64 a (*.f64 b 3)))
	39.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (.f64 (sqrt.f64 (.f64 1/3 (.f64 t z))) (sqrt.f64 (.f64 1/3 (.f64 t z))))))) (/.f64 a (.f64 b 3)))
	22.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (.f64 (.f64 (cbrt.f64 (.f64 1/3 (.f64 t z))) (cbrt.f64 (.f64 1/3 (.f64 t z)))) (cbrt.f64 (.f64 1/3 (.f64 t z))))))) (/.f64 a (*.f64 b 3)))

Compiler

Compiled 3150 to 2137 computations (32.2% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (sqrt.f64 1/3) (.f64 (*.f64 t z) (sqrt.f64 1/3)))
0.3b	(.f64 (.f64 t z) (sqrt.f64 1/3))
29.3b	(sin.f64 (.f64 z (.f64 t -1/3)))
29.3b	(cos.f64 (.f64 (sqrt.f64 1/3) (.f64 (*.f64 t z) (sqrt.f64 1/3))))

rewrite243.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

19.7b

Rules

18×	`add-cbrt-cube_binary64`
18×	`add-exp-log_binary64`
18×	`pow1_binary64`
9×	`cbrt-unprod_binary64`
9×	`prod-exp_binary64`

Counts

4 → 59

Calls

4 calls:

7.0ms	(.f64 (sqrt.f64 1/3) (.f64 (*.f64 t z) (sqrt.f64 1/3)))
5.0ms	(.f64 (.f64 t z) (sqrt.f64 1/3))
4.0ms	(cos.f64 (.f64 (sqrt.f64 1/3) (.f64 (*.f64 t z) (sqrt.f64 1/3))))
2.0ms	(sin.f64 (.f64 z (.f64 t -1/3)))

Compiler

Compiled 2135 to 1389 computations (34.9% saved)

series165.0ms (1.1%)

Error

19.7b

Counts

4 → 30

Calls

4 calls:

68.0ms	(.f64 (.f64 t z) (sqrt.f64 1/3))
29.0ms	(cos.f64 (.f64 (sqrt.f64 1/3) (.f64 (*.f64 t z) (sqrt.f64 1/3))))
24.0ms	(.f64 (sqrt.f64 1/3) (.f64 (*.f64 t z) (sqrt.f64 1/3)))
21.0ms	(sin.f64 (.f64 z (.f64 t -1/3)))

Compiler

Compiled 2605 to 1983 computations (23.9% saved)

simplify89.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

530×	`distribute-rgt-neg-in_binary64`
490×	`distribute-lft-neg-in_binary64`
414×	`*-commutative_binary64`
400×	`unswap-sqr_binary64`
260×	`cancel-sign-sub-inv_binary64`

Counts

89 → 67

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	116	1266
1	264	958
2	847	958
3	1546	949
4	3138	949
5	4803	949
6	4937	949

prune138.0ms (0.9%)

Pruning

29 alts after pruning (29 fresh and 0 done)

	Pruned	Kept	Total
New	61	6	67
Fresh	2	23	25
Picked	1	0	1
Done	0	0	0
Total	64	29	93

Error

19.7b

Counts

93 → 29

Alt Table

Status	Error	Program
	21.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 1/3 (.f64 t z))) (cos.f64 y)) (.f64 (.f64 (sin.f64 (.f64 (.f64 t z) -1/3)) (.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y)))) (cbrt.f64 (sin.f64 y))))) (/.f64 a (*.f64 b 3)))
	22.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (.f64 (.f64 (cbrt.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z))))) (cbrt.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))))) (cbrt.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z))))))) (/.f64 a (*.f64 b 3)))
	21.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 (sqrt.f64 (.f64 (cbrt.f64 1/3) (cbrt.f64 1/3))) (.f64 (.f64 (sqrt.f64 1/3) (.f64 t z)) (sqrt.f64 (cbrt.f64 1/3))))) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (/.f64 a (.f64 b 3)))
	39.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (log.f64 (pow.f64 (cbrt.f64 (exp.f64 t)) z))))) (/.f64 a (*.f64 b 3)))
	39.5b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (exp.f64 (log.f64 (.f64 1/3 (.f64 t z))))))) (/.f64 a (*.f64 b 3)))
	22.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cbrt.f64 (pow.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) 3))) (/.f64 a (*.f64 b 3)))
	36.0b	(-.f64 (.f64 (sqrt.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x)))) (sqrt.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x))))) (/.f64 a (.f64 b 3)))
	21.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 1/3 (cbrt.f64 t))) z)) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (/.f64 a (*.f64 b 3)))
	38.7b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 (sqrt.f64 1/3) (exp.f64 (log.f64 (.f64 (sqrt.f64 1/3) (.f64 t z)))))) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (/.f64 a (.f64 b 3)))
	22.6b	(-.f64 (.f64 (.f64 (cbrt.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x)))) (cbrt.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x))))) (cbrt.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x))))) (/.f64 a (*.f64 b 3)))
	22.1b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 1/3 (.f64 t z))) (cos.f64 y)) (/.f64 (-.f64 (cos.f64 (-.f64 (.f64 (.f64 t z) -1/3) y)) (cos.f64 (+.f64 (.f64 (.f64 t z) -1/3) y))) 2))) (/.f64 a (.f64 b 3)))
	36.9b	(-.f64 (exp.f64 (log.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x))))) (/.f64 a (*.f64 b 3)))
	21.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 1/3) (cbrt.f64 1/3)) (.f64 (.f64 t z) (cbrt.f64 1/3)))) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (/.f64 a (*.f64 b 3)))
	37.7b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 z)) t))) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (/.f64 a (*.f64 b 3)))
	26.6b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (+.f64 (cos.f64 y) (.f64 1/3 (.f64 (.f64 t z) (sin.f64 y))))) (/.f64 a (.f64 b 3)))
	22.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z (/.f64 t (sqrt.f64 3))) (sqrt.f64 3))))) (/.f64 a (.f64 b 3)))
	22.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (.f64 z t) 3)))) (.f64 a (/.f64 1/3 b)))
	22.0b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 (.f64 t 1/3) z)) (cos.f64 y)) (/.f64 (-.f64 (cos.f64 (-.f64 (.f64 (.f64 t z) -1/3) y)) (cos.f64 (+.f64 (.f64 (.f64 t z) -1/3) y))) 2))) (/.f64 a (.f64 b 3)))
	27.8b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (cbrt.f64 (pow.f64 (.f64 1/3 (.f64 t z)) 3))) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (/.f64 a (*.f64 b 3)))
	38.7b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 (sqrt.f64 1/3) (.f64 (sqrt.f64 (.f64 (sqrt.f64 1/3) (.f64 t z))) (sqrt.f64 (.f64 (sqrt.f64 1/3) (.f64 t z)))))) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (/.f64 a (*.f64 b 3)))
	22.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (/.f64 (*.f64 z t) 3)))) (/.f64 1 (/.f64 b (/.f64 a 3))))
	21.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/3 (.f64 t z))) 3)) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (/.f64 a (*.f64 b 3)))
	21.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 (sqrt.f64 1/3) (.f64 (.f64 (cbrt.f64 (.f64 (sqrt.f64 1/3) (.f64 t z))) (cbrt.f64 (.f64 (sqrt.f64 1/3) (.f64 t z)))) (cbrt.f64 (.f64 (sqrt.f64 1/3) (.f64 t z)))))) (cos.f64 y)) (.f64 (sin.f64 (.f64 z (.f64 t -1/3))) (sin.f64 y)))) (/.f64 a (.f64 b 3)))
	21.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (-.f64 (.f64 (cos.f64 (.f64 (sqrt.f64 1/3) (.f64 (.f64 t z) (sqrt.f64 1/3)))) (cos.f64 y)) (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (.f64 t z) -1/3))) (cbrt.f64 (sin.f64 (.f64 (.f64 t z) -1/3)))) (cbrt.f64 (sin.f64 (.f64 (.f64 t z) -1/3)))) (sin.f64 y)))) (/.f64 a (.f64 b 3)))
	29.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (.f64 1/3 (.f64 t z)))) (/.f64 a (*.f64 b 3)))
	22.3b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (log.f64 (exp.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z))))))) (/.f64 a (*.f64 b 3)))
	31.3b	(-.f64 (cbrt.f64 (pow.f64 (.f64 2 (.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z)))) (sqrt.f64 x))) 3)) (/.f64 a (*.f64 b 3)))
	47.6b	(-.f64 (log.f64 (pow.f64 (exp.f64 (cos.f64 (-.f64 y (.f64 1/3 (.f64 t z))))) (.f64 2 (sqrt.f64 x)))) (/.f64 a (.f64 b 3)))
	22.4b	(-.f64 (.f64 (.f64 2 (sqrt.f64 x)) (cos.f64 (-.f64 y (.f64 (.f64 (cbrt.f64 (.f64 1/3 (.f64 t z))) (cbrt.f64 (.f64 1/3 (.f64 t z)))) (cbrt.f64 (.f64 1/3 (.f64 t z))))))) (/.f64 a (*.f64 b 3)))

Compiler

Compiled 2450 to 1654 computations (32.5% saved)

regimes6.1s (39.7%)

Accuracy

Total -2.2b remaining (-13%)

Threshold costs -2.2b (-13%)

Compiler

Compiled 123174 to 92383 computations (25% saved)

bsearch19.0ms (0.1%)

Compiler: Compiled 13 to 10 computations (23.1% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

21×	`*-commutative_binary64`
13×	`+-commutative_binary64`
13×	`sub-neg_binary64`
9×	`neg-sub0_binary64`
9×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	120
1	71	120
2	92	120
3	112	120
4	126	120
5	133	120
6	135	120
7	135	120

end10.0ms (0.1%)

Compiler: Compiled 246 to 177 computations (28% saved)

sample4.9s (31.7%)

Algorithm

1×

intervals

Results

858.0ms	1639×	body	1024	valid
623.0ms	729×	body	2048	valid
468.0ms	4552×	body	128	valid
238.0ms	741×	body	512	valid
232.0ms	2312×	body	128	nan
112.0ms	1136×	body	128	invalid
76.0ms	338×	body	256	valid
3.0ms	1×	body	4096	valid

Compiler

Compiled 1210 to 900 computations (25.6% saved)

Iter	Nodes	Cost
0	19	29
1	33	29
2	61	29
3	106	29
4	188	29
5	282	29
6	392	29
7	494	29
8	604	29
9	715	29
10	843	29
11	883	29
12	866	29
13	868	29
14	868	29
15	757	29

Iter	Nodes	Cost
0	19	29
1	33	29
2	61	29
3	106	29
4	188	29
5	282	29
6	392	29
7	494	29
8	604	29
9	715	29
10	843	29
11	883	29
12	866	29
13	868	29
14	868	29
15	757	29

Details

analyze1.8s (11.5%)

sample112.0ms (0.7%)

simplify52.0ms (0.3%)

prune2.0ms (0%)

localize14.0ms (0.1%)

rewrite172.0ms (1.1%)

series146.0ms (1%)

simplify120.0ms (0.8%)

prune117.0ms (0.8%)

localize26.0ms (0.2%)

rewrite174.0ms (1.1%)

series141.0ms (0.9%)

simplify88.0ms (0.6%)

prune135.0ms (0.9%)

localize27.0ms (0.2%)

rewrite170.0ms (1.1%)

series120.0ms (0.8%)

simplify133.0ms (0.9%)

prune176.0ms (1.1%)

localize26.0ms (0.2%)

rewrite243.0ms (1.6%)

series165.0ms (1.1%)

simplify89.0ms (0.6%)

prune138.0ms (0.9%)

regimes6.1s (39.7%)

bsearch19.0ms (0.1%)

simplify9.0ms (0.1%)

end10.0ms (0.1%)

sample4.9s (31.7%)

Profiling

Iter	Nodes	Cost
0	19	29
1	33	29
2	61	29
3	106	29
4	188	29
5	282	29
6	392	29
7	494	29
8	604	29
9	715	29
10	843	29
11	883	29
12	866	29
13	868	29
14	868	29
15	757	29