Details

analyze3.0ms (0.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
33.3%	25%	50%	0%	0%	25%	0%	3
60%	37.5%	25%	0%	0%	37.5%	0%	4
77.8%	43.7%	12.5%	0%	0%	43.7%	0%	5
88.2%	46.9%	6.2%	0%	0%	46.9%	0%	6
93.9%	48.4%	3.1%	0%	0%	48.4%	0%	7
96.9%	49.2%	1.6%	0%	0%	49.2%	0%	8
98.4%	49.6%	0.8%	0%	0%	49.6%	0%	9
99.2%	49.6%	0.4%	0%	0.2%	49.8%	0%	10
99.6%	49.7%	0.2%	0%	0.2%	49.9%	0%	11
99.8%	49.7%	0.1%	0%	0.2%	49.9%	0%	12

Compiler

Compiled 6 to 4 computations (33.3% saved)

sample921.0ms (15.6%)

Results

904.0ms	8256×	body	256	valid
1.0ms	8×	body	256	invalid
1.0ms	6×	body	256	infinite

Bogosity

preprocess17.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	6
1	5	6
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(*.f64 x (log.f64 x))

Outputs
(*.f64 x (log.f64 x))

Compiler

Compiled 6 to 4 computations (33.3% saved)

simplify10.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	6
1	5	6

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 x (log.f64 x))

Outputs
(*.f64 x (log.f64 x))

eval1.0ms (0%)

Compiler: Compiled 5 to 3 computations (40% saved)

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

0.3b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.3b	(*.f64 x (log.f64 x))

Compiler

Compiled 5 to 3 computations (40% saved)

localize10.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 x (log.f64 x))

Compiler

Compiled 8 to 3 computations (62.5% saved)

series114.0ms (1.9%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
57.0ms	x	@	0	(*.f64 x (log.f64 x))
36.0ms	x	@	-inf	(*.f64 x (log.f64 x))
20.0ms	x	@	inf	(*.f64 x (log.f64 x))

rewrite55.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

348×	`pow1_binary64`
332×	`add-sqr-sqrt_binary64`
327×	`*-un-lft-identity_binary64`
319×	`add-log-exp_binary64`
319×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	6
1	76	6
2	887	6

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

Inputs
(*.f64 x (log.f64 x))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (cbrt.f64 (pow.f64 x (+.f64 x x)))) (log.f64 (cbrt.f64 (pow.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 x x))) (log.f64 (sqrt.f64 (pow.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 1 (.f64 x (log.f64 x))) 3) 1) (+.f64 (.f64 (+.f64 1 (.f64 x (log.f64 x))) (+.f64 1 (.f64 x (log.f64 x)))) (+.f64 1 (.f64 (+.f64 1 (.f64 x (log.f64 x))) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 x (log.f64 x)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 x (log.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 x (log.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 x (log.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (E.f64) (log.f64 (.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 x (log.f64 x))))) (sqrt.f64 (log.f64 (.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (.f64 x (log.f64 x))) 2))) (cbrt.f64 (log.f64 (.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 x (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 x (log.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (pow.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 3 (log.f64 (.f64 x (log.f64 x)))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 x (log.f64 x)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 x (log.f64 x)))) 2))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (cbrt.f64 (pow.f64 x (+.f64 x x)))) (log.f64 (cbrt.f64 (pow.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 x x))) (log.f64 (sqrt.f64 (pow.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 1 (*.f64 x (log.f64 x))) 3) 1) (+.f64 (*.f64 (+.f64 1 (*.f64 x (log.f64 x))) (+.f64 1 (*.f64 x (log.f64 x)))) (+.f64 1 (*.f64 (+.f64 1 (*.f64 x (log.f64 x))) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (E.f64) (log.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 x (log.f64 x))))) (sqrt.f64 (log.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (*.f64 x (log.f64 x))) 2))) (cbrt.f64 (log.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (pow.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 x (log.f64 x)))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (log.f64 x)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 x (log.f64 x)))) 2))))))

simplify156.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1961×	`fma-def_binary64`
961×	`fma-neg_binary64`
610×	`distribute-rgt-in_binary64`
511×	`distribute-lft-in_binary64`
249×	`unsub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	72
1	33	72
2	60	72
3	134	72
4	275	72
5	704	72
6	1985	72
7	3039	72
8	3407	72
9	3573	72
10	3583	72
11	3585	72
12	4846	72
13	5508	72
14	5640	72
15	5676	72
16	5690	72
17	5694	72
18	5694	72
19	5718	72

Stop Event

1×	node limit

Counts

35 → 27

Calls

Call 1

Inputs
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)

Outputs
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))

eval5.0ms (0.1%)

Compiler: Compiled 243 to 110 computations (54.7% saved)

prune22.0ms (0.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	21	6	27
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	21	7	28

Error

0.2b

Counts

28 → 7

Alt Table

Click to see full alt table

Status	Error	Program
	52.2b	(/.f64 (-.f64 (pow.f64 (+.f64 1 (.f64 x (log.f64 x))) 3) 1) (+.f64 (.f64 (+.f64 1 (.f64 x (log.f64 x))) (+.f64 1 (.f64 x (log.f64 x)))) (+.f64 1 (.f64 (+.f64 1 (.f64 x (log.f64 x))) 1))))
✓	0.3b	(*.f64 x (log.f64 x))
▶	32.3b	(pow.f64 (E.f64) (log.f64 (*.f64 x (log.f64 x))))
▶	29.3b	(pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)
▶	1.4b	(pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)
▶	42.1b	(cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))
▶	61.1b	(log.f64 (pow.f64 x x))

Compiler

Compiled 151 to 101 computations (33.1% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.3b	(*.f64 x (log.f64 x))
✓	0.7b	(cbrt.f64 (*.f64 x (log.f64 x)))
✓	0.7b	(pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)

Compiler

Compiled 21 to 7 computations (66.7% saved)

series6.0ms (0.1%)

Counts

2 → 0

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	x	@	-inf	(pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)
1.0ms	x	@	0	(pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)
1.0ms	x	@	inf	(pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)
1.0ms	x	@	-inf	(cbrt.f64 (*.f64 x (log.f64 x)))
0.0ms	x	@	0	(cbrt.f64 (*.f64 x (log.f64 x)))

rewrite49.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

524×	`pow1_binary64`
510×	`add-sqr-sqrt_binary64`
493×	`add-log-exp_binary64`
493×	`log1p-expm1-u_binary64`
493×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	14
1	145	14
2	1410	14

Stop Event

1×	node limit

Counts

2 → 52

Calls

Call 1

Inputs
(pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)
(cbrt.f64 (*.f64 x (log.f64 x)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 x (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (log.f64 x) x)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 x (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 x (log.f64 x))) (pow.f64 (cbrt.f64 (.f64 x (log.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (.f64 x (log.f64 x))) 2) (cbrt.f64 (.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) (.f64 (cbrt.f64 (log.f64 x)) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (log.f64 x)))) 2) (.f64 (cbrt.f64 (cbrt.f64 (.f64 x (log.f64 x)))) (pow.f64 (cbrt.f64 (.f64 x (log.f64 x))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 x) (.f64 (cbrt.f64 (log.f64 x)) (pow.f64 (cbrt.f64 (.f64 x (log.f64 x))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (log.f64 x)) (.f64 (sqrt.f64 (log.f64 x)) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 x (log.f64 x)) 1/6) (.f64 (pow.f64 (.f64 x (log.f64 x)) 1/6) (pow.f64 (cbrt.f64 (.f64 x (log.f64 x))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 x (log.f64 x))) (sqrt.f64 (.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (log.f64 x)))) 2) 3) (cbrt.f64 (.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (pow.f64 (.f64 x (log.f64 x)) 1/6) 3) (pow.f64 (pow.f64 (.f64 x (log.f64 x)) 1/6) 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 x (pow.f64 (cbrt.f64 (log.f64 x)) 2)) (cbrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 x (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (log.f64 x) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 (cbrt.f64 (.f64 x (log.f64 x))) 2) 1) (cbrt.f64 (.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 (cbrt.f64 (.f64 x (log.f64 x))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (log.f64 x)))) 2)) (cbrt.f64 (cbrt.f64 (.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 (cbrt.f64 (.f64 x (log.f64 x))) 2) (cbrt.f64 x)) (cbrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 (cbrt.f64 (.f64 x (log.f64 x))) 2) (pow.f64 (.f64 x (log.f64 x)) 1/6)) (pow.f64 (.f64 x (log.f64 x)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 x (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 x (log.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (pow.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 x (log.f64 x))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (cbrt.f64 (.f64 x (log.f64 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (cbrt.f64 (.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (log.f64 x)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 x (log.f64 x)))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (log.f64 x)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 x (log.f64 x)))) (pow.f64 (pow.f64 (cbrt.f64 (.f64 x (log.f64 x))) 2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (log.f64 x)))) 2) (cbrt.f64 (cbrt.f64 (.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 x) (cbrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 x (log.f64 x)) 1/6) (pow.f64 (.f64 x (log.f64 x)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 x (log.f64 x))) 2) 1/3) (cbrt.f64 (cbrt.f64 (.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 1 1/3) (cbrt.f64 (.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (sqrt.f64 (.f64 x (log.f64 x))) 1/3) (pow.f64 (sqrt.f64 (.f64 x (log.f64 x))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (log.f64 x)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (log.f64 x)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 x (log.f64 x)) 1/6) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 (.f64 x (log.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cbrt.f64 (.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cbrt.f64 (.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cbrt.f64 (.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cbrt.f64 (.f64 x (log.f64 x)))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 x) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x (log.f64 x))) (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) (cbrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) (*.f64 (cbrt.f64 (log.f64 x)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))) 2) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))) (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 x) (*.f64 (cbrt.f64 (log.f64 x)) (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log.f64 x)) (*.f64 (sqrt.f64 (log.f64 x)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 x (log.f64 x)) 1/6) (*.f64 (pow.f64 (*.f64 x (log.f64 x)) 1/6) (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x (log.f64 x))) (sqrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))) 2) 3) (cbrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 1/6) 3) (pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 1/6) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (pow.f64 (cbrt.f64 (log.f64 x)) 2)) (cbrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 x) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) 1) (cbrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) (cbrt.f64 x)) (cbrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) (pow.f64 (*.f64 x (log.f64 x)) 1/6)) (pow.f64 (*.f64 x (log.f64 x)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (pow.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (log.f64 x))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (cbrt.f64 (*.f64 x (log.f64 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cbrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (log.f64 x)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))) (pow.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))) 2) (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 x) (cbrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 x (log.f64 x)) 1/6) (pow.f64 (*.f64 x (log.f64 x)) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (cbrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 1/3) (pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (log.f64 x)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 1/6) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cbrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cbrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cbrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cbrt.f64 (*.f64 x (log.f64 x)))))))))

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

52 → 52

Calls

Call 1

Inputs

Outputs

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	2.8b	(log.f64 (pow.f64 x x))

Compiler

Compiled 9 to 3 computations (66.7% saved)

series54.0ms (0.9%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
38.0ms	x	@	-inf	(log.f64 (pow.f64 x x))
14.0ms	x	@	inf	(log.f64 (pow.f64 x x))
1.0ms	x	@	0	(log.f64 (pow.f64 x x))

rewrite45.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

379×	`pow1_binary64`
365×	`add-sqr-sqrt_binary64`
358×	`*-un-lft-identity_binary64`
351×	`add-log-exp_binary64`
351×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	6
1	82	6
2	977	6

Stop Event

1×	node limit

Counts

1 → 44

Calls

Call 1

Inputs
(log.f64 (pow.f64 x x))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (log.f64 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (pow.f64 (cbrt.f64 x) x) 2)) (log.f64 (pow.f64 (cbrt.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 x x))) (log.f64 (sqrt.f64 (pow.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 x) x)) (log.f64 (pow.f64 (pow.f64 (cbrt.f64 x) x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 1 x)) (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (sqrt.f64 x) x)) (log.f64 (pow.f64 (sqrt.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 x) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 x) (log.f64 (pow.f64 x (pow.f64 (cbrt.f64 x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x (log.f64 x))) (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) (cbrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (log.f64 (pow.f64 x (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x (log.f64 x))) (sqrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (log.f64 (sqrt.f64 (pow.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x 1/2) (*.f64 2 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 3 (log.f64 (pow.f64 (cbrt.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/3 (log.f64 (pow.f64 x (*.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x 1/2 (*.f64 x 1/2)) (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (*.f64 x 1/2)) (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 x) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (pow.f64 (*.f64 x (log.f64 x)) 2) x) 1/3) (cbrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (*.f64 (*.f64 x (log.f64 x)) (cbrt.f64 (*.f64 x (log.f64 x)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (pow.f64 (*.f64 x (log.f64 x)) 2) (sqrt.f64 (*.f64 x (log.f64 x)))) 1/3) (cbrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))) 2) 3) (cbrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (pow.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (log.f64 x))))))))

simplify33.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

895×	`distribute-rgt-in_binary64`
879×	`distribute-lft-in_binary64`
538×	`*-commutative_binary64`
498×	`associate-+l+_binary64`
363×	`associate-+r+_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	72
1	130	72
2	469	72
3	2766	72

