Details

analyze177.0ms (1.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
99.7%	0%	0.3%	1

Compiler

Compiled 34 to 27 computations (20.6% saved)

sample215.0ms (1.6%)

Algorithm

1×

intervals

Results

101.0ms	81×	body	2048	valid
55.0ms	74×	body	1024	valid
18.0ms	7×	body	4096	valid
12.0ms	61×	body	128	valid
9.0ms	25×	body	512	valid
2.0ms	8×	body	256	valid

Compiler

Compiled 73 to 59 computations (19.2% saved)

simplify44.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

259×	`associate-/l*_binary64`
218×	`*-commutative_binary64`
216×	`distribute-lft-in_binary64`
212×	`associate-/r/_binary64`
212×	`distribute-rgt-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	24	41
1	45	41
2	99	41
3	188	41
4	397	41
5	548	41
6	669	35
7	907	35
8	947	35
9	994	35
10	1006	35
11	1006	35
12	990	35

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

Error

46.1b

Counts

2 → 2

Alt Table

Status	Error	Program
▶	46.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	47.0b	(.f64 (.f64 x (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (.f64 (.f64 (+.f64 (.f64 a 2) 1) b) t) 16)))

Status

Error

Program

▶

46.2b

(*.f64 (*.f64 x (cos.f64 (*.f64 (*.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))) (cos.f64 (*.f64 (*.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))))

47.0b

(*.f64 (*.f64 x (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 y 2) 1) z) t) 16))) (cos.f64 (/.f64 (*.f64 (*.f64 (+.f64 (*.f64 a 2) 1) b) t) 16)))

Compiler

Compiled 153 to 118 computations (22.9% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.1b	(.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))
2.9b	(.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))
32.0b	(cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))
39.4b	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))

rewrite154.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

44.1b

Rules

14×	`add-cbrt-cube_binary64`
14×	`add-exp-log_binary64`
14×	`pow1_binary64`
6×	`associate-r_binary64`
6×	`cbrt-unprod_binary64`

Counts

4 → 62

Calls

4 calls:

5.0ms	(.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))
5.0ms	(.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))
2.0ms	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))
2.0ms	(cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))

Compiler

Compiled 1922 to 1229 computations (36.1% saved)

series175.0ms (1.3%)

Error

42.2b

Counts

4 → 48

Calls

4 calls:

38.0ms	(cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8))))
38.0ms	(.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))
36.0ms	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))
35.0ms	(.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))

Compiler

Compiled 3480 to 2559 computations (26.5% saved)

simplify116.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

814×	`distribute-rgt-in_binary64`
408×	`associate-l_binary64`
383×	`associate-r_binary64`
255×	`cancel-sign-sub-inv_binary64`
202×	`exp-prod_binary64`

Counts

110 → 90

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	216	2124
1	546	1852
2	2086	1798
3	4826	1798
4	4987	1798
5	4956	1798

prune159.0ms (1.2%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	70	20	90
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	72	20	92

Error

43.8b

Counts

92 → 20

Alt Table

Status	Error	Program
	46.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (.f64 t z) (.f64 (cbrt.f64 (+.f64 1/16 (.f64 y 1/8))) (cbrt.f64 (+.f64 1/16 (.f64 y 1/8))))) (cbrt.f64 (+.f64 1/16 (.f64 y 1/8)))))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	46.8b	(.f64 (.f64 x (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8))))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	46.8b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8))))) (cbrt.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))) (cbrt.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	46.8b	(.f64 (.f64 x (cbrt.f64 (pow.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8))))) 3))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	53.8b	(.f64 (.f64 x (cos.f64 (exp.f64 (log.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	46.8b	(.f64 (.f64 x (-.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (cos.f64 (.f64 t (.f64 z (.f64 y 1/8))))) (.f64 (sin.f64 (.f64 1/16 (.f64 t z))) (sin.f64 (.f64 t (.f64 z (.f64 y 1/8))))))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))))
	49.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cos.f64 (.f64 (.f64 (.f64 t b) (sqrt.f64 (+.f64 1/16 (.f64 1/8 a)))) (sqrt.f64 (+.f64 1/16 (.f64 a 1/8))))))
	46.8b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 z (.f64 y 1/8))))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	46.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cos.f64 (.f64 (.f64 (.f64 t b) (.f64 (cbrt.f64 (+.f64 1/16 (.f64 1/8 a))) (cbrt.f64 (+.f64 1/16 (.f64 1/8 a))))) (cbrt.f64 (+.f64 1/16 (.f64 a 1/8))))))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cos.f64 (.f64 t (.f64 1/8 (.f64 a b)))))
	54.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cos.f64 (exp.f64 (log.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))))))
	46.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a)))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))))))
	46.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))) 3)))
▶	46.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (log.f64 (exp.f64 (cos.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))))))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (-.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (cos.f64 (.f64 t (.f64 1/8 (.f64 a b))))) (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (sin.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))))
	48.1b	(.f64 (.f64 x (.f64 (sqrt.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))) (sqrt.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	48.3b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))) 3)))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	47.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (-.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (.f64 1/8 (.f64 a (.f64 t (.f64 b (sin.f64 (.f64 1/16 (*.f64 t b)))))))))
	46.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))) (cbrt.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a)))))) (cbrt.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))))))
	47.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a)))) 3))))

Compiler

Compiled 2940 to 2107 computations (28.3% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.1b	(.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))
2.4b	(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
32.0b	(cos.f64 (.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a)))))
39.4b	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))

rewrite221.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

43.6b

Rules

14×	`add-cbrt-cube_binary64`
14×	`add-exp-log_binary64`
14×	`pow1_binary64`
10×	`distribute-lft-in_binary64`
10×	`distribute-rgt-in_binary64`

Counts

4 → 66

Calls

4 calls:

6.0ms	(.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))
6.0ms	(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
3.0ms	(cos.f64 (.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a)))))
2.0ms	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))

Compiler

Compiled 2149 to 1482 computations (31% saved)

series172.0ms (1.3%)

Error

41.4b

Counts

4 → 45

Calls

4 calls:

45.0ms	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))
33.0ms	(.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))
32.0ms	(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
23.0ms	(cos.f64 (.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a)))))

Compiler

Compiled 3289 to 2474 computations (24.8% saved)

simplify68.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

873×	`distribute-rgt-in_binary64`
868×	`distribute-lft-in_binary64`
319×	`associate-l_binary64`
305×	`associate-r_binary64`
175×	`*-commutative_binary64`

Counts

111 → 80

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	219	2100
1	485	1852
2	1761	1822
3	5574	1822

prune169.0ms (1.3%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	72	8	80
Fresh	4	15	19
Picked	1	0	1
Done	0	0	0
Total	77	23	100

Error

43.8b

Counts

100 → 23

Alt Table

Status	Error	Program
	46.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (.f64 t z) (.f64 (cbrt.f64 (+.f64 1/16 (.f64 y 1/8))) (cbrt.f64 (+.f64 1/16 (.f64 y 1/8))))) (cbrt.f64 (+.f64 1/16 (.f64 y 1/8)))))) (log.f64 (exp.f64 (cos.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))))))
	46.8b	(.f64 (.f64 x (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8))))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (log.f64 (exp.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (.f64 (+.f64 1/16 (.f64 1/8 a)) b) (cbrt.f64 t)))))))
	46.8b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8))))) (cbrt.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))) (cbrt.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	46.8b	(.f64 (.f64 x (cbrt.f64 (pow.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8))))) 3))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	46.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (log.f64 (exp.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b))) (cbrt.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b)))) (cbrt.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b))))))))
	48.3b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))) 3)))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	54.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (log.f64 (exp.f64 (cos.f64 (exp.f64 (log.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b))))))))
	53.8b	(.f64 (.f64 x (cos.f64 (exp.f64 (log.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	46.8b	(.f64 (.f64 x (-.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (cos.f64 (.f64 t (.f64 z (.f64 y 1/8))))) (.f64 (sin.f64 (.f64 1/16 (.f64 t z))) (sin.f64 (.f64 t (.f64 z (.f64 y 1/8))))))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (*.f64 a 1/8)))))
	46.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (log.f64 (exp.f64 (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b)))) (cbrt.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b))))))))
	49.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cos.f64 (.f64 (.f64 (.f64 t b) (sqrt.f64 (+.f64 1/16 (.f64 1/8 a)))) (sqrt.f64 (+.f64 1/16 (.f64 a 1/8))))))
	46.8b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 z (.f64 y 1/8))))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	46.9b	(.f64 (.f64 x (-.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (cos.f64 (.f64 t (.f64 z (.f64 y 1/8))))) (.f64 (sin.f64 (.f64 1/16 (.f64 t z))) (sin.f64 (.f64 t (.f64 z (.f64 y 1/8))))))) (log.f64 (exp.f64 (cos.f64 (.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))))))
	46.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cos.f64 (.f64 (.f64 (.f64 t b) (.f64 (cbrt.f64 (+.f64 1/16 (.f64 1/8 a))) (cbrt.f64 (+.f64 1/16 (.f64 1/8 a))))) (cbrt.f64 (+.f64 1/16 (.f64 a 1/8))))))
	46.9b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 z (.f64 y 1/8))))) (log.f64 (exp.f64 (cos.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))))))
	47.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (-.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (.f64 1/8 (.f64 a (.f64 t (.f64 b (sin.f64 (.f64 1/16 (*.f64 t b)))))))))
	54.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cos.f64 (exp.f64 (log.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))))))
▶	46.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))) 3)))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (-.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (cos.f64 (.f64 t (.f64 1/8 (.f64 a b))))) (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (sin.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))))
	48.1b	(.f64 (.f64 x (.f64 (sqrt.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))) (sqrt.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (log.f64 (exp.f64 (cos.f64 (.f64 t (.f64 1/8 (.f64 a b)))))))
	47.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a)))) 3))))

Compiler

Compiled 3202 to 2353 computations (26.5% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.1b	(.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))
2.4b	(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
32.0b	(cos.f64 (.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a)))))
39.4b	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))

rewrite266.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

43.6b

Rules

14×	`add-cbrt-cube_binary64`
14×	`add-exp-log_binary64`
14×	`pow1_binary64`
10×	`distribute-lft-in_binary64`
10×	`distribute-rgt-in_binary64`

Counts

4 → 66

Calls

4 calls:

8.0ms	(cos.f64 (.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a)))))
6.0ms	(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
5.0ms	(.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))
2.0ms	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))

Compiler

Compiled 2210 to 1543 computations (30.2% saved)

series185.0ms (1.4%)

Error

41.3b

Counts

4 → 48

Calls

4 calls:

38.0ms	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))
37.0ms	(cos.f64 (.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a)))))
31.0ms	(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
31.0ms	(.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))

Compiler

Compiled 3786 to 2874 computations (24.1% saved)

simplify74.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

879×	`distribute-rgt-in_binary64`
870×	`distribute-lft-in_binary64`
345×	`associate-l_binary64`
343×	`associate-r_binary64`
228×	`cancel-sign-sub-inv_binary64`

Counts

114 → 82

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	236	2242
1	540	1970
2	1960	1916
3	6166	1916

prune159.0ms (1.2%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	73	9	82
Fresh	6	16	22
Picked	1	0	1
Done	0	0	0
Total	80	25	105

Error

43.8b

Counts

105 → 25

Alt Table

Status	Error	Program
	53.8b	(.f64 (.f64 x (cos.f64 (exp.f64 (log.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))) 3)))
	48.1b	(.f64 (.f64 x (.f64 (sqrt.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))) (sqrt.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
▶	46.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))) 3)) 3)))
	46.8b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8))))) (cbrt.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))) (cbrt.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	46.8b	(.f64 (.f64 x (cbrt.f64 (pow.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8))))) 3))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cbrt.f64 (pow.f64 (-.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (cos.f64 (.f64 t (.f64 1/8 (.f64 a b))))) (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (sin.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))) 3)))
	46.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (log.f64 (exp.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b))) (cbrt.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b)))) (cbrt.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b))))))))
	48.3b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))) 3)))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	47.0b	(.f64 (.f64 x (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8))))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))) 3)))
	54.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (log.f64 (exp.f64 (cos.f64 (exp.f64 (log.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b))))))))
	53.8b	(.f64 (.f64 x (cos.f64 (exp.f64 (log.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	46.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (log.f64 (exp.f64 (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b)))) (cbrt.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b))))))))
	49.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cos.f64 (.f64 (.f64 (.f64 t b) (sqrt.f64 (+.f64 1/16 (.f64 1/8 a)))) (sqrt.f64 (+.f64 1/16 (.f64 a 1/8))))))
	46.9b	(.f64 (.f64 x (-.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (cos.f64 (.f64 t (.f64 z (.f64 y 1/8))))) (.f64 (sin.f64 (.f64 1/16 (.f64 t z))) (sin.f64 (.f64 t (.f64 z (.f64 y 1/8))))))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))) 3)))
	46.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cos.f64 (.f64 (.f64 (.f64 t b) (.f64 (cbrt.f64 (+.f64 1/16 (.f64 1/8 a))) (cbrt.f64 (+.f64 1/16 (.f64 1/8 a))))) (cbrt.f64 (+.f64 1/16 (.f64 a 1/8))))))
	46.9b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 z (.f64 y 1/8))))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))) 3)))
	46.9b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 z (.f64 y 1/8))))) (log.f64 (exp.f64 (cos.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))))))
	47.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (-.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (.f64 1/8 (.f64 a (.f64 t (.f64 b (sin.f64 (.f64 1/16 (*.f64 t b)))))))))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 t (.f64 1/8 (.f64 a b)))) 3)))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (log.f64 (exp.f64 (cos.f64 (.f64 t (.f64 1/8 (.f64 a b)))))))
	54.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cos.f64 (exp.f64 (log.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))))))
	46.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (.f64 t z) (.f64 (cbrt.f64 (+.f64 1/16 (.f64 y 1/8))) (cbrt.f64 (+.f64 1/16 (.f64 y 1/8))))) (cbrt.f64 (+.f64 1/16 (.f64 y 1/8)))))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))) 3)))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (-.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (cos.f64 (.f64 t (.f64 1/8 (.f64 a b))))) (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (sin.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (.f64 b (+.f64 1/16 (.f64 1/8 a))) (cbrt.f64 t)))) 3)))
	47.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a)))) 3))))

Compiler

Compiled 3158 to 2342 computations (25.8% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.1b	(.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))
2.4b	(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
32.0b	(cos.f64 (.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a)))))
39.4b	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))

rewrite261.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

43.6b

Rules

14×	`add-cbrt-cube_binary64`
14×	`add-exp-log_binary64`
14×	`pow1_binary64`
10×	`distribute-lft-in_binary64`
10×	`distribute-rgt-in_binary64`

Counts

4 → 66

Calls

4 calls:

7.0ms	(.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))
6.0ms	(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))
3.0ms	(cos.f64 (.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a)))))
2.0ms	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))

Compiler

Compiled 2393 to 1726 computations (27.9% saved)

series214.0ms (1.6%)

Error

41.3b

Counts

4 → 48

Calls

4 calls:

42.0ms	(.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8)))
40.0ms	(cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (*.f64 y 1/8))))
38.0ms	(cos.f64 (.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a)))))
35.0ms	(.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))

Compiler

Compiled 4092 to 3180 computations (22.3% saved)

simplify125.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

879×	`distribute-rgt-in_binary64`
870×	`distribute-lft-in_binary64`
345×	`associate-l_binary64`
343×	`associate-r_binary64`
228×	`cancel-sign-sub-inv_binary64`

Counts

114 → 82

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	236	2242
1	540	1970
2	1960	1916
3	6166	1916

prune156.0ms (1.2%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	77	5	82
Fresh	5	19	24
Picked	1	0	1
Done	0	0	0
Total	83	24	107

Error

43.8b

Counts

107 → 24

Alt Table

Status	Error	Program
	54.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cos.f64 (exp.f64 (log.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))))))
	46.9b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 z (.f64 y 1/8))))) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))) 3)) 3)))
	46.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (.f64 t z) (.f64 (cbrt.f64 (+.f64 1/16 (.f64 y 1/8))) (cbrt.f64 (+.f64 1/16 (.f64 y 1/8))))) (cbrt.f64 (+.f64 1/16 (.f64 y 1/8)))))) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))) 3)) 3)))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (-.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (cos.f64 (.f64 t (.f64 1/8 (.f64 a b))))) (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (sin.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))))
	53.8b	(.f64 (.f64 x (cos.f64 (exp.f64 (log.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))))) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))) 3)) 3)))
	46.8b	(.f64 (.f64 x (cbrt.f64 (pow.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8))))) 3))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	46.8b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8))))) (cbrt.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))) (cbrt.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cbrt.f64 (pow.f64 (-.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (cos.f64 (.f64 t (.f64 1/8 (.f64 a b))))) (.f64 (sin.f64 (.f64 1/16 (.f64 t b))) (sin.f64 (.f64 t (.f64 1/8 (*.f64 a b)))))) 3)))
	46.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (log.f64 (exp.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b))) (cbrt.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b)))) (cbrt.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b))))))))
	48.3b	(.f64 (.f64 x (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))) 3)))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (.f64 b (+.f64 1/16 (.f64 1/8 a))) (cbrt.f64 t)))) 3)) 3)))
	47.0b	(.f64 (.f64 x (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8))))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))) 3)))
	54.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (log.f64 (exp.f64 (cos.f64 (exp.f64 (log.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b))))))))
	53.8b	(.f64 (.f64 x (cos.f64 (exp.f64 (log.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	46.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (log.f64 (exp.f64 (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b)))) (cbrt.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b))))) (cbrt.f64 (cos.f64 (.f64 t (.f64 (+.f64 1/16 (.f64 1/8 a)) b))))))))
	49.4b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cos.f64 (.f64 (.f64 (.f64 t b) (sqrt.f64 (+.f64 1/16 (.f64 1/8 a)))) (sqrt.f64 (+.f64 1/16 (.f64 a 1/8))))))
	46.9b	(.f64 (.f64 x (-.f64 (.f64 (cos.f64 (.f64 1/16 (.f64 t z))) (cos.f64 (.f64 t (.f64 z (.f64 y 1/8))))) (.f64 (sin.f64 (.f64 1/16 (.f64 t z))) (sin.f64 (.f64 t (.f64 z (.f64 y 1/8))))))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 t (.f64 b (+.f64 1/16 (*.f64 1/8 a))))) 3)))
	46.5b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cos.f64 (.f64 (.f64 (.f64 t b) (.f64 (cbrt.f64 (+.f64 1/16 (.f64 1/8 a))) (cbrt.f64 (+.f64 1/16 (.f64 1/8 a))))) (cbrt.f64 (+.f64 1/16 (.f64 a 1/8))))))
	46.9b	(.f64 (.f64 x (cos.f64 (.f64 t (.f64 z (.f64 y 1/8))))) (log.f64 (exp.f64 (cos.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a))))))))
	47.2b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (-.f64 (cos.f64 (.f64 1/16 (.f64 t b))) (.f64 1/8 (.f64 a (.f64 t (.f64 b (sin.f64 (.f64 1/16 (*.f64 t b)))))))))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 t (.f64 1/8 (.f64 a b)))) 3)) 3)))
	48.1b	(.f64 (.f64 x (.f64 (sqrt.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))) (sqrt.f64 (cos.f64 (.f64 t (.f64 z (+.f64 1/16 (.f64 y 1/8)))))))) (cos.f64 (.f64 (.f64 t b) (+.f64 1/16 (.f64 a 1/8)))))
	46.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (log.f64 (exp.f64 (cos.f64 (.f64 t (.f64 1/8 (.f64 a b)))))))
	47.7b	(.f64 (.f64 x (cos.f64 (.f64 (.f64 z t) (+.f64 1/16 (.f64 y 1/8))))) (cos.f64 (cbrt.f64 (pow.f64 (.f64 t (.f64 b (+.f64 1/16 (.f64 1/8 a)))) 3))))

Compiler

Compiled 2238 to 1671 computations (25.3% saved)

regimes3.9s (29.4%)

Accuracy

Total 2.3b remaining (5%)

Threshold costs 0b (0%)

Compiler

Compiled 102810 to 78619 computations (23.5% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
1×	`+-commutative_binary64`
1×	`*-rgt-identity_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	18
1	23	18
2	22	18

end1.0ms (0%)

Compiler: Compiled 18 to 14 computations (22.2% saved)

sample6.1s (46.3%)

Algorithm

1×

intervals

Results

2.6s	2355×	body	2048	valid
1.2s	1947×	body	1024	valid
748.0ms	309×	body	4096	valid
370.0ms	968×	body	512	valid
246.0ms	2004×	body	128	valid
106.0ms	417×	body	256	valid

Compiler

Compiled 1040 to 794 computations (23.7% saved)

Details

analyze177.0ms (1.3%)

sample215.0ms (1.6%)

simplify44.0ms (0.3%)

prune5.0ms (0%)

localize18.0ms (0.1%)

rewrite154.0ms (1.2%)

series175.0ms (1.3%)

simplify116.0ms (0.9%)

prune159.0ms (1.2%)

localize20.0ms (0.2%)

rewrite221.0ms (1.7%)

series172.0ms (1.3%)

simplify68.0ms (0.5%)

prune169.0ms (1.3%)

localize21.0ms (0.2%)

rewrite266.0ms (2%)

series185.0ms (1.4%)

simplify74.0ms (0.6%)

prune159.0ms (1.2%)

localize22.0ms (0.2%)

rewrite261.0ms (2%)

series214.0ms (1.6%)

simplify125.0ms (0.9%)

prune156.0ms (1.2%)

regimes3.9s (29.4%)

simplify4.0ms (0%)

end1.0ms (0%)

sample6.1s (46.3%)

Profiling