Stop Event

1×	node limit

Counts

56 → 47

Calls

Call 1

Inputs
(*.f64 (log.f64 x) x)
(+.f64 (.f64 (log.f64 x) x) (.f64 1/2 (.f64 (+.f64 (pow.f64 (log.f64 x) 2) (.f64 -1 (pow.f64 (log.f64 x) 2))) (pow.f64 x 2))))
(+.f64 (.f64 1/6 (.f64 (+.f64 (.f64 -3 (pow.f64 (log.f64 x) 3)) (+.f64 (pow.f64 (log.f64 x) 3) (.f64 2 (pow.f64 (log.f64 x) 3)))) (pow.f64 x 3))) (+.f64 (.f64 (log.f64 x) x) (.f64 1/2 (.f64 (+.f64 (pow.f64 (log.f64 x) 2) (.f64 -1 (pow.f64 (log.f64 x) 2))) (pow.f64 x 2)))))
(+.f64 (.f64 1/6 (.f64 (+.f64 (.f64 -3 (pow.f64 (log.f64 x) 3)) (+.f64 (pow.f64 (log.f64 x) 3) (.f64 2 (pow.f64 (log.f64 x) 3)))) (pow.f64 x 3))) (+.f64 (.f64 (log.f64 x) x) (+.f64 (.f64 1/2 (.f64 (+.f64 (pow.f64 (log.f64 x) 2) (.f64 -1 (pow.f64 (log.f64 x) 2))) (pow.f64 x 2))) (.f64 1/24 (.f64 (+.f64 (.f64 -6 (pow.f64 (log.f64 x) 4)) (+.f64 (.f64 -3 (pow.f64 (log.f64 x) 4)) (+.f64 (.f64 12 (pow.f64 (log.f64 x) 4)) (+.f64 (pow.f64 (log.f64 x) 4) (.f64 -4 (pow.f64 (log.f64 x) 4)))))) (pow.f64 x 4))))))
(*.f64 x (log.f64 x))
(*.f64 x (log.f64 x))
(*.f64 x (log.f64 x))
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)

Outputs
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(+.f64 (.f64 (log.f64 x) x) (.f64 1/2 (.f64 (+.f64 (pow.f64 (log.f64 x) 2) (.f64 -1 (pow.f64 (log.f64 x) 2))) (pow.f64 x 2))))
(*.f64 x (log.f64 x))
(+.f64 (.f64 1/6 (.f64 (+.f64 (.f64 -3 (pow.f64 (log.f64 x) 3)) (+.f64 (pow.f64 (log.f64 x) 3) (.f64 2 (pow.f64 (log.f64 x) 3)))) (pow.f64 x 3))) (+.f64 (.f64 (log.f64 x) x) (.f64 1/2 (.f64 (+.f64 (pow.f64 (log.f64 x) 2) (.f64 -1 (pow.f64 (log.f64 x) 2))) (pow.f64 x 2)))))
(*.f64 x (log.f64 x))
(+.f64 (.f64 1/6 (.f64 (+.f64 (.f64 -3 (pow.f64 (log.f64 x) 3)) (+.f64 (pow.f64 (log.f64 x) 3) (.f64 2 (pow.f64 (log.f64 x) 3)))) (pow.f64 x 3))) (+.f64 (.f64 (log.f64 x) x) (+.f64 (.f64 1/2 (.f64 (+.f64 (pow.f64 (log.f64 x) 2) (.f64 -1 (pow.f64 (log.f64 x) 2))) (pow.f64 x 2))) (.f64 1/24 (.f64 (+.f64 (.f64 -6 (pow.f64 (log.f64 x) 4)) (+.f64 (.f64 -3 (pow.f64 (log.f64 x) 4)) (+.f64 (.f64 12 (pow.f64 (log.f64 x) 4)) (+.f64 (pow.f64 (log.f64 x) 4) (.f64 -4 (pow.f64 (log.f64 x) 4)))))) (pow.f64 x 4))))))
(*.f64 x (log.f64 x))
(*.f64 x (log.f64 x))
(*.f64 x (log.f64 x))
(*.f64 x (log.f64 x))
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))

localize10.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(pow.f64 (*.f64 x (log.f64 x)) 3)
	0.3b	(*.f64 x (log.f64 x))
✓	40.5b	(cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))

Compiler

Compiled 22 to 9 computations (59.1% saved)

series5.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	x	@	-inf	(cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))
1.0ms	x	@	-inf	(pow.f64 (*.f64 x (log.f64 x)) 3)
1.0ms	x	@	inf	(pow.f64 (*.f64 x (log.f64 x)) 3)
1.0ms	x	@	0	(pow.f64 (*.f64 x (log.f64 x)) 3)
1.0ms	x	@	0	(cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))

rewrite52.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

531×	`pow1_binary64`
517×	`add-sqr-sqrt_binary64`
500×	`add-log-exp_binary64`
500×	`log1p-expm1-u_binary64`
500×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	15
1	147	15
2	1469	15

Stop Event

1×	node limit

Counts

2 → 54

Calls

Call 1

Inputs
(cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))
(pow.f64 (*.f64 x (log.f64 x)) 3)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 x) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) (*.f64 (cbrt.f64 (log.f64 x)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x (log.f64 x))) (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x (log.f64 x))) (pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) (cbrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log.f64 x)) (*.f64 (sqrt.f64 (log.f64 x)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x (log.f64 x))) (sqrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 2) 1/3) (cbrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2) 1/3) (pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (pow.f64 (cbrt.f64 (log.f64 x)) 2)) (cbrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 x) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (pow.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (log.f64 x))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (pow.f64 (*.f64 x (log.f64 x)) 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (*.f64 (log.f64 x) (pow.f64 (*.f64 x (log.f64 x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 x) (*.f64 x (pow.f64 (*.f64 x (log.f64 x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (log.f64 x)) (pow.f64 (*.f64 x (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 x (log.f64 x)) 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (*.f64 x (log.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 x (log.f64 x)) 2) (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) (*.f64 (cbrt.f64 (*.f64 x (log.f64 x))) (pow.f64 (*.f64 x (log.f64 x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x (log.f64 x))) (*.f64 (sqrt.f64 (*.f64 x (log.f64 x))) (pow.f64 (*.f64 x (log.f64 x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 x 3) (pow.f64 (log.f64 x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2) (pow.f64 (*.f64 x (log.f64 x)) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) 3) (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 3) (pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (*.f64 x (log.f64 x)) 2) x) (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (*.f64 x (log.f64 x)) 2) (log.f64 x)) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (*.f64 x (log.f64 x)) 2) 1) (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (*.f64 x (log.f64 x)) 2) (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2)) (cbrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (*.f64 x (log.f64 x)) 2) (sqrt.f64 (*.f64 x (log.f64 x)))) (sqrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 6))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (*.f64 x (log.f64 x)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (*.f64 x (log.f64 x)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (*.f64 x (log.f64 x)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 3 (log.f64 (*.f64 x (log.f64 x)))))))))

simplify45.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

449×	`distribute-rgt-neg-in_binary64`
413×	`distribute-rgt-in_binary64`
406×	`associate-+l+_binary64`
390×	`distribute-lft-in_binary64`
355×	`unswap-sqr_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	28	280
1	82	276
2	291	276
3	1460	244
4	4439	244

Stop Event

1×	node limit

Counts

78 → 59

Calls

Call 1

Inputs
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))

Outputs
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(neg.f64 (.f64 (cbrt.f64 -1) (.f64 x (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 -1)))))
(.f64 (.f64 x (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x)))) (neg.f64 (cbrt.f64 -1)))
(.f64 x (.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x))) (neg.f64 (cbrt.f64 -1))))
(.f64 x (.f64 (neg.f64 (log.f64 x)) (cbrt.f64 -1)))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(neg.f64 (.f64 (cbrt.f64 -1) (.f64 x (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 -1)))))
(.f64 (.f64 x (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x)))) (neg.f64 (cbrt.f64 -1)))
(.f64 x (.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x))) (neg.f64 (cbrt.f64 -1))))
(.f64 x (.f64 (neg.f64 (log.f64 x)) (cbrt.f64 -1)))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(neg.f64 (.f64 (cbrt.f64 -1) (.f64 x (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 -1)))))
(.f64 (.f64 x (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x)))) (neg.f64 (cbrt.f64 -1)))
(.f64 x (.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x))) (neg.f64 (cbrt.f64 -1))))
(.f64 x (.f64 (neg.f64 (log.f64 x)) (cbrt.f64 -1)))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(neg.f64 (.f64 (cbrt.f64 -1) (.f64 x (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 -1)))))
(.f64 (.f64 x (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x)))) (neg.f64 (cbrt.f64 -1)))
(.f64 x (.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x))) (neg.f64 (cbrt.f64 -1))))
(.f64 x (.f64 (neg.f64 (log.f64 x)) (cbrt.f64 -1)))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f64 (*.f64 x (log.f64 x)))
	0.3b	(*.f64 x (log.f64 x))
✓	0.3b	(pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)

Compiler

Compiled 21 to 7 computations (66.7% saved)

series7.0ms (0.1%)

Counts

2 → 0

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	x	@	-inf	(pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)
2.0ms	x	@	0	(pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)
1.0ms	x	@	inf	(pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)
1.0ms	x	@	-inf	(sqrt.f64 (*.f64 x (log.f64 x)))
1.0ms	x	@	inf	(sqrt.f64 (*.f64 x (log.f64 x)))

rewrite48.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

499×	`pow1_binary64`
480×	`add-sqr-sqrt_binary64`
462×	`add-log-exp_binary64`
462×	`log1p-expm1-u_binary64`
462×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	14
1	142	14
2	1332	14

Stop Event

1×	node limit

Counts

2 → 50

Calls

Call 1

Inputs
(pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)
(sqrt.f64 (*.f64 x (log.f64 x)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 x) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x (log.f64 x))) (sqrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) (*.f64 (cbrt.f64 (log.f64 x)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x (log.f64 x))) (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x (log.f64 x))) (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))) (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) (cbrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log.f64 x)) (*.f64 (sqrt.f64 (log.f64 x)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 x (log.f64 x)) 1/4) (*.f64 (pow.f64 (*.f64 x (log.f64 x)) 1/4) (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (*.f64 x (log.f64 x))) (pow.f64 (*.f64 x (log.f64 x)) 1/4)) (pow.f64 (*.f64 x (log.f64 x)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (pow.f64 (cbrt.f64 (log.f64 x)) 2)) (cbrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 x) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (*.f64 x (log.f64 x))) (cbrt.f64 (*.f64 x (log.f64 x)))) (cbrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (*.f64 x (log.f64 x))) (sqrt.f64 x)) (sqrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (pow.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (log.f64 x))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (sqrt.f64 (*.f64 x (log.f64 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))) (cbrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x (log.f64 x))) (cbrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 x (log.f64 x)) 1/4) (pow.f64 (*.f64 x (log.f64 x)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2)) (sqrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (sqrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) 1/2) (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (log.f64 x)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (sqrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (*.f64 x (log.f64 x)))))))))

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

50 → 50

Calls

Call 1

Inputs

Outputs

localize54.0ms (0.9%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(log.f64 (*.f64 x (log.f64 x)))
	0.3b	(*.f64 x (log.f64 x))
✓	3.3b	(pow.f64 (E.f64) (log.f64 (*.f64 x (log.f64 x))))

Compiler

Compiled 21 to 6 computations (71.4% saved)

series67.0ms (1.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
33.0ms	x	@	0	(pow.f64 (E.f64) (log.f64 (*.f64 x (log.f64 x))))
20.0ms	x	@	-inf	(pow.f64 (E.f64) (log.f64 (*.f64 x (log.f64 x))))
14.0ms	x	@	inf	(pow.f64 (E.f64) (log.f64 (*.f64 x (log.f64 x))))
0.0ms	x	@	0	(log.f64 (*.f64 x (log.f64 x)))
0.0ms	x	@	-inf	(log.f64 (*.f64 x (log.f64 x)))

rewrite61.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

551×	`pow1_binary64`
509×	`add-log-exp_binary64`
507×	`log1p-expm1-u_binary64`
507×	`expm1-log1p-u_binary64`
499×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	20
1	139	14
2	1637	14

Stop Event

1×	node limit

Counts

2 → 52

Calls

Call 1

Inputs
(pow.f64 (E.f64) (log.f64 (*.f64 x (log.f64 x))))
(log.f64 (*.f64 x (log.f64 x)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (-.f64 (*.f64 x (log.f64 x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (pow.f64 (E.f64) (log.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 x) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x (log.f64 x))) (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) (cbrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) (*.f64 (cbrt.f64 (log.f64 x)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log.f64 x)) (*.f64 (sqrt.f64 (log.f64 x)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x (log.f64 x))) (sqrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 (log.f64 (*.f64 x (log.f64 x)))) (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (exp.f64 2)) (log.f64 (*.f64 x (log.f64 x)))) (pow.f64 (cbrt.f64 (E.f64)) (log.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (E.f64)) (log.f64 (*.f64 x (log.f64 x)))) (pow.f64 (sqrt.f64 (E.f64)) (log.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (pow.f64 (cbrt.f64 (log.f64 x)) 2)) (cbrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 x) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (pow.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (log.f64 x))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 x) (log.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (log.f64 x)) (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (*.f64 x (log.f64 x)))) (log.f64 (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2)) (log.f64 (cbrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (log.f64 (*.f64 x (log.f64 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (log.f64 (*.f64 x (log.f64 x)))) (pow.f64 (cbrt.f64 (log.f64 (*.f64 x (log.f64 x)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 x (log.f64 x)))) 2) (cbrt.f64 (log.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log.f64 (*.f64 x (log.f64 x)))) (sqrt.f64 (log.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (log.f64 x) 3) (pow.f64 (log.f64 (log.f64 x)) 3)) (+.f64 (pow.f64 (log.f64 x) 2) (-.f64 (*.f64 (log.f64 (log.f64 x)) (log.f64 (log.f64 x))) (*.f64 (log.f64 x) (log.f64 (log.f64 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (log.f64 x) 2) (*.f64 (log.f64 (log.f64 x)) (log.f64 (log.f64 x)))) (-.f64 (log.f64 x) (log.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (log.f64 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (log.f64 (*.f64 x (log.f64 x))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (log.f64 (*.f64 x (log.f64 x)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (log.f64 (*.f64 x (log.f64 x)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (log.f64 (*.f64 x (log.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (log.f64 (*.f64 x (log.f64 x))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (log.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (*.f64 x (log.f64 x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (log.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (log.f64 x) (log.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) (cbrt.f64 (log.f64 x)) (log.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 x)) (log.f64 (log.f64 x)))))))

simplify50.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

690×	`div-sub_binary64`
355×	`associate-/r/_binary64`
302×	`distribute-rgt-out_binary64`
283×	`associate-/l/_binary64`
263×	`fma-def_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	23	264
1	60	192
2	121	192
3	303	192
4	921	192
5	3563	192

Stop Event

1×	node limit

Counts

76 → 57

Calls

Call 1

Inputs
(exp.f64 (+.f64 (log.f64 (log.f64 x)) (log.f64 x)))
(exp.f64 (+.f64 (log.f64 (log.f64 x)) (log.f64 x)))
(exp.f64 (+.f64 (log.f64 (log.f64 x)) (log.f64 x)))
(exp.f64 (+.f64 (log.f64 (log.f64 x)) (log.f64 x)))
(exp.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 -1 (log.f64 (/.f64 1 x))))))
(exp.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 -1 (log.f64 (/.f64 1 x))))))
(exp.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 -1 (log.f64 (/.f64 1 x))))))
(exp.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 -1 (log.f64 (/.f64 1 x))))))
(exp.f64 (+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (*.f64 -1 (log.f64 (/.f64 -1 x)))))
(exp.f64 (+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (*.f64 -1 (log.f64 (/.f64 -1 x)))))
(exp.f64 (+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (*.f64 -1 (log.f64 (/.f64 -1 x)))))
(exp.f64 (+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (*.f64 -1 (log.f64 (/.f64 -1 x)))))
(+.f64 (log.f64 (log.f64 x)) (log.f64 x))
(+.f64 (log.f64 (log.f64 x)) (log.f64 x))
(+.f64 (log.f64 (log.f64 x)) (log.f64 x))
(+.f64 (log.f64 (log.f64 x)) (log.f64 x))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 -1 (log.f64 (/.f64 1 x)))))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 -1 (log.f64 (/.f64 1 x)))))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 -1 (log.f64 (/.f64 1 x)))))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 -1 (log.f64 (/.f64 1 x)))))
(+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (*.f64 -1 (log.f64 (/.f64 -1 x))))
(+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (*.f64 -1 (log.f64 (/.f64 -1 x))))
(+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (*.f64 -1 (log.f64 (/.f64 -1 x))))
(+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (*.f64 -1 (log.f64 (/.f64 -1 x))))

Outputs
(exp.f64 (+.f64 (log.f64 (log.f64 x)) (log.f64 x)))
(exp.f64 (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 x (log.f64 x))
(exp.f64 (+.f64 (log.f64 (log.f64 x)) (log.f64 x)))
(exp.f64 (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 x (log.f64 x))
(exp.f64 (+.f64 (log.f64 (log.f64 x)) (log.f64 x)))
(exp.f64 (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 x (log.f64 x))
(exp.f64 (+.f64 (log.f64 (log.f64 x)) (log.f64 x)))
(exp.f64 (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 x (log.f64 x))
(exp.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 -1 (log.f64 (/.f64 1 x))))))
(exp.f64 (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 x (log.f64 x))
(exp.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 -1 (log.f64 (/.f64 1 x))))))
(exp.f64 (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 x (log.f64 x))
(exp.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 -1 (log.f64 (/.f64 1 x))))))
(exp.f64 (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 x (log.f64 x))
(exp.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 -1 (log.f64 (/.f64 1 x))))))
(exp.f64 (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 x (log.f64 x))
(exp.f64 (+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (*.f64 -1 (log.f64 (/.f64 -1 x)))))
(exp.f64 (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 x (log.f64 x))
(exp.f64 (+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (*.f64 -1 (log.f64 (/.f64 -1 x)))))
(exp.f64 (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 x (log.f64 x))
(exp.f64 (+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (*.f64 -1 (log.f64 (/.f64 -1 x)))))
(exp.f64 (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 x (log.f64 x))
(exp.f64 (+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (*.f64 -1 (log.f64 (/.f64 -1 x)))))
(exp.f64 (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 x (log.f64 x))
(+.f64 (log.f64 (log.f64 x)) (log.f64 x))
(+.f64 (log.f64 x) (log.f64 (log.f64 x)))
(+.f64 (log.f64 (log.f64 x)) (log.f64 x))
(+.f64 (log.f64 x) (log.f64 (log.f64 x)))
(+.f64 (log.f64 (log.f64 x)) (log.f64 x))
(+.f64 (log.f64 x) (log.f64 (log.f64 x)))
(+.f64 (log.f64 (log.f64 x)) (log.f64 x))
(+.f64 (log.f64 x) (log.f64 (log.f64 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 -1 (log.f64 (/.f64 1 x)))))
(+.f64 (log.f64 x) (log.f64 (log.f64 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 -1 (log.f64 (/.f64 1 x)))))
(+.f64 (log.f64 x) (log.f64 (log.f64 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 -1 (log.f64 (/.f64 1 x)))))
(+.f64 (log.f64 x) (log.f64 (log.f64 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 -1 (log.f64 (/.f64 1 x)))))
(+.f64 (log.f64 x) (log.f64 (log.f64 x)))
(+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (*.f64 -1 (log.f64 (/.f64 -1 x))))
(+.f64 (log.f64 x) (log.f64 (log.f64 x)))
(+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (*.f64 -1 (log.f64 (/.f64 -1 x))))
(+.f64 (log.f64 x) (log.f64 (log.f64 x)))
(+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (*.f64 -1 (log.f64 (/.f64 -1 x))))
(+.f64 (log.f64 x) (log.f64 (log.f64 x)))
(+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (*.f64 -1 (log.f64 (/.f64 -1 x))))
(+.f64 (log.f64 x) (log.f64 (log.f64 x)))

eval78.0ms (1.3%)

Compiler: Compiled 4211 to 1720 computations (59.2% saved)

prune111.0ms (1.9%)

Pruning

17 alts after pruning (11 fresh and 6 done)

	Pruned	Kept	Total
New	362	11	373
Fresh	1	0	1
Picked	0	1	1
Done	0	5	5
Total	363	17	380

Error

0.0b

Counts

380 → 17

Alt Table

Click to see full alt table

Status	Error	Program
▶	29.8b	(*.f64 x (pow.f64 (E.f64) (log.f64 (log.f64 x))))
	42.2b	(cbrt.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 x (log.f64 x))) 2) 3) (*.f64 x (log.f64 x))))
✓	32.3b	(pow.f64 (E.f64) (log.f64 (*.f64 x (log.f64 x))))
▶	1.3b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (log.f64 x)))
✓	29.3b	(pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)
	1.2b	(.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) (.f64 (cbrt.f64 (log.f64 x)) x))
✓	0.3b	(*.f64 x (log.f64 x))
	29.3b	(.f64 (.f64 x (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x)))
▶	0.6b	(.f64 (.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))
▶	42.2b	(cbrt.f64 (*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3)))
	1.4b	(.f64 (.f64 (log.f64 x) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
▶	41.4b	(pow.f64 (cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2)) 2)
✓	42.1b	(cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))
	1.7b	(pow.f64 (*.f64 (cbrt.f64 (log.f64 x)) (cbrt.f64 x)) 3)
✓	1.4b	(pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)
	1.3b	(.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (log.f64 x)) (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2)))
✓	61.1b	(log.f64 (pow.f64 x x))

Compiler

Compiled 284 to 190 computations (33.1% saved)

localize14.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))
✓	0.4b	(*.f64 (log.f64 x) (sqrt.f64 x))

Compiler

Compiled 19 to 5 computations (73.7% saved)

series9.0ms (0.1%)

Counts

2 → 12

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	x	@	0	(*.f64 (log.f64 x) (sqrt.f64 x))
2.0ms	x	@	-inf	(.f64 (.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))
1.0ms	x	@	-inf	(*.f64 (log.f64 x) (sqrt.f64 x))
1.0ms	x	@	0	(.f64 (.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))
1.0ms	x	@	inf	(*.f64 (log.f64 x) (sqrt.f64 x))

rewrite124.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

527×	`pow1_binary64`
500×	`add-sqr-sqrt_binary64`
485×	`add-log-exp_binary64`
485×	`log1p-expm1-u_binary64`
485×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	14
1	117	14
2	1381	14

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

Inputs
(*.f64 (log.f64 x) (sqrt.f64 x))
(.f64 (.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 (log.f64 x) (sqrt.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (log.f64 x) (sqrt.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (log.f64 x) (sqrt.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (log.f64 x) (sqrt.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (log.f64 x) (sqrt.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 x (pow.f64 (log.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 x (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (log.f64 x) (sqrt.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (log.f64 x) (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (pow.f64 x (sqrt.f64 x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (log.f64 x) (sqrt.f64 x))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (pow.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (log.f64 x))))))))

simplify176.0ms (3%)

Algorithm

1×	egg-herbie

Rules

595×	`fma-neg_binary64`
504×	`unsub-neg_binary64`
401×	`fma-def_binary64`
372×	`distribute-rgt-neg-in_binary64`
297×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	72
1	49	72
2	135	72
3	439	72
4	1488	72
5	3397	72
6	6210	72
7	7527	72

Stop Event

1×	node limit

Counts

34 → 26

Calls

Call 1

Inputs
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))

Outputs
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(*.f64 x (log.f64 x))

localize20.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(log.f64 (log.f64 x))
✓	0.2b	(*.f64 x (pow.f64 (E.f64) (log.f64 (log.f64 x))))
✓	0.8b	(pow.f64 (E.f64) (log.f64 (log.f64 x)))

Compiler

Compiled 20 to 6 computations (70% saved)

series399.0ms (6.8%)

Counts

3 → 32

Calls

9 calls:

Time	Variable		Point	Expression
294.0ms	x	@	-inf	(pow.f64 (E.f64) (log.f64 (log.f64 x)))
47.0ms	x	@	0	(pow.f64 (E.f64) (log.f64 (log.f64 x)))
43.0ms	x	@	0	(*.f64 x (pow.f64 (E.f64) (log.f64 (log.f64 x))))
12.0ms	x	@	inf	(pow.f64 (E.f64) (log.f64 (log.f64 x)))
1.0ms	x	@	-inf	(*.f64 x (pow.f64 (E.f64) (log.f64 (log.f64 x))))

rewrite140.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

535×	`pow1_binary64`
512×	`add-sqr-sqrt_binary64`
493×	`add-log-exp_binary64`
491×	`log1p-expm1-u_binary64`
491×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	26
1	138	14
2	1623	14

Stop Event

1×	node limit

Counts

3 → 48

Calls

Call 1

Inputs
(pow.f64 (E.f64) (log.f64 (log.f64 x)))
(*.f64 x (pow.f64 (E.f64) (log.f64 (log.f64 x))))
(log.f64 (log.f64 x))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (-.f64 (log.f64 x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 x)) (log.f64 (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 x) 2)) (log.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (log.f64 x)) (pow.f64 (cbrt.f64 (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) (cbrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 (log.f64 (log.f64 x))) (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (exp.f64 2)) (log.f64 (log.f64 x))) (pow.f64 (cbrt.f64 (E.f64)) (log.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (E.f64)) (log.f64 (log.f64 x))) (pow.f64 (sqrt.f64 (E.f64)) (log.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (log.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 x)))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (log.f64 x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 x 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (log.f64 x)))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (pow.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (log.f64 x))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (log.f64 x))) (log.f64 (sqrt.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2)) (log.f64 (cbrt.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (log.f64 (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (log.f64 (log.f64 x))) (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2) (cbrt.f64 (log.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.f64 (log.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (log.f64 (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (log.f64 (log.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (log.f64 (log.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (log.f64 (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (log.f64 (log.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (log.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (log.f64 x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (log.f64 (log.f64 x))))))))

simplify384.0ms (6.5%)

Algorithm

1×	egg-herbie

Rules

2800×	`associate--r-_binary64`
821×	`distribute-rgt-in_binary64`
738×	`unsub-neg_binary64`
701×	`fma-def_binary64`
529×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	180
1	39	148
2	68	148
3	157	148
4	287	148
5	692	148
6	2211	148
7	3553	148
8	4530	148
9	5004	148
10	5110	148
11	5137	148
12	5151	148
13	5153	148
14	6167	148
15	6797	148
16	7201	148
17	7387	148
18	7449	148
19	7449	148
20	7511	148
21	7511	148
22	7511	148
23	7511	148
24	7511	148

Stop Event

1×	node limit

Counts

80 → 57

Calls

Call 1

Inputs
(log.f64 x)
(log.f64 x)
(log.f64 x)
(log.f64 x)
(*.f64 -1 (log.f64 (/.f64 1 x)))
(*.f64 -1 (log.f64 (/.f64 1 x)))
(*.f64 -1 (log.f64 (/.f64 1 x)))
(*.f64 -1 (log.f64 (/.f64 1 x)))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(log.f64 (*.f64 -1 (log.f64 (/.f64 1 x))))
(log.f64 (*.f64 -1 (log.f64 (/.f64 1 x))))
(log.f64 (*.f64 -1 (log.f64 (/.f64 1 x))))
(log.f64 (*.f64 -1 (log.f64 (/.f64 1 x))))
(log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))

Outputs
(log.f64 x)
(log.f64 x)
(log.f64 x)
(log.f64 x)
(*.f64 -1 (log.f64 (/.f64 1 x)))
(log.f64 x)
(*.f64 -1 (log.f64 (/.f64 1 x)))
(log.f64 x)
(*.f64 -1 (log.f64 (/.f64 1 x)))
(log.f64 x)
(*.f64 -1 (log.f64 (/.f64 1 x)))
(log.f64 x)
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(log.f64 x)
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(log.f64 x)
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(log.f64 x)
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(log.f64 x)
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(log.f64 (*.f64 -1 (log.f64 (/.f64 1 x))))
(log.f64 (neg.f64 (neg.f64 (log.f64 x))))
(log.f64 (log.f64 x))
(log.f64 (*.f64 -1 (log.f64 (/.f64 1 x))))
(log.f64 (neg.f64 (neg.f64 (log.f64 x))))
(log.f64 (log.f64 x))
(log.f64 (*.f64 -1 (log.f64 (/.f64 1 x))))
(log.f64 (neg.f64 (neg.f64 (log.f64 x))))
(log.f64 (log.f64 x))
(log.f64 (*.f64 -1 (log.f64 (/.f64 1 x))))
(log.f64 (neg.f64 (neg.f64 (log.f64 x))))
(log.f64 (log.f64 x))
(log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(log.f64 (neg.f64 (neg.f64 (log.f64 x))))
(log.f64 (log.f64 x))
(log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(log.f64 (neg.f64 (neg.f64 (log.f64 x))))
(log.f64 (log.f64 x))
(log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(log.f64 (neg.f64 (neg.f64 (log.f64 x))))
(log.f64 (log.f64 x))
(log.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))
(log.f64 (neg.f64 (neg.f64 (log.f64 x))))
(log.f64 (log.f64 x))

localize14.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
✓	0.7b	(pow.f64 (log.f64 x) 3)
✓	40.5b	(cbrt.f64 (*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3)))

Compiler

Compiled 29 to 18 computations (37.9% saved)

series5.0ms (0.1%)

Counts

3 → 28

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(pow.f64 (log.f64 x) 3)
1.0ms	x	@	0	(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
1.0ms	x	@	-inf	(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
1.0ms	x	@	inf	(pow.f64 (log.f64 x) 3)
1.0ms	x	@	0	(pow.f64 (log.f64 x) 3)

rewrite132.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

664×	`pow1_binary64`
621×	`add-log-exp_binary64`
621×	`log1p-expm1-u_binary64`
621×	`expm1-log1p-u_binary64`
602×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	21
1	173	21
2	1790	21

Stop Event

1×	node limit

Counts

3 → 56

Calls

Call 1

Inputs
(cbrt.f64 (*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3)))
(pow.f64 (log.f64 x) 3)
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 x) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x (log.f64 x))) (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) (cbrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) (*.f64 (cbrt.f64 (log.f64 x)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x (log.f64 x))) (sqrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log.f64 x)) (*.f64 (sqrt.f64 (log.f64 x)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 2) 1/3) (cbrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2) 1/3) (pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 x) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (pow.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (log.f64 x))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (pow.f64 (log.f64 x) 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 x) (pow.f64 (log.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (log.f64 x) 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (log.f64 x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (log.f64 x) 2) (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) (*.f64 (cbrt.f64 (log.f64 x)) (pow.f64 (log.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log.f64 x)) (*.f64 (sqrt.f64 (log.f64 x)) (pow.f64 (log.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (log.f64 x) 3/2) (pow.f64 (log.f64 x) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) 3) (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (log.f64 x)) 3) (pow.f64 (sqrt.f64 (log.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (log.f64 x) 2) 1) (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (log.f64 x) 2) (pow.f64 (cbrt.f64 (log.f64 x)) 2)) (cbrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (log.f64 x) 2) (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (log.f64 x) 6))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (log.f64 x) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (log.f64 x) 3) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (log.f64 x) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (log.f64 x) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 3 (log.f64 (log.f64 x))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (pow.f64 (*.f64 x (log.f64 x)) 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (log.f64 x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 6))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (*.f64 x (log.f64 x)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (pow.f64 (log.f64 x) 3) 3) (pow.f64 (pow.f64 x 3) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (pow.f64 x 3) 3) (pow.f64 (pow.f64 (log.f64 x) 3) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (*.f64 x (log.f64 x)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (*.f64 x (log.f64 x)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 3 (log.f64 (*.f64 x (log.f64 x)))))))))

simplify57.0ms (1%)

Algorithm

1×	egg-herbie

Rules

405×	`associate-+l+_binary64`
402×	`distribute-rgt-in_binary64`
392×	`distribute-rgt-neg-in_binary64`
379×	`distribute-lft-in_binary64`
334×	`distribute-rgt-neg-out_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	27	344
1	76	340
2	266	276
3	1388	244
4	4201	244

Stop Event

1×	node limit

Counts

84 → 65

Calls

Call 1

Inputs
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(*.f64 -1 (pow.f64 (log.f64 (/.f64 1 x)) 3))
(*.f64 -1 (pow.f64 (log.f64 (/.f64 1 x)) 3))
(*.f64 -1 (pow.f64 (log.f64 (/.f64 1 x)) 3))
(*.f64 -1 (pow.f64 (log.f64 (/.f64 1 x)) 3))
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3)
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3)
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3)
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3)
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))

Outputs
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(neg.f64 (.f64 (cbrt.f64 -1) (.f64 x (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 -1)))))
(.f64 (.f64 x (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x)))) (neg.f64 (cbrt.f64 -1)))
(.f64 x (.f64 (cbrt.f64 -1) (neg.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x))))))
(.f64 (log.f64 x) (.f64 (cbrt.f64 -1) (neg.f64 x)))
(.f64 (.f64 x (log.f64 x)) (neg.f64 (cbrt.f64 -1)))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(neg.f64 (.f64 (cbrt.f64 -1) (.f64 x (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 -1)))))
(.f64 (.f64 x (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x)))) (neg.f64 (cbrt.f64 -1)))
(.f64 x (.f64 (cbrt.f64 -1) (neg.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x))))))
(.f64 (log.f64 x) (.f64 (cbrt.f64 -1) (neg.f64 x)))
(.f64 (.f64 x (log.f64 x)) (neg.f64 (cbrt.f64 -1)))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(neg.f64 (.f64 (cbrt.f64 -1) (.f64 x (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 -1)))))
(.f64 (.f64 x (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x)))) (neg.f64 (cbrt.f64 -1)))
(.f64 x (.f64 (cbrt.f64 -1) (neg.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x))))))
(.f64 (log.f64 x) (.f64 (cbrt.f64 -1) (neg.f64 x)))
(.f64 (.f64 x (log.f64 x)) (neg.f64 (cbrt.f64 -1)))
(.f64 -1 (.f64 (cbrt.f64 -1) (.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)))
(neg.f64 (.f64 (cbrt.f64 -1) (.f64 x (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 -1)))))
(.f64 (.f64 x (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x)))) (neg.f64 (cbrt.f64 -1)))
(.f64 x (.f64 (cbrt.f64 -1) (neg.f64 (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 x))))))
(.f64 (log.f64 x) (.f64 (cbrt.f64 -1) (neg.f64 x)))
(.f64 (.f64 x (log.f64 x)) (neg.f64 (cbrt.f64 -1)))
(*.f64 -1 (pow.f64 (log.f64 (/.f64 1 x)) 3))
(neg.f64 (pow.f64 (neg.f64 (log.f64 x)) 3))
(pow.f64 (log.f64 x) 3)
(*.f64 -1 (pow.f64 (log.f64 (/.f64 1 x)) 3))
(neg.f64 (pow.f64 (neg.f64 (log.f64 x)) 3))
(pow.f64 (log.f64 x) 3)
(*.f64 -1 (pow.f64 (log.f64 (/.f64 1 x)) 3))
(neg.f64 (pow.f64 (neg.f64 (log.f64 x)) 3))
(pow.f64 (log.f64 x) 3)
(*.f64 -1 (pow.f64 (log.f64 (/.f64 1 x)) 3))
(neg.f64 (pow.f64 (neg.f64 (log.f64 x)) 3))
(pow.f64 (log.f64 x) 3)
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3)
(neg.f64 (pow.f64 (neg.f64 (log.f64 x)) 3))
(pow.f64 (log.f64 x) 3)
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3)
(neg.f64 (pow.f64 (neg.f64 (log.f64 x)) 3))
(pow.f64 (log.f64 x) 3)
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3)
(neg.f64 (pow.f64 (neg.f64 (log.f64 x)) 3))
(pow.f64 (log.f64 x) 3)
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3)
(neg.f64 (pow.f64 (neg.f64 (log.f64 x)) 3))
(pow.f64 (log.f64 x) 3)
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(*.f64 (neg.f64 (pow.f64 (neg.f64 (log.f64 x)) 3)) (pow.f64 x 3))
(*.f64 (pow.f64 (neg.f64 (log.f64 x)) 3) (neg.f64 (pow.f64 x 3)))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(*.f64 (neg.f64 (pow.f64 (neg.f64 (log.f64 x)) 3)) (pow.f64 x 3))
(*.f64 (pow.f64 (neg.f64 (log.f64 x)) 3) (neg.f64 (pow.f64 x 3)))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(*.f64 (neg.f64 (pow.f64 (neg.f64 (log.f64 x)) 3)) (pow.f64 x 3))
(*.f64 (pow.f64 (neg.f64 (log.f64 x)) 3) (neg.f64 (pow.f64 x 3)))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 -1 (.f64 (pow.f64 (log.f64 (/.f64 1 x)) 3) (pow.f64 x 3)))
(*.f64 (neg.f64 (pow.f64 (neg.f64 (log.f64 x)) 3)) (pow.f64 x 3))
(*.f64 (pow.f64 (neg.f64 (log.f64 x)) 3) (neg.f64 (pow.f64 x 3)))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))
(*.f64 (neg.f64 (pow.f64 (neg.f64 (log.f64 x)) 3)) (pow.f64 x 3))
(*.f64 (pow.f64 (neg.f64 (log.f64 x)) 3) (neg.f64 (pow.f64 x 3)))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))
(*.f64 (neg.f64 (pow.f64 (neg.f64 (log.f64 x)) 3)) (pow.f64 x 3))
(*.f64 (pow.f64 (neg.f64 (log.f64 x)) 3) (neg.f64 (pow.f64 x 3)))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))
(*.f64 (neg.f64 (pow.f64 (neg.f64 (log.f64 x)) 3)) (pow.f64 x 3))
(*.f64 (pow.f64 (neg.f64 (log.f64 x)) 3) (neg.f64 (pow.f64 x 3)))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))
(.f64 (pow.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 3) (pow.f64 x 3))
(*.f64 (neg.f64 (pow.f64 (neg.f64 (log.f64 x)) 3)) (pow.f64 x 3))
(*.f64 (pow.f64 (neg.f64 (log.f64 x)) 3) (neg.f64 (pow.f64 x 3)))
(*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3))

localize101.0ms (1.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(pow.f64 (*.f64 x (log.f64 x)) 3/2)
	0.3b	(*.f64 x (log.f64 x))
✓	0.3b	(pow.f64 (cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2)) 2)
✓	11.7b	(cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2))

Compiler

Compiled 32 to 15 computations (53.1% saved)

series6.0ms (0.1%)

Counts

3 → 12

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(pow.f64 (cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2)) 2)
1.0ms	x	@	-inf	(cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2))
1.0ms	x	@	-inf	(pow.f64 (*.f64 x (log.f64 x)) 3/2)
1.0ms	x	@	inf	(pow.f64 (*.f64 x (log.f64 x)) 3/2)
1.0ms	x	@	0	(cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2))

rewrite57.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

680×	`pow1_binary64`
637×	`add-log-exp_binary64`
637×	`log1p-expm1-u_binary64`
637×	`expm1-log1p-u_binary64`
621×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	34
1	187	23
2	2054	23

Stop Event

1×	node limit

Counts

3 → 72

Calls

Call 1

Inputs
(cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2))
(pow.f64 (cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2)) 2)
(pow.f64 (*.f64 x (log.f64 x)) 3/2)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (sqrt.f64 (*.f64 x (log.f64 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x (log.f64 x))) (cbrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))) (cbrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (sqrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))) (sqrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 x 3/2)) (cbrt.f64 (pow.f64 (log.f64 x) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2)) (sqrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (sqrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 x 3/2) 1/3) (pow.f64 (pow.f64 (log.f64 x) 3/2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/4) 1/3) (pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/4) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (log.f64 x)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (sqrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (*.f64 x (log.f64 x)))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 x) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x (log.f64 x))) (sqrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (cbrt.f64 x) (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x (log.f64 x))) (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x (log.f64 x))) (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))) (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) (*.f64 (cbrt.f64 (log.f64 x)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) (cbrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log.f64 x)) (*.f64 (sqrt.f64 (log.f64 x)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))) (*.f64 (sqrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))) (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/4) (sqrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (*.f64 x (log.f64 x))) (cbrt.f64 (*.f64 x (log.f64 x)))) (cbrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (pow.f64 (cbrt.f64 (log.f64 x)) 2)) (cbrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 x) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (log.f64 x) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (pow.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (log.f64 x))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (pow.f64 (*.f64 x (log.f64 x)) 3/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x (log.f64 x))) (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (log.f64 x)) (sqrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (*.f64 x (log.f64 x)) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) (*.f64 (cbrt.f64 (*.f64 x (log.f64 x))) (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 x 3/2) (pow.f64 (log.f64 x) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (log.f64 x) 3/2) (pow.f64 x 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/4) (pow.f64 (*.f64 x (log.f64 x)) 3/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 3/2) (pow.f64 (*.f64 x (log.f64 x)) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) 3/2) (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 3/2) (pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 x (log.f64 x)) (cbrt.f64 (*.f64 x (log.f64 x)))) (cbrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 x (log.f64 x)) (sqrt.f64 (sqrt.f64 (*.f64 x (log.f64 x))))) (sqrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 3/2 (log.f64 (*.f64 x (log.f64 x)))))))))

simplify95.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

658×	`unswap-sqr_binary64`
562×	`div-sub_binary64`
549×	`fma-neg_binary64`
512×	`distribute-rgt-in_binary64`
388×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	27	180
1	80	180
2	210	144
3	484	108
4	1259	108
5	3389	108

Stop Event

1×	node limit

Counts

84 → 76

Calls

Call 1

Inputs
(exp.f64 (*.f64 3/2 (+.f64 (log.f64 (log.f64 x)) (log.f64 x))))
(exp.f64 (*.f64 3/2 (+.f64 (log.f64 (log.f64 x)) (log.f64 x))))
(exp.f64 (*.f64 3/2 (+.f64 (log.f64 (log.f64 x)) (log.f64 x))))
(exp.f64 (*.f64 3/2 (+.f64 (log.f64 (log.f64 x)) (log.f64 x))))
(exp.f64 (.f64 3/2 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))))
(exp.f64 (.f64 3/2 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))))
(exp.f64 (.f64 3/2 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))))
(exp.f64 (.f64 3/2 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))))
(exp.f64 (.f64 3/2 (+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (.f64 -1 (log.f64 (/.f64 -1 x))))))
(exp.f64 (.f64 3/2 (+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (.f64 -1 (log.f64 (/.f64 -1 x))))))
(exp.f64 (.f64 3/2 (+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (.f64 -1 (log.f64 (/.f64 -1 x))))))
(exp.f64 (.f64 3/2 (+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (.f64 -1 (log.f64 (/.f64 -1 x))))))

Outputs
(exp.f64 (*.f64 3/2 (+.f64 (log.f64 (log.f64 x)) (log.f64 x))))
(pow.f64 (exp.f64 3/2) (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 (pow.f64 (log.f64 x) 3/2) (pow.f64 x 3/2))
(pow.f64 (*.f64 (log.f64 x) x) 3/2)
(exp.f64 (*.f64 3/2 (+.f64 (log.f64 (log.f64 x)) (log.f64 x))))
(pow.f64 (exp.f64 3/2) (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 (pow.f64 (log.f64 x) 3/2) (pow.f64 x 3/2))
(pow.f64 (*.f64 (log.f64 x) x) 3/2)
(exp.f64 (*.f64 3/2 (+.f64 (log.f64 (log.f64 x)) (log.f64 x))))
(pow.f64 (exp.f64 3/2) (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 (pow.f64 (log.f64 x) 3/2) (pow.f64 x 3/2))
(pow.f64 (*.f64 (log.f64 x) x) 3/2)
(exp.f64 (*.f64 3/2 (+.f64 (log.f64 (log.f64 x)) (log.f64 x))))
(pow.f64 (exp.f64 3/2) (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 (pow.f64 (log.f64 x) 3/2) (pow.f64 x 3/2))
(pow.f64 (*.f64 (log.f64 x) x) 3/2)
(exp.f64 (.f64 3/2 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))))
(pow.f64 (exp.f64 3/2) (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 (pow.f64 (log.f64 x) 3/2) (pow.f64 x 3/2))
(pow.f64 (*.f64 (log.f64 x) x) 3/2)
(exp.f64 (.f64 3/2 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))))
(pow.f64 (exp.f64 3/2) (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 (pow.f64 (log.f64 x) 3/2) (pow.f64 x 3/2))
(pow.f64 (*.f64 (log.f64 x) x) 3/2)
(exp.f64 (.f64 3/2 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))))
(pow.f64 (exp.f64 3/2) (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 (pow.f64 (log.f64 x) 3/2) (pow.f64 x 3/2))
(pow.f64 (*.f64 (log.f64 x) x) 3/2)
(exp.f64 (.f64 3/2 (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (*.f64 -1 (log.f64 (/.f64 1 x)))))))
(pow.f64 (exp.f64 3/2) (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 (pow.f64 (log.f64 x) 3/2) (pow.f64 x 3/2))
(pow.f64 (*.f64 (log.f64 x) x) 3/2)
(exp.f64 (.f64 3/2 (+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (.f64 -1 (log.f64 (/.f64 -1 x))))))
(pow.f64 (exp.f64 3/2) (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 (pow.f64 (log.f64 x) 3/2) (pow.f64 x 3/2))
(pow.f64 (*.f64 (log.f64 x) x) 3/2)
(exp.f64 (.f64 3/2 (+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (.f64 -1 (log.f64 (/.f64 -1 x))))))
(pow.f64 (exp.f64 3/2) (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 (pow.f64 (log.f64 x) 3/2) (pow.f64 x 3/2))
(pow.f64 (*.f64 (log.f64 x) x) 3/2)
(exp.f64 (.f64 3/2 (+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (.f64 -1 (log.f64 (/.f64 -1 x))))))
(pow.f64 (exp.f64 3/2) (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 (pow.f64 (log.f64 x) 3/2) (pow.f64 x 3/2))
(pow.f64 (*.f64 (log.f64 x) x) 3/2)
(exp.f64 (.f64 3/2 (+.f64 (log.f64 (.f64 -1 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)))) (.f64 -1 (log.f64 (/.f64 -1 x))))))
(pow.f64 (exp.f64 3/2) (+.f64 (log.f64 x) (log.f64 (log.f64 x))))
(*.f64 (pow.f64 (log.f64 x) 3/2) (pow.f64 x 3/2))
(pow.f64 (*.f64 (log.f64 x) x) 3/2)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (cbrt.f64 x) (log.f64 x))
✓	0.4b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (log.f64 x)))
✓	0.5b	(pow.f64 (cbrt.f64 x) 2)
✓	0.6b	(cbrt.f64 x)

Compiler

Compiled 26 to 10 computations (61.5% saved)

series8.0ms (0.1%)

Counts

4 → 12

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (log.f64 x)))
1.0ms	x	@	-inf	(*.f64 (cbrt.f64 x) (log.f64 x))
1.0ms	x	@	-inf	(pow.f64 (cbrt.f64 x) 2)
1.0ms	x	@	inf	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (log.f64 x)))
1.0ms	x	@	inf	(*.f64 (cbrt.f64 x) (log.f64 x))

rewrite100.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

655×	`pow1_binary64`
605×	`add-log-exp_binary64`
605×	`log1p-expm1-u_binary64`
605×	`expm1-log1p-u_binary64`
591×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	23
1	160	23
2	1755	23

Stop Event

1×	node limit

Counts

4 → 63

Calls

Call 1

Inputs
(cbrt.f64 x)
(pow.f64 (cbrt.f64 x) 2)
(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (log.f64 x)))
(*.f64 (cbrt.f64 x) (log.f64 x))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (cbrt.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 x)) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 x 1/6) (pow.f64 x 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cbrt.f64 (.f64 x (cbrt.f64 x)))) (sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 1 1/3) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 x) 1/3) (pow.f64 (sqrt.f64 x) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 x 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cbrt.f64 x) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 x 1/6) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cbrt.f64 x)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (pow.f64 (cbrt.f64 x) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 x) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 x) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 (cbrt.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (.f64 x (cbrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 x (cbrt.f64 x))) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 x) (pow.f64 x 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 x 1/6) (.f64 (pow.f64 x 1/6) (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)) (cbrt.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 x (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (cbrt.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (cbrt.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 2 (log.f64 (cbrt.f64 x))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 x (log.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 x (log.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 x (log.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 x (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 x (log.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 x 3) (pow.f64 (log.f64 x) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 x x) (pow.f64 (.f64 (cbrt.f64 x) (log.f64 x)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 x) (log.f64 x)) 3) (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (log.f64 x))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 (cbrt.f64 x) (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (cbrt.f64 x) (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (cbrt.f64 x) (log.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (log.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (cbrt.f64 x) (log.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (cbrt.f64 x) (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 x (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (cbrt.f64 x) (log.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 x (pow.f64 (log.f64 x) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (log.f64 x) 3) x))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (cbrt.f64 x) (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (pow.f64 x (cbrt.f64 x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (cbrt.f64 x) (log.f64 x))))))))

simplify156.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1961×	`fma-def_binary64`
961×	`fma-neg_binary64`
610×	`distribute-rgt-in_binary64`
511×	`distribute-lft-in_binary64`
249×	`unsub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	72
1	33	72
2	60	72
3	134	72
4	275	72
5	704	72
6	1985	72
7	3039	72
8	3407	72
9	3573	72
10	3583	72
11	3585	72
12	4846	72
13	5508	72
14	5640	72
15	5676	72
16	5690	72
17	5694	72
18	5694	72
19	5718	72

Stop Event

1×	node limit

Counts

75 → 67

Calls

Call 1

Inputs
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)

Outputs
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))

eval168.0ms (2.8%)

Compiler: Compiled 3726 to 1774 computations (52.4% saved)

prune78.0ms (1.3%)

Pruning

18 alts after pruning (9 fresh and 9 done)

	Pruned	Kept	Total
New	331	7	338
Fresh	4	2	6
Picked	0	1	1
Done	2	8	10
Total	337	18	355

Error

0.0b

Counts

355 → 18

Alt Table

Click to see full alt table

Status	Error	Program
✓	32.3b	(pow.f64 (E.f64) (log.f64 (*.f64 x (log.f64 x))))
✓	1.3b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (log.f64 x)))
▶	29.6b	(*.f64 x (exp.f64 (log.f64 (log.f64 x))))
	29.3b	(.f64 (.f64 x (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x)))
✓	0.3b	(*.f64 x (log.f64 x))
✓	41.4b	(pow.f64 (cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2)) 2)
	29.6b	(*.f64 x (expm1.f64 (log1p.f64 (log.f64 x))))
✓	42.1b	(cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))
▶	1.7b	(pow.f64 (*.f64 (cbrt.f64 (log.f64 x)) (cbrt.f64 x)) 3)
	5.1b	(.f64 (exp.f64 (.f64 2 (log.f64 (cbrt.f64 x)))) (*.f64 (cbrt.f64 x) (log.f64 x)))
▶	0.6b	(*.f64 x (cbrt.f64 (pow.f64 (log.f64 x) 3)))
▶	0.4b	(*.f64 x (+.f64 (log.f64 (pow.f64 (cbrt.f64 x) 2)) (log.f64 (cbrt.f64 x))))
✓	61.1b	(log.f64 (pow.f64 x x))
▶	0.3b	(*.f64 x (+.f64 (log.f64 (sqrt.f64 x)) (log.f64 (sqrt.f64 x))))
	31.1b	(.f64 (.f64 (log.f64 x) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
✓	29.3b	(pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)
✓	1.4b	(pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)
✓	0.6b	(.f64 (.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))

Compiler

Compiled 246 to 164 computations (33.3% saved)

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(log.f64 (sqrt.f64 x))
✓	0.3b	(*.f64 x (+.f64 (log.f64 (sqrt.f64 x)) (log.f64 (sqrt.f64 x))))

Compiler

Compiled 23 to 5 computations (78.3% saved)

series5.0ms (0.1%)

Counts

2 → 0

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	x	@	0	(*.f64 x (+.f64 (log.f64 (sqrt.f64 x)) (log.f64 (sqrt.f64 x))))
1.0ms	x	@	-inf	(*.f64 x (+.f64 (log.f64 (sqrt.f64 x)) (log.f64 (sqrt.f64 x))))
1.0ms	x	@	inf	(*.f64 x (+.f64 (log.f64 (sqrt.f64 x)) (log.f64 (sqrt.f64 x))))
0.0ms	x	@	inf	(log.f64 (sqrt.f64 x))
0.0ms	x	@	0	(log.f64 (sqrt.f64 x))

rewrite52.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

576×	`pow1_binary64`
540×	`add-log-exp_binary64`
539×	`log1p-expm1-u_binary64`
539×	`expm1-log1p-u_binary64`
527×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	11
1	129	11
2	1780	11

Stop Event

1×	node limit

Counts

2 → 41

Calls

Call 1

Inputs
(*.f64 x (+.f64 (log.f64 (sqrt.f64 x)) (log.f64 (sqrt.f64 x))))
(log.f64 (sqrt.f64 x))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (log.f64 (sqrt.f64 x))) (*.f64 x (log.f64 (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x (log.f64 (sqrt.f64 x))) 1) (*.f64 (*.f64 x (log.f64 (sqrt.f64 x))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 x (log.f64 (sqrt.f64 x))) 3) (pow.f64 (*.f64 x (log.f64 (sqrt.f64 x))) 3)) (+.f64 (*.f64 (*.f64 x (log.f64 (sqrt.f64 x))) (*.f64 x (log.f64 (sqrt.f64 x)))) (-.f64 (*.f64 (*.f64 x (log.f64 (sqrt.f64 x))) (*.f64 x (log.f64 (sqrt.f64 x)))) (*.f64 (*.f64 x (log.f64 (sqrt.f64 x))) (*.f64 x (log.f64 (sqrt.f64 x)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 x (log.f64 (sqrt.f64 x))) (*.f64 x (log.f64 (sqrt.f64 x)))) (*.f64 (*.f64 x (log.f64 (sqrt.f64 x))) (*.f64 x (log.f64 (sqrt.f64 x))))) (-.f64 (*.f64 x (log.f64 (sqrt.f64 x))) (*.f64 x (log.f64 (sqrt.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 2 (pow.f64 (log.f64 (sqrt.f64 x)) 3)) x) (+.f64 (pow.f64 (log.f64 (sqrt.f64 x)) 2) 0))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 0 x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 2 (pow.f64 (log.f64 (sqrt.f64 x)) 3))) (+.f64 (pow.f64 (log.f64 (sqrt.f64 x)) 2) 0))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x 0) 0)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (log.f64 x) (pow.f64 x 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (log.f64 x) (cbrt.f64 x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 x) (log.f64 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (log.f64 x) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (log.f64 x) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (pow.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (log.f64 (sqrt.f64 x)) (*.f64 x (log.f64 (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (log.f64 (sqrt.f64 x)) x (*.f64 x (log.f64 (sqrt.f64 x))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 x 1/4)) (log.f64 (pow.f64 x 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (cbrt.f64 x)) (log.f64 (cbrt.f64 (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (log.f64 (sqrt.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 (sqrt.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 x) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log.f64 (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (log.f64 (sqrt.f64 x))) (pow.f64 (cbrt.f64 (log.f64 (sqrt.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (log.f64 (sqrt.f64 x))) 2) (cbrt.f64 (log.f64 (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log.f64 (sqrt.f64 x))) (sqrt.f64 (log.f64 (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (log.f64 (sqrt.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (log.f64 (sqrt.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (log.f64 (sqrt.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (log.f64 (sqrt.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (log.f64 (sqrt.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (log.f64 (sqrt.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (log.f64 (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (sqrt.f64 x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (log.f64 (sqrt.f64 x))))))))

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

41 → 41

Calls

Call 1

Inputs

Outputs

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(log.f64 (log.f64 x))
✓	0.2b	(*.f64 x (exp.f64 (log.f64 (log.f64 x))))
✓	0.6b	(exp.f64 (log.f64 (log.f64 x)))

Compiler

Compiled 17 to 5 computations (70.6% saved)

series2.0ms (0%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	inf	(exp.f64 (log.f64 (log.f64 x)))
0.0ms	x	@	0	(exp.f64 (log.f64 (log.f64 x)))
0.0ms	x	@	-inf	(exp.f64 (log.f64 (log.f64 x)))
0.0ms	x	@	-inf	(*.f64 x (exp.f64 (log.f64 (log.f64 x))))
0.0ms	x	@	inf	(*.f64 x (exp.f64 (log.f64 (log.f64 x))))

rewrite84.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

417×	`pow1_binary64`
396×	`add-sqr-sqrt_binary64`
391×	`*-un-lft-identity_binary64`
381×	`add-log-exp_binary64`
381×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	100	9
2	1073	9

Stop Event

1×	node limit

Counts

2 → 49

Calls

Call 1

Inputs
(exp.f64 (log.f64 (log.f64 x)))
(*.f64 x (exp.f64 (log.f64 (log.f64 x))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (-.f64 (log.f64 x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 2 (log.f64 (cbrt.f64 x))) (log.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 x)) (log.f64 (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (cbrt.f64 x)) (*.f64 2 (log.f64 (cbrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (log.f64 x)) (pow.f64 (cbrt.f64 (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) (cbrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 3 (log.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/3 (*.f64 3 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (log.f64 (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (pow.f64 (log.f64 x) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (log.f64 x) 3)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (pow.f64 (log.f64 x) 2) (pow.f64 (cbrt.f64 (log.f64 x)) 2)) 1/3) (cbrt.f64 (cbrt.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (pow.f64 (log.f64 x) 2) (sqrt.f64 (log.f64 x))) 1/3) (cbrt.f64 (sqrt.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (log.f64 x))) 2) 3) (cbrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (log.f64 x))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (log.f64 x))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (log.f64 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (log.f64 x) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (log.f64 x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (log.f64 x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (log.f64 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2)) (cbrt.f64 (log.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (log.f64 x)))) (sqrt.f64 (log.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1) (log.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (log.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 x)))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (log.f64 x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 x 1))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 x x)) 2)) (log.f64 (cbrt.f64 (pow.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 x x))) (log.f64 (sqrt.f64 (pow.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (pow.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (log.f64 x))))))))

simplify229.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

808×	`distribute-rgt-in_binary64`
774×	`unsub-neg_binary64`
641×	`fma-def_binary64`
629×	`distribute-neg-in_binary64`
520×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	108
1	35	108
2	62	108
3	150	108
4	272	108
5	662	108
6	2081	108
7	3405	108
8	4582	108
9	4949	108
10	5033	108
11	5062	108
12	5074	108
13	5074	108
14	6044	108
15	7085	108
16	7529	108
17	7707	108
18	7845	108
19	7869	108
20	7869	108
21	7869	108

Stop Event

1×	node limit

Counts

73 → 55

Calls

Call 1

Inputs
(log.f64 x)
(log.f64 x)
(log.f64 x)
(log.f64 x)
(*.f64 -1 (log.f64 (/.f64 1 x)))
(*.f64 -1 (log.f64 (/.f64 1 x)))
(*.f64 -1 (log.f64 (/.f64 1 x)))
(*.f64 -1 (log.f64 (/.f64 1 x)))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)

Outputs
(log.f64 x)
(log.f64 x)
(log.f64 x)
(log.f64 x)
(*.f64 -1 (log.f64 (/.f64 1 x)))
(log.f64 x)
(*.f64 -1 (log.f64 (/.f64 1 x)))
(log.f64 x)
(*.f64 -1 (log.f64 (/.f64 1 x)))
(log.f64 x)
(*.f64 -1 (log.f64 (/.f64 1 x)))
(log.f64 x)
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(log.f64 x)
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(log.f64 x)
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(log.f64 x)
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(log.f64 x)
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 x (cbrt.f64 (pow.f64 (log.f64 x) 3)))
✓	0.5b	(cbrt.f64 (pow.f64 (log.f64 x) 3))
	0.7b	(pow.f64 (log.f64 x) 3)

Compiler

Compiled 21 to 12 computations (42.9% saved)

series2.0ms (0%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(cbrt.f64 (pow.f64 (log.f64 x) 3))
0.0ms	x	@	-inf	(cbrt.f64 (pow.f64 (log.f64 x) 3))
0.0ms	x	@	-inf	(*.f64 x (cbrt.f64 (pow.f64 (log.f64 x) 3)))
0.0ms	x	@	inf	(cbrt.f64 (pow.f64 (log.f64 x) 3))
0.0ms	x	@	0	(*.f64 x (cbrt.f64 (pow.f64 (log.f64 x) 3)))

rewrite48.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

518×	`pow1_binary64`
504×	`add-sqr-sqrt_binary64`
487×	`add-log-exp_binary64`
487×	`log1p-expm1-u_binary64`
487×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	145	9
2	1394	9

Stop Event

1×	node limit

Counts

2 → 33

Calls

Call 1

Inputs
(cbrt.f64 (pow.f64 (log.f64 x) 3))
(*.f64 x (cbrt.f64 (pow.f64 (log.f64 x) 3)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 x)) (log.f64 (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 x) 2)) (log.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (log.f64 x)) (pow.f64 (cbrt.f64 (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (log.f64 x)) (pow.f64 (pow.f64 (log.f64 x) 2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) (cbrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (log.f64 x) 2) 1/3) (cbrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (log.f64 x) 3/2) 1/3) (pow.f64 (pow.f64 (log.f64 x) 3/2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (log.f64 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (log.f64 x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (log.f64 x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (log.f64 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (log.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 x)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 x 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (log.f64 x)))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (pow.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (log.f64 x))))))))

simplify204.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

808×	`distribute-rgt-in_binary64`
774×	`unsub-neg_binary64`
641×	`fma-def_binary64`
629×	`distribute-neg-in_binary64`
520×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	108
1	35	108
2	62	108
3	150	108
4	272	108
5	662	108
6	2081	108
7	3405	108
8	4582	108
9	4949	108
10	5033	108
11	5062	108
12	5074	108
13	5074	108
14	6044	108
15	7085	108
16	7529	108
17	7707	108
18	7845	108
19	7869	108
20	7869	108
21	7869	108

Stop Event

1×	node limit

Counts

57 → 39

Calls

Call 1

Inputs
(log.f64 x)
(log.f64 x)
(log.f64 x)
(log.f64 x)
(*.f64 -1 (log.f64 (/.f64 1 x)))
(*.f64 -1 (log.f64 (/.f64 1 x)))
(*.f64 -1 (log.f64 (/.f64 1 x)))
(*.f64 -1 (log.f64 (/.f64 1 x)))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(*.f64 (log.f64 x) x)
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)

Outputs
(log.f64 x)
(log.f64 x)
(log.f64 x)
(log.f64 x)
(*.f64 -1 (log.f64 (/.f64 1 x)))
(log.f64 x)
(*.f64 -1 (log.f64 (/.f64 1 x)))
(log.f64 x)
(*.f64 -1 (log.f64 (/.f64 1 x)))
(log.f64 x)
(*.f64 -1 (log.f64 (/.f64 1 x)))
(log.f64 x)
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(log.f64 x)
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(log.f64 x)
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(log.f64 x)
(+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1))
(log.f64 x)
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 -1 (.f64 (log.f64 (/.f64 1 x)) x))
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))
(.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) x)
(*.f64 x (log.f64 x))

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(*.f64 (cbrt.f64 (log.f64 x)) (cbrt.f64 x))
✓	0.5b	(cbrt.f64 (log.f64 x))
	0.6b	(cbrt.f64 x)
✓	0.7b	(pow.f64 (*.f64 (cbrt.f64 (log.f64 x)) (cbrt.f64 x)) 3)

Compiler

Compiled 24 to 8 computations (66.7% saved)

series8.0ms (0.1%)

Counts

3 → 12

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	x	@	-inf	(cbrt.f64 (log.f64 x))
2.0ms	x	@	inf	(cbrt.f64 (log.f64 x))
1.0ms	x	@	0	(cbrt.f64 (log.f64 x))
1.0ms	x	@	0	(pow.f64 (*.f64 (cbrt.f64 (log.f64 x)) (cbrt.f64 x)) 3)
1.0ms	x	@	-inf	(pow.f64 (*.f64 (cbrt.f64 (log.f64 x)) (cbrt.f64 x)) 3)

rewrite54.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

657×	`pow1_binary64`
614×	`add-log-exp_binary64`
614×	`log1p-expm1-u_binary64`
614×	`expm1-log1p-u_binary64`
595×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	24
1	165	19
2	1790	19

Stop Event

1×	node limit

Counts

3 → 59

Calls

Call 1

Inputs
(pow.f64 (*.f64 (cbrt.f64 (log.f64 x)) (cbrt.f64 x)) 3)
(cbrt.f64 (log.f64 x))
(*.f64 (cbrt.f64 (log.f64 x)) (cbrt.f64 x))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 x) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (log.f64 x)) (*.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 x) (*.f64 (cbrt.f64 (log.f64 x)) (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x (log.f64 x))) (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) (cbrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) (*.f64 (cbrt.f64 (log.f64 x)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))) 2) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))) (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))) (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))) (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log.f64 x)) (*.f64 (sqrt.f64 (log.f64 x)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 x (log.f64 x))) (sqrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))) 2) 3) (cbrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 x) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) (cbrt.f64 (log.f64 x))) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) (cbrt.f64 x)) (cbrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) 1) (cbrt.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2) (cbrt.f64 (sqrt.f64 (*.f64 x (log.f64 x))))) (cbrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (pow.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (log.f64 x))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (cbrt.f64 (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cbrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (log.f64 x))) (pow.f64 (cbrt.f64 (cbrt.f64 (log.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (log.f64 x))) 2) (cbrt.f64 (cbrt.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (log.f64 x) 1/6) (pow.f64 (log.f64 x) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (cbrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) 1/3) (cbrt.f64 (cbrt.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (log.f64 x)) 1/3) (pow.f64 (sqrt.f64 (log.f64 x)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (log.f64 x) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 (log.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (log.f64 x) 1/6) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cbrt.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cbrt.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cbrt.f64 (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cbrt.f64 (log.f64 x))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (cbrt.f64 (*.f64 x (log.f64 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (log.f64 x)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x (log.f64 x)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 x (log.f64 x)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cbrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 x (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cbrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cbrt.f64 (*.f64 x (log.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cbrt.f64 (*.f64 x (log.f64 x)))))))))

simplify91.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

726×	`unswap-sqr_binary64`
596×	`associate-l_binary64`
377×	`unsub-neg_binary64`
363×	`associate-r_binary64`
338×	`sqr-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	88
1	44	88
2	68	88
3	135	88
4	304	88
5	769	88
6	2613	88
7	5554	88
8	6445	88
9	7114	88
10	7574	88

Stop Event

1×	node limit

Counts

71 → 63

Calls

Call 1

Inputs
(pow.f64 (log.f64 x) 1/3)
(pow.f64 (log.f64 x) 1/3)
(pow.f64 (log.f64 x) 1/3)
(pow.f64 (log.f64 x) 1/3)
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (cbrt.f64 -1))
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (cbrt.f64 -1))
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (cbrt.f64 -1))
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (cbrt.f64 -1))
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 1/3)
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 1/3)
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 1/3)
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 1/3)

Outputs
(pow.f64 (log.f64 x) 1/3)
(cbrt.f64 (log.f64 x))
(pow.f64 (log.f64 x) 1/3)
(cbrt.f64 (log.f64 x))
(pow.f64 (log.f64 x) 1/3)
(cbrt.f64 (log.f64 x))
(pow.f64 (log.f64 x) 1/3)
(cbrt.f64 (log.f64 x))
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (cbrt.f64 -1))
(*.f64 (cbrt.f64 (neg.f64 (log.f64 x))) (cbrt.f64 -1))
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (cbrt.f64 -1))
(*.f64 (cbrt.f64 (neg.f64 (log.f64 x))) (cbrt.f64 -1))
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (cbrt.f64 -1))
(*.f64 (cbrt.f64 (neg.f64 (log.f64 x))) (cbrt.f64 -1))
(.f64 (pow.f64 (.f64 1 (log.f64 (/.f64 1 x))) 1/3) (cbrt.f64 -1))
(*.f64 (cbrt.f64 (neg.f64 (log.f64 x))) (cbrt.f64 -1))
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 1/3)
(cbrt.f64 (log.f64 x))
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 1/3)
(cbrt.f64 (log.f64 x))
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 1/3)
(cbrt.f64 (log.f64 x))
(pow.f64 (+.f64 (*.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 -1)) 1/3)
(cbrt.f64 (log.f64 x))

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 x (+.f64 (log.f64 (pow.f64 (cbrt.f64 x) 2)) (log.f64 (cbrt.f64 x))))
✓	0.3b	(+.f64 (log.f64 (pow.f64 (cbrt.f64 x) 2)) (log.f64 (cbrt.f64 x)))
	0.5b	(pow.f64 (cbrt.f64 x) 2)
	0.6b	(cbrt.f64 x)

Compiler

Compiled 37 to 18 computations (51.4% saved)

series11.0ms (0.2%)

Counts

2 → 0

Calls

6 calls:

Time	Variable		Point	Expression
3.0ms	x	@	0	(*.f64 x (+.f64 (log.f64 (pow.f64 (cbrt.f64 x) 2)) (log.f64 (cbrt.f64 x))))
2.0ms	x	@	inf	(+.f64 (log.f64 (pow.f64 (cbrt.f64 x) 2)) (log.f64 (cbrt.f64 x)))
2.0ms	x	@	-inf	(+.f64 (log.f64 (pow.f64 (cbrt.f64 x) 2)) (log.f64 (cbrt.f64 x)))
2.0ms	x	@	0	(+.f64 (log.f64 (pow.f64 (cbrt.f64 x) 2)) (log.f64 (cbrt.f64 x)))
1.0ms	x	@	-inf	(*.f64 x (+.f64 (log.f64 (pow.f64 (cbrt.f64 x) 2)) (log.f64 (cbrt.f64 x))))

rewrite86.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

913×	`pow1_binary64`
855×	`add-log-exp_binary64`
854×	`log1p-expm1-u_binary64`
854×	`expm1-log1p-u_binary64`
834×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	9
1	194	9
2	2515	9

Stop Event

1×	node limit

Counts

2 → 60

Calls

Call 1

Inputs
(+.f64 (log.f64 (pow.f64 (cbrt.f64 x) 2)) (log.f64 (cbrt.f64 x)))
(*.f64 x (+.f64 (log.f64 (pow.f64 (cbrt.f64 x) 2)) (log.f64 (cbrt.f64 x))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 4 (pow.f64 (log.f64 (cbrt.f64 x)) 2)) (log.f64 (cbrt.f64 x))) (/.f64 (pow.f64 (log.f64 (cbrt.f64 x)) 2) (log.f64 (cbrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 (cbrt.f64 x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (log.f64 x)) (pow.f64 (cbrt.f64 (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) (cbrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 3 (log.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 8 (pow.f64 (log.f64 (cbrt.f64 x)) 3)) (pow.f64 (log.f64 (cbrt.f64 x)) 3)) (/.f64 1 (+.f64 (*.f64 4 (pow.f64 (log.f64 (cbrt.f64 x)) 2)) (-.f64 (pow.f64 (log.f64 (cbrt.f64 x)) 2) (*.f64 2 (pow.f64 (log.f64 (cbrt.f64 x)) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (log.f64 x) (log.f64 (cbrt.f64 x))) (/.f64 1 (log.f64 (cbrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (*.f64 4 (pow.f64 (log.f64 (cbrt.f64 x)) 2)) (-.f64 (pow.f64 (log.f64 (cbrt.f64 x)) 2) (*.f64 2 (pow.f64 (log.f64 (cbrt.f64 x)) 2)))) (+.f64 (*.f64 8 (pow.f64 (log.f64 (cbrt.f64 x)) 3)) (pow.f64 (log.f64 (cbrt.f64 x)) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (log.f64 (cbrt.f64 x)) (*.f64 (log.f64 x) (log.f64 (cbrt.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 8 (pow.f64 (log.f64 (cbrt.f64 x)) 3)) (pow.f64 (log.f64 (cbrt.f64 x)) 3)) (+.f64 (*.f64 4 (pow.f64 (log.f64 (cbrt.f64 x)) 2)) (-.f64 (pow.f64 (log.f64 (cbrt.f64 x)) 2) (*.f64 2 (pow.f64 (log.f64 (cbrt.f64 x)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 8 (pow.f64 (log.f64 (cbrt.f64 x)) 3)) (pow.f64 (log.f64 (cbrt.f64 x)) 3)) (+.f64 (pow.f64 (log.f64 (cbrt.f64 x)) 2) (-.f64 (*.f64 4 (pow.f64 (log.f64 (cbrt.f64 x)) 2)) (*.f64 2 (pow.f64 (log.f64 (cbrt.f64 x)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (log.f64 x) (log.f64 (cbrt.f64 x))) (log.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (*.f64 8 (pow.f64 (log.f64 (cbrt.f64 x)) 3)) (pow.f64 (log.f64 (cbrt.f64 x)) 3))) (neg.f64 (+.f64 (*.f64 4 (pow.f64 (log.f64 (cbrt.f64 x)) 2)) (-.f64 (pow.f64 (log.f64 (cbrt.f64 x)) 2) (*.f64 2 (pow.f64 (log.f64 (cbrt.f64 x)) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 (log.f64 x) (log.f64 (cbrt.f64 x)))) (neg.f64 (log.f64 (cbrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (log.f64 (cbrt.f64 x)) 2) (*.f64 4 (pow.f64 (log.f64 (cbrt.f64 x)) 2))) (-.f64 (log.f64 (cbrt.f64 x)) (*.f64 2 (log.f64 (cbrt.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (log.f64 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (log.f64 x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (log.f64 x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (log.f64 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (log.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 x)))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (log.f64 x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 x 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (log.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 2 (log.f64 (cbrt.f64 x)) (log.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 2 (log.f64 (cbrt.f64 x))) (log.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (log.f64 (cbrt.f64 x)) (*.f64 2 (log.f64 (cbrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 2 (log.f64 (cbrt.f64 x)))) 2) (cbrt.f64 (*.f64 2 (log.f64 (cbrt.f64 x)))) (log.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (log.f64 (cbrt.f64 x))) 2) (cbrt.f64 (log.f64 (cbrt.f64 x))) (*.f64 2 (log.f64 (cbrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 2 (log.f64 (cbrt.f64 x)))) (sqrt.f64 (*.f64 2 (log.f64 (cbrt.f64 x)))) (log.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (log.f64 (cbrt.f64 x))) (sqrt.f64 (log.f64 (cbrt.f64 x))) (*.f64 2 (log.f64 (cbrt.f64 x))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 2 (log.f64 (cbrt.f64 x)))) (*.f64 x (log.f64 (cbrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (log.f64 (cbrt.f64 x))) (*.f64 x (*.f64 2 (log.f64 (cbrt.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x (*.f64 2 (log.f64 (cbrt.f64 x)))) 1) (*.f64 (*.f64 x (log.f64 (cbrt.f64 x))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (log.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 x (*.f64 2 (log.f64 (cbrt.f64 x)))) 3) (pow.f64 (*.f64 x (log.f64 (cbrt.f64 x))) 3)) (+.f64 (*.f64 (*.f64 x (*.f64 2 (log.f64 (cbrt.f64 x)))) (*.f64 x (*.f64 2 (log.f64 (cbrt.f64 x))))) (-.f64 (*.f64 (*.f64 x (log.f64 (cbrt.f64 x))) (*.f64 x (log.f64 (cbrt.f64 x)))) (*.f64 (*.f64 x (*.f64 2 (log.f64 (cbrt.f64 x)))) (*.f64 x (log.f64 (cbrt.f64 x)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 x (*.f64 2 (log.f64 (cbrt.f64 x)))) (*.f64 x (*.f64 2 (log.f64 (cbrt.f64 x))))) (*.f64 (*.f64 x (log.f64 (cbrt.f64 x))) (*.f64 x (log.f64 (cbrt.f64 x))))) (-.f64 (*.f64 x (*.f64 2 (log.f64 (cbrt.f64 x)))) (*.f64 x (log.f64 (cbrt.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 8 (pow.f64 (log.f64 (cbrt.f64 x)) 3)) (pow.f64 (log.f64 (cbrt.f64 x)) 3)) x) (+.f64 (*.f64 4 (pow.f64 (log.f64 (cbrt.f64 x)) 2)) (-.f64 (pow.f64 (log.f64 (cbrt.f64 x)) 2) (*.f64 2 (pow.f64 (log.f64 (cbrt.f64 x)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (log.f64 x) (log.f64 (cbrt.f64 x))) x) (log.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (+.f64 (*.f64 8 (pow.f64 (log.f64 (cbrt.f64 x)) 3)) (pow.f64 (log.f64 (cbrt.f64 x)) 3))) (+.f64 (*.f64 4 (pow.f64 (log.f64 (cbrt.f64 x)) 2)) (-.f64 (pow.f64 (log.f64 (cbrt.f64 x)) 2) (*.f64 2 (pow.f64 (log.f64 (cbrt.f64 x)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 (log.f64 x) (log.f64 (cbrt.f64 x)))) (log.f64 (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (log.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (log.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (log.f64 x) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (pow.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (log.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (*.f64 2 (log.f64 (cbrt.f64 x))) (*.f64 x (log.f64 (cbrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 2 (log.f64 (cbrt.f64 x))) x (*.f64 x (log.f64 (cbrt.f64 x))))))))

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

60 → 60

Calls

Call 1

Inputs

Outputs

eval163.0ms (2.8%)

Compiler: Compiled 4618 to 2078 computations (55% saved)

prune318.0ms (5.4%)

Pruning

21 alts after pruning (10 fresh and 11 done)

	Pruned	Kept	Total
New	388	9	397
Fresh	3	1	4
Picked	1	0	1
Done	2	11	13
Total	394	21	415

Error

Counts

415 → 21

Alt Table

Click to see full alt table

Status	Error	Program
	0.4b	(+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 x)))) (*.f64 x (log.f64 (cbrt.f64 x))))
✓	29.3b	(pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)
	0.4b	(.f64 x (.f64 (log.f64 (cbrt.f64 x)) 3))
	31.1b	(.f64 (.f64 (log.f64 x) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
✓	29.6b	(*.f64 x (exp.f64 (log.f64 (log.f64 x))))
	29.3b	(.f64 (.f64 x (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x)))
✓	0.3b	(*.f64 x (log.f64 x))
	64.0b	(/.f64 (*.f64 x 0) 0)
✓	0.6b	(.f64 (.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))
✓	42.1b	(cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))
✓	1.7b	(pow.f64 (*.f64 (cbrt.f64 (log.f64 x)) (cbrt.f64 x)) 3)
✓	0.6b	(*.f64 x (cbrt.f64 (pow.f64 (log.f64 x) 3)))
✓	61.1b	(log.f64 (pow.f64 x x))
	0.7b	(/.f64 (.f64 (.f64 2 (pow.f64 (log.f64 (sqrt.f64 x)) 3)) x) (+.f64 (pow.f64 (log.f64 (sqrt.f64 x)) 2) 0))
	29.6b	(*.f64 x (expm1.f64 (log1p.f64 (log.f64 x))))
	0.3b	(.f64 x (.f64 2 (log.f64 (sqrt.f64 x))))
	0.5b	(.f64 x (.f64 1/3 (*.f64 3 (log.f64 x))))
✓	1.3b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (log.f64 x)))
✓	1.4b	(pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)
	29.4b	(*.f64 x (pow.f64 (sqrt.f64 (log.f64 x)) 2))
✓	41.4b	(pow.f64 (cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2)) 2)

Compiler

Compiled 187 to 130 computations (30.5% saved)

regimes75.0ms (1.3%)

Accuracy

Total -63.7b remaining (-22343.8%)

Threshold costs -63.7b (-22343.8%)

Counts

34 → 1

Calls

Call 1

Inputs
(/.f64 (*.f64 x 0) 0)
(*.f64 x (log.f64 x))
(.f64 x (.f64 1/3 (*.f64 3 (log.f64 x))))
(log.f64 (pow.f64 x x))
(.f64 x (.f64 (log.f64 (cbrt.f64 x)) 3))
(.f64 x (.f64 2 (log.f64 (sqrt.f64 x))))
(*.f64 x (expm1.f64 (log1p.f64 (log.f64 x))))
(*.f64 x (exp.f64 (log.f64 (log.f64 x))))
(*.f64 x (expm1.f64 (log1p.f64 (log.f64 x))))
(*.f64 x (pow.f64 (sqrt.f64 (log.f64 x)) 2))
(*.f64 x (cbrt.f64 (pow.f64 (log.f64 x) 3)))
(pow.f64 (sqrt.f64 (*.f64 x (log.f64 x))) 2)
(pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 3)
(cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3))
(.f64 (.f64 (log.f64 x) (sqrt.f64 x)) (sqrt.f64 x))
(.f64 (.f64 (log.f64 x) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
(.f64 (.f64 (log.f64 x) (cbrt.f64 (*.f64 x x))) (cbrt.f64 x))
(*.f64 x (pow.f64 (E.f64) (log.f64 (log.f64 x))))
(pow.f64 (E.f64) (log.f64 (*.f64 x (log.f64 x))))
(pow.f64 (*.f64 (cbrt.f64 (log.f64 x)) (cbrt.f64 x)) 3)
(*.f64 x (+.f64 (log.f64 (sqrt.f64 x)) (log.f64 (sqrt.f64 x))))
(.f64 (.f64 x (sqrt.f64 (log.f64 x))) (sqrt.f64 (log.f64 x)))
(cbrt.f64 (*.f64 (pow.f64 (log.f64 x) 3) (pow.f64 x 3)))
(pow.f64 (cbrt.f64 (pow.f64 (*.f64 x (log.f64 x)) 3/2)) 2)
(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (log.f64 x)))
(.f64 (.f64 (log.f64 x) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
(+.f64 (.f64 x (.f64 2 (log.f64 (cbrt.f64 x)))) (*.f64 x (log.f64 (cbrt.f64 x))))
(*.f64 x (+.f64 (log.f64 (pow.f64 (cbrt.f64 x) 2)) (log.f64 (cbrt.f64 x))))
(.f64 (pow.f64 (cbrt.f64 (log.f64 x)) 2) (.f64 (cbrt.f64 (log.f64 x)) x))
(.f64 (exp.f64 (.f64 2 (log.f64 (cbrt.f64 x)))) (*.f64 (cbrt.f64 x) (log.f64 x)))
(/.f64 (-.f64 (pow.f64 (+.f64 1 (.f64 x (log.f64 x))) 3) 1) (+.f64 (.f64 (+.f64 1 (.f64 x (log.f64 x))) (+.f64 1 (.f64 x (log.f64 x)))) (+.f64 1 (.f64 (+.f64 1 (.f64 x (log.f64 x))) 1))))
(.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (log.f64 x)) (pow.f64 (cbrt.f64 (*.f64 x (log.f64 x))) 2)))
(cbrt.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 x (log.f64 x))) 2) 3) (*.f64 x (log.f64 x))))
(/.f64 (.f64 (.f64 2 (pow.f64 (log.f64 (sqrt.f64 x)) 3)) x) (+.f64 (pow.f64 (log.f64 (sqrt.f64 x)) 2) 0))

Outputs
(*.f64 x (log.f64 x))

Calls

2 calls:

48.0ms	x
18.0ms	(*.f64 x (log.f64 x))

Results

Error	Segments	Branch
0.3b	1	`x`
0.3b	1	`(*.f64 x (log.f64 x))`

Compiler

Compiled 330 to 146 computations (55.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	9	13

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(*.f64 x (log.f64 x))
(/.f64 (*.f64 x 0) 0)

Outputs
(*.f64 x (log.f64 x))
(/.f64 (*.f64 x 0) 0)

Compiler

Compiled 11 to 8 computations (27.3% saved)

soundness0.0ms (0%)

end15.0ms (0.3%)

Compiler: Compiled 10 to 7 computations (30% saved)