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
50%	50%	50%	0%	0%	0%	0%	3
66.7%	50%	25%	0%	25%	0%	0%	4
83.3%	62.5%	12.5%	0%	25%	0%	0%	5
90.9%	62.5%	6.2%	0%	31.2%	0%	0%	6
95.5%	65.6%	3.1%	0%	31.2%	0%	0%	7
97.7%	65.6%	1.6%	0%	32.8%	0%	0%	8
98.8%	66.4%	0.8%	0%	32.8%	0%	0%	9
99.4%	66.4%	0.4%	0%	33.2%	0%	0%	10
99.7%	66.6%	0.2%	0%	33.2%	0%	0%	11
99.9%	66.6%	0.1%	0%	33.3%	0%	0%	12

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample933.0ms (16.6%)

Results

917.0ms	8256×	body	256	valid
1.0ms	7×	body	256	infinite

Bogosity

preprocess7.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

14×	`rational.json-simplify-2`
4×	`rational.json-simplify-54`
4×	`rational.json-simplify-43`
4×	`rational.json-simplify-55`
2×	`rational.json-simplify-73`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	13	25
2	17	25
3	23	25
4	29	25
5	29	25
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

Outputs
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify23.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

14×	`rational.json-simplify-2`
4×	`rational.json-simplify-54`
4×	`rational.json-simplify-43`
4×	`rational.json-simplify-55`
2×	`rational.json-simplify-73`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	13	25
2	17	25
3	23	25
4	29	25
5	29	25

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

Outputs
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

eval1.0ms (0%)

Compiler: Compiled 10 to 7 computations (30% 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.2b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.2b	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

Compiler

Compiled 10 to 7 computations (30% saved)

localize16.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

Compiler

Compiled 24 to 15 computations (37.5% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite119.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1812×	`rational.json-5`
1810×	`exponential.json-3`
1810×	`rational.json-1`
1810×	`rational.json-2`
1810×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	76	25
2	240	25
3	868	25
4	3517	25

Stop Event

1×	node limit

Counts

1 → 6

Calls

Call 1

Inputs
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 x x) (-.f64 3 (+.f64 x x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (.f64 x x) (-.f64 3 (+.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 x x) (-.f64 3 (+.f64 x x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 x x) (-.f64 3 (+.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 x x) (-.f64 3 (+.f64 x x))) (/.f64 (.f64 (.f64 x x) (-.f64 3 (+.f64 x x))) (.f64 (.f64 x x) (-.f64 3 (+.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 x x) (-.f64 3 (+.f64 x x))) 1)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x x) (-.f64 3 (+.f64 x x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (*.f64 x x) (-.f64 3 (+.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (*.f64 x x) (-.f64 3 (+.f64 x x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 x x) (-.f64 3 (+.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 x x) (-.f64 3 (+.f64 x x))) (/.f64 (*.f64 (*.f64 x x) (-.f64 3 (+.f64 x x))) (*.f64 (*.f64 x x) (-.f64 3 (+.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (*.f64 x x) (-.f64 3 (+.f64 x x))) 1)))))

simplify197.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

1640×	`rational.json-simplify-47`
1408×	`rational.json-simplify-79`
834×	`rational.json-simplify-104`
820×	`rational.json-simplify-76`
790×	`rational.json-simplify-111`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	468
1	41	468
2	95	468
3	280	468
4	1210	468
5	2761	468
6	5240	468
7	6834	468

Stop Event

1×	node limit

Counts

18 → 12

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 (.f64 x x) (-.f64 3 (+.f64 x x))) 0)
(+.f64 0 (.f64 (.f64 x x) (-.f64 3 (+.f64 x x))))
(-.f64 (.f64 (.f64 x x) (-.f64 3 (+.f64 x x))) 0)
(/.f64 (.f64 (.f64 x x) (-.f64 3 (+.f64 x x))) 1)
(/.f64 (.f64 (.f64 x x) (-.f64 3 (+.f64 x x))) (/.f64 (.f64 (.f64 x x) (-.f64 3 (+.f64 x x))) (.f64 (.f64 x x) (-.f64 3 (+.f64 x x)))))
(pow.f64 (.f64 (.f64 x x) (-.f64 3 (+.f64 x x))) 1)

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

eval2.0ms (0%)

Compiler: Compiled 133 to 69 computations (48.1% saved)

prune5.0ms (0.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	8	4	12
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	8	5	13

Error

0.0b

Counts

13 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
✓	0.2b	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
▶	0.1b	(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))
▶	0.1b	(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
▶	21.9b	(*.f64 -2 (pow.f64 x 3))

Compiler

Compiled 48 to 34 computations (29.2% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 -2 (pow.f64 x 3))

Compiler

Compiled 12 to 9 computations (25% saved)

series1.0ms (0%)

Counts

1 → 0

Calls

3 calls:

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

rewrite78.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1190×	`rational.json-simplify-111`
1128×	`rational.json-5`
1126×	`exponential.json-3`
1126×	`rational.json-1`
1126×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	57	13
2	175	13
3	611	13
4	2323	13

Stop Event

1×	node limit

Counts

1 → 9

Calls

Call 1

Inputs
(*.f64 -2 (pow.f64 x 3))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 -2 (pow.f64 x 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 -2 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 -2 (pow.f64 x 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (.f64 -2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (.f64 -2 (pow.f64 x 3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 -2 (pow.f64 x 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 -2 (pow.f64 x 3)) (/.f64 (pow.f64 x 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 -2 (pow.f64 x 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 -2 (pow.f64 x 3))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -2 (pow.f64 x 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 -2 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 -2 (pow.f64 x 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 -2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 -2 (pow.f64 x 3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -2 (pow.f64 x 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -2 (pow.f64 x 3)) (/.f64 (pow.f64 x 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 -2 (pow.f64 x 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 -2 (pow.f64 x 3))))))))

simplify223.0ms (4%)

Algorithm

1×	egg-herbie

Rules

1368×	`rational.json-simplify-2`
874×	`exponential.json-simplify-27`
844×	`rational.json-simplify-79`
838×	`rational.json-simplify-43`
780×	`rational.json-simplify-80`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	117
1	47	117
2	92	117
3	209	117
4	485	117
5	1292	117
6	2932	117
7	4698	117
8	6174	117
9	7907	117

Stop Event

1×	node limit

Counts

9 → 10

Calls

Call 1

Inputs
(+.f64 (*.f64 -2 (pow.f64 x 3)) 0)
(+.f64 0 (*.f64 -2 (pow.f64 x 3)))
(-.f64 (*.f64 -2 (pow.f64 x 3)) 0)
(-.f64 0 (neg.f64 (*.f64 -2 (pow.f64 x 3))))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 -2 (pow.f64 x 3)))) 1)
(/.f64 (*.f64 -2 (pow.f64 x 3)) 1)
(/.f64 (*.f64 -2 (pow.f64 x 3)) (/.f64 (pow.f64 x 3) (pow.f64 x 3)))
(pow.f64 (*.f64 -2 (pow.f64 x 3)) 1)
(neg.f64 (neg.f64 (*.f64 -2 (pow.f64 x 3))))

Outputs
(+.f64 (*.f64 -2 (pow.f64 x 3)) 0)
(*.f64 -2 (pow.f64 x 3))
(+.f64 0 (*.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(-.f64 (*.f64 -2 (pow.f64 x 3)) 0)
(*.f64 -2 (pow.f64 x 3))
(-.f64 0 (neg.f64 (*.f64 -2 (pow.f64 x 3))))
(*.f64 -2 (pow.f64 x 3))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 -2 (pow.f64 x 3)))) 1)
(*.f64 -2 (pow.f64 x 3))
(/.f64 (*.f64 -2 (pow.f64 x 3)) 1)
(*.f64 -2 (pow.f64 x 3))
(/.f64 (*.f64 -2 (pow.f64 x 3)) (/.f64 (pow.f64 x 3) (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(pow.f64 (*.f64 -2 (pow.f64 x 3)) 1)
(*.f64 -2 (pow.f64 x 3))
(neg.f64 (neg.f64 (*.f64 -2 (pow.f64 x 3))))
(*.f64 -2 (pow.f64 x 3))

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 x (-.f64 3 (+.f64 x x)))
✓	0.1b	(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))

Compiler

Compiled 27 to 12 computations (55.6% saved)

series1.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite90.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1676×	`rational.json-5`
1674×	`exponential.json-3`
1674×	`rational.json-1`
1674×	`rational.json-2`
1674×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	44
1	69	44
2	230	44
3	816	44
4	3203	44

Stop Event

1×	node limit

Counts

2 → 12

Calls

Call 1

Inputs
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(*.f64 x (-.f64 3 (+.f64 x x)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 x (-.f64 3 (+.f64 x x)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (*.f64 x (-.f64 3 (+.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (*.f64 x (-.f64 3 (+.f64 x x)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 x (-.f64 3 (+.f64 x x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 x (-.f64 3 (+.f64 x x)))) (/.f64 (*.f64 x (*.f64 x (-.f64 3 (+.f64 x x)))) (*.f64 x (*.f64 x (-.f64 3 (+.f64 x x))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (*.f64 x (-.f64 3 (+.f64 x x)))) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (-.f64 3 (+.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (-.f64 3 (+.f64 x x))) (/.f64 (*.f64 x (-.f64 3 (+.f64 x x))) (*.f64 x (-.f64 3 (+.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 1)))))

simplify184.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

1474×	`rational.json-simplify-79`
1128×	`rational.json-simplify-2`
1018×	`rational.json-simplify-76`
938×	`rational.json-simplify-104`
836×	`rational.json-simplify-55`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	840
1	61	840
2	153	840
3	464	840
4	2117	840
5	5038	840
6	7139	840

Stop Event

1×	node limit

Counts

36 → 23

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 3 x)
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(*.f64 -2 (pow.f64 x 2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(*.f64 -2 (pow.f64 x 2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 x (.f64 x (-.f64 3 (+.f64 x x)))) 0)
(+.f64 0 (.f64 x (.f64 x (-.f64 3 (+.f64 x x)))))
(-.f64 (.f64 x (.f64 x (-.f64 3 (+.f64 x x)))) 0)
(/.f64 (.f64 x (.f64 x (-.f64 3 (+.f64 x x)))) 1)
(/.f64 (.f64 x (.f64 x (-.f64 3 (+.f64 x x)))) (/.f64 (.f64 x (.f64 x (-.f64 3 (+.f64 x x)))) (.f64 x (.f64 x (-.f64 3 (+.f64 x x))))))
(pow.f64 (.f64 x (.f64 x (-.f64 3 (+.f64 x x)))) 1)
(+.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 0)
(+.f64 0 (*.f64 x (-.f64 3 (+.f64 x x))))
(-.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 0)
(/.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 1)
(/.f64 (.f64 x (-.f64 3 (+.f64 x x))) (/.f64 (.f64 x (-.f64 3 (+.f64 x x))) (*.f64 x (-.f64 3 (+.f64 x x)))))
(pow.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 1)

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

localize14.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (-.f64 3 x) x)
✓	0.0b	(*.f64 x (-.f64 (-.f64 3 x) x))
✓	0.1b	(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))

Compiler

Compiled 27 to 16 computations (40.7% saved)

series1.0ms (0%)

Counts

3 → 36

Calls

9 calls:

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

rewrite139.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1686×	`rational.json-5`
1684×	`exponential.json-3`
1684×	`rational.json-1`
1684×	`rational.json-2`
1684×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	57
1	69	57
2	229	57
3	819	57
4	3220	57

Stop Event

1×	node limit

Counts

3 → 35

Calls

Call 1

Inputs
(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))
(*.f64 x (-.f64 (-.f64 3 x) x))
(-.f64 (-.f64 3 x) x)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 x (-.f64 3 (+.f64 x x)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (*.f64 x (-.f64 3 (+.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (*.f64 x (-.f64 3 (+.f64 x x)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 x (-.f64 3 (+.f64 x x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 x (-.f64 3 (+.f64 x x)))) (/.f64 (*.f64 x (*.f64 x (-.f64 3 (+.f64 x x)))) (*.f64 x (*.f64 x (-.f64 3 (+.f64 x x))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (*.f64 x (-.f64 3 (+.f64 x x)))) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (-.f64 3 (+.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (-.f64 3 (+.f64 x x))) (/.f64 (*.f64 x (-.f64 3 (+.f64 x x))) (*.f64 x (-.f64 3 (+.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 3 (+.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 3 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (-.f64 -1 (+.f64 x (-.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 x) (-.f64 1 (-.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (-.f64 x 3)) (-.f64 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 x) (-.f64 -1 (-.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (+.f64 x (-.f64 x 3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (-.f64 x 3)) (-.f64 -1 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 3 (+.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 3 (+.f64 x x)) (/.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 3 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))) (-.f64 3 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (-.f64 x 3)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))) (/.f64 1 (-.f64 3 (+.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 3 (+.f64 x x)) (*.f64 (-.f64 3 (+.f64 x x)) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))) (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (+.f64 x (-.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) (*.f64 (-.f64 3 (+.f64 x x)) (*.f64 (-.f64 3 (+.f64 x x)) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 3 (+.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 3 (+.f64 x x)) (/.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (-.f64 x 3)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 3 (+.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 x (-.f64 x 3)))))))

simplify164.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

1212×	`rational.json-simplify-47`
1046×	`rational.json-simplify-2`
996×	`rational.json-simplify-49`
662×	`rational.json-simplify-1`
652×	`rational.json-simplify-54`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	74	1271
1	123	1271
2	362	1271
3	1555	1271
4	5585	1271

Stop Event

1×	node limit

Counts

71 → 52

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 3 x)
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(*.f64 -2 (pow.f64 x 2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(*.f64 -2 (pow.f64 x 2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
3
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(*.f64 -2 x)
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(*.f64 -2 x)
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(+.f64 (.f64 x (.f64 x (-.f64 3 (+.f64 x x)))) 0)
(+.f64 0 (.f64 x (.f64 x (-.f64 3 (+.f64 x x)))))
(-.f64 (.f64 x (.f64 x (-.f64 3 (+.f64 x x)))) 0)
(/.f64 (.f64 x (.f64 x (-.f64 3 (+.f64 x x)))) 1)
(/.f64 (.f64 x (.f64 x (-.f64 3 (+.f64 x x)))) (/.f64 (.f64 x (.f64 x (-.f64 3 (+.f64 x x)))) (.f64 x (.f64 x (-.f64 3 (+.f64 x x))))))
(pow.f64 (.f64 x (.f64 x (-.f64 3 (+.f64 x x)))) 1)
(+.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 0)
(+.f64 0 (*.f64 x (-.f64 3 (+.f64 x x))))
(-.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 0)
(/.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 1)
(/.f64 (.f64 x (-.f64 3 (+.f64 x x))) (/.f64 (.f64 x (-.f64 3 (+.f64 x x))) (*.f64 x (-.f64 3 (+.f64 x x)))))
(pow.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 1)
(+.f64 (-.f64 3 (+.f64 x x)) 0)
(+.f64 0 (-.f64 3 (+.f64 x x)))
(+.f64 1 (-.f64 -1 (+.f64 x (-.f64 x 3))))
(+.f64 (-.f64 -1 x) (-.f64 1 (-.f64 x 3)))
(+.f64 (-.f64 -1 (-.f64 x 3)) (-.f64 1 x))
(+.f64 (-.f64 1 x) (-.f64 -1 (-.f64 x 3)))
(+.f64 (-.f64 -1 (+.f64 x (-.f64 x 3))) 1)
(+.f64 (-.f64 1 (-.f64 x 3)) (-.f64 -1 x))
(*.f64 (-.f64 3 (+.f64 x x)) 1)
(*.f64 (-.f64 3 (+.f64 x x)) (/.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))
(*.f64 1 (-.f64 3 (+.f64 x x)))
(*.f64 (/.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))) (-.f64 3 (+.f64 x x)))
(*.f64 (+.f64 x (-.f64 x 3)) -1)
(.f64 (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))) (/.f64 1 (-.f64 3 (+.f64 x x))))
(.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))
(.f64 (.f64 (-.f64 3 (+.f64 x x)) (.f64 (-.f64 3 (+.f64 x x)) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))) (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))))
(*.f64 -1 (+.f64 x (-.f64 x 3)))
(.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) (.f64 (-.f64 3 (+.f64 x x)) (.f64 (-.f64 3 (+.f64 x x)) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))))
(/.f64 (-.f64 3 (+.f64 x x)) 1)
(/.f64 (-.f64 3 (+.f64 x x)) (/.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))
(/.f64 (+.f64 x (-.f64 x 3)) -1)
(pow.f64 (-.f64 3 (+.f64 x x)) 1)
(neg.f64 (+.f64 x (-.f64 x 3)))

Outputs
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 3 x)
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(*.f64 -2 (pow.f64 x 2))
(*.f64 (pow.f64 x 2) -2)
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(*.f64 -2 (pow.f64 x 2))
(*.f64 (pow.f64 x 2) -2)
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
3
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(*.f64 -2 x)
(*.f64 x -2)
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(*.f64 -2 x)
(*.f64 x -2)
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(+.f64 (.f64 x (.f64 x (-.f64 3 (+.f64 x x)))) 0)
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(+.f64 0 (.f64 x (.f64 x (-.f64 3 (+.f64 x x)))))
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(-.f64 (.f64 x (.f64 x (-.f64 3 (+.f64 x x)))) 0)
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(/.f64 (.f64 x (.f64 x (-.f64 3 (+.f64 x x)))) 1)
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(/.f64 (.f64 x (.f64 x (-.f64 3 (+.f64 x x)))) (/.f64 (.f64 x (.f64 x (-.f64 3 (+.f64 x x)))) (.f64 x (.f64 x (-.f64 3 (+.f64 x x))))))
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(pow.f64 (.f64 x (.f64 x (-.f64 3 (+.f64 x x)))) 1)
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(+.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 0)
(*.f64 x (-.f64 3 (+.f64 x x)))
(+.f64 0 (*.f64 x (-.f64 3 (+.f64 x x))))
(*.f64 x (-.f64 3 (+.f64 x x)))
(-.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 0)
(*.f64 x (-.f64 3 (+.f64 x x)))
(/.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 1)
(*.f64 x (-.f64 3 (+.f64 x x)))
(/.f64 (.f64 x (-.f64 3 (+.f64 x x))) (/.f64 (.f64 x (-.f64 3 (+.f64 x x))) (*.f64 x (-.f64 3 (+.f64 x x)))))
(*.f64 x (-.f64 3 (+.f64 x x)))
(pow.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 1)
(*.f64 x (-.f64 3 (+.f64 x x)))
(+.f64 (-.f64 3 (+.f64 x x)) 0)
(-.f64 3 (+.f64 x x))
(+.f64 0 (-.f64 3 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(+.f64 1 (-.f64 -1 (+.f64 x (-.f64 x 3))))
(-.f64 3 (+.f64 x x))
(+.f64 (-.f64 -1 x) (-.f64 1 (-.f64 x 3)))
(-.f64 3 (+.f64 x x))
(+.f64 (-.f64 -1 (-.f64 x 3)) (-.f64 1 x))
(-.f64 3 (+.f64 x x))
(+.f64 (-.f64 1 x) (-.f64 -1 (-.f64 x 3)))
(-.f64 3 (+.f64 x x))
(+.f64 (-.f64 -1 (+.f64 x (-.f64 x 3))) 1)
(-.f64 3 (+.f64 x x))
(+.f64 (-.f64 1 (-.f64 x 3)) (-.f64 -1 x))
(-.f64 3 (+.f64 x x))
(*.f64 (-.f64 3 (+.f64 x x)) 1)
(-.f64 3 (+.f64 x x))
(*.f64 (-.f64 3 (+.f64 x x)) (/.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))
(-.f64 3 (+.f64 x x))
(*.f64 1 (-.f64 3 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(*.f64 (/.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))) (-.f64 3 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(*.f64 (+.f64 x (-.f64 x 3)) -1)
(-.f64 3 (+.f64 x x))
(.f64 (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))) (/.f64 1 (-.f64 3 (+.f64 x x))))
(-.f64 3 (+.f64 x x))
(.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))
(-.f64 3 (+.f64 x x))
(.f64 (.f64 (-.f64 3 (+.f64 x x)) (.f64 (-.f64 3 (+.f64 x x)) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))) (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))))
(-.f64 3 (+.f64 x x))
(*.f64 -1 (+.f64 x (-.f64 x 3)))
(-.f64 3 (+.f64 x x))
(.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) (.f64 (-.f64 3 (+.f64 x x)) (.f64 (-.f64 3 (+.f64 x x)) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))))
(-.f64 3 (+.f64 x x))
(/.f64 (-.f64 3 (+.f64 x x)) 1)
(-.f64 3 (+.f64 x x))
(/.f64 (-.f64 3 (+.f64 x x)) (/.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))
(-.f64 3 (+.f64 x x))
(/.f64 (+.f64 x (-.f64 x 3)) -1)
(-.f64 3 (+.f64 x x))
(pow.f64 (-.f64 3 (+.f64 x x)) 1)
(-.f64 3 (+.f64 x x))
(neg.f64 (+.f64 x (-.f64 x 3)))
(-.f64 3 (+.f64 x x))

localize68.0ms (1.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(*.f64 -2 (pow.f64 x 3))
✓	0.0b	(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
✓	0.2b	(*.f64 3 (pow.f64 x 2))

Compiler

Compiled 32 to 25 computations (21.9% saved)

series1.0ms (0%)

Counts

2 → 3

Calls

6 calls:

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

rewrite91.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1834×	`rational.json-5`
1832×	`exponential.json-3`
1832×	`rational.json-1`
1832×	`rational.json-2`
1832×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	44
1	90	44
2	264	44
3	943	44
4	3706	44

Stop Event

1×	node limit

Counts

2 → 17

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 3 (pow.f64 x 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 3 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 3 (pow.f64 x 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 3 (pow.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 3 (pow.f64 x 2)) (/.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 3 (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 3 (pow.f64 x 2)) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3))) (/.f64 (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3))) (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3))) (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3)))) (/.f64 1 (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3))) (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3)))) (*.f64 (/.f64 1 (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3)))) (*.f64 (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3))) (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3))) (*.f64 (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3))) (*.f64 (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3))) (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3)))))) (/.f64 (/.f64 1 (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3)))) (*.f64 (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3))) (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3))) (/.f64 (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3))) (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3))) 1)))))

simplify219.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

1258×	`rational.json-simplify-58`
972×	`rational.json-simplify-47`
660×	`rational.json-simplify-49`
654×	`rational.json-simplify-2`
638×	`rational.json-simplify-111`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	458
1	67	458
2	232	458
3	1061	458
4	3827	458
5	6379	458

Stop Event

1×	node limit

Counts

20 → 20

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 x 2))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (*.f64 3 (pow.f64 x 2)) 0)
(+.f64 0 (*.f64 3 (pow.f64 x 2)))
(-.f64 (*.f64 3 (pow.f64 x 2)) 0)
(/.f64 (*.f64 3 (pow.f64 x 2)) 1)
(/.f64 (.f64 3 (pow.f64 x 2)) (/.f64 (.f64 3 (pow.f64 x 2)) (*.f64 3 (pow.f64 x 2))))
(pow.f64 (*.f64 3 (pow.f64 x 2)) 1)
(-.f64 (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3))) 0)
(.f64 (+.f64 (.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3))) 1)
(.f64 (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3))) (/.f64 (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3))) (+.f64 (.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3)))))
(.f64 1 (+.f64 (.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3))))
(.f64 (.f64 (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3))) (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))) (/.f64 1 (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))))
(.f64 (.f64 (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3))) (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))) (.f64 (/.f64 1 (+.f64 (.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3)))) 1))
(.f64 (/.f64 1 (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))) (.f64 (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3))) (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))))
(.f64 (.f64 (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3))) (.f64 (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3))) (.f64 (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3))) (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))))) (/.f64 (/.f64 1 (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))) (.f64 (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3))) (+.f64 (.f64 3 (pow.f64 x 2)) (*.f64 -2 (pow.f64 x 3))))))
(/.f64 (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3))) 1)
(/.f64 (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3))) (/.f64 (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3))) (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))))
(pow.f64 (+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3))) 1)

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

eval33.0ms (0.6%)

Compiler: Compiled 1603 to 1089 computations (32.1% saved)

prune19.0ms (0.3%)

Pruning

8 alts after pruning (3 fresh and 5 done)

	Pruned	Kept	Total
New	112	3	115
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	112	8	120

Error

0.0b

Counts

120 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
✓	0.2b	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
✓	0.1b	(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))
✓	0.1b	(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
▶	0.1b	(.f64 x (.f64 x (+.f64 (-.f64 1 (-.f64 x 3)) (-.f64 -1 x))))
▶	22.0b	(.f64 x (.f64 x (*.f64 x -2)))
▶	18.6b	(.f64 x (.f64 x 3))
✓	21.9b	(*.f64 -2 (pow.f64 x 3))

Compiler

Compiled 76 to 53 computations (30.3% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 x (.f64 x 3))

Compiler

Compiled 11 to 7 computations (36.4% saved)

series0.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite100.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1276×	`rational.json-5`
1274×	`exponential.json-3`
1274×	`rational.json-1`
1274×	`rational.json-2`
1274×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	51	13
2	168	13
3	620	13
4	2467	13

Stop Event

1×	node limit

Counts

1 → 29

Calls

Call 1

Inputs
(.f64 x (.f64 x 3))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 x 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (*.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (*.f64 x 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 x (*.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 x (*.f64 x 3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 x 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 x 3)) (/.f64 (*.f64 x (*.f64 x 3)) (*.f64 x (*.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (*.f64 x 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 x (*.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 x (*.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (neg.f64 (*.f64 x (*.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 x (*.f64 x 3)) (fabs.f64 (/.f64 (*.f64 x (*.f64 x 3)) (*.f64 x (*.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 x (*.f64 3 (fabs.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 x 3) (fabs.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 x (/.f64 (*.f64 x 3) (fabs.f64 (/.f64 (*.f64 x 3) (*.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 x 3) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (neg.f64 x) (/.f64 (*.f64 x 3) (fabs.f64 (/.f64 (*.f64 x 3) (*.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (neg.f64 (*.f64 x 3)) (fabs.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (fabs.f64 x) (/.f64 (*.f64 x 3) (fabs.f64 (/.f64 (*.f64 x 3) (*.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 3 (fabs.f64 x)) (/.f64 x (fabs.f64 (/.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 x 3) (/.f64 x (fabs.f64 (/.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 x (neg.f64 (*.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (neg.f64 x) (neg.f64 (*.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (neg.f64 (*.f64 x 3)) (/.f64 x (fabs.f64 (/.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (neg.f64 x) (*.f64 3 (fabs.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (/.f64 x (fabs.f64 (/.f64 x x))) (/.f64 (*.f64 x 3) (fabs.f64 (/.f64 (*.f64 x 3) (*.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (neg.f64 (*.f64 x (*.f64 x 3))) (fabs.f64 (/.f64 (*.f64 x (*.f64 x 3)) (*.f64 x (*.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 x (*.f64 x 3)) (neg.f64 (/.f64 (*.f64 x (*.f64 x 3)) (*.f64 x (*.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 0 (/.f64 (*.f64 x (*.f64 x 3)) (fabs.f64 (/.f64 (*.f64 x (*.f64 x 3)) (*.f64 x (*.f64 x 3)))))))))))

simplify158.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

1488×	`rational.json-simplify-104`
1142×	`rational.json-simplify-111`
964×	`rational.json-simplify-47`
728×	`rational.json-simplify-49`
726×	`rational.json-simplify-79`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	76	533
1	199	533
2	418	533
3	1090	533
4	2330	533
5	5923	533

Stop Event

1×	node limit

Counts

41 → 32

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 x (.f64 x 3)) 0)
(+.f64 0 (.f64 x (.f64 x 3)))
(-.f64 (.f64 x (.f64 x 3)) 0)
(-.f64 0 (neg.f64 (.f64 x (.f64 x 3))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 x (.f64 x 3)))) 1)
(/.f64 (.f64 x (.f64 x 3)) 1)
(/.f64 (.f64 x (.f64 x 3)) (/.f64 (.f64 x (.f64 x 3)) (.f64 x (.f64 x 3))))
(pow.f64 (.f64 x (.f64 x 3)) 1)
(neg.f64 (neg.f64 (.f64 x (.f64 x 3))))
(fabs.f64 (.f64 x (.f64 x 3)))
(fabs.f64 (neg.f64 (.f64 x (.f64 x 3))))
(fabs.f64 (/.f64 (.f64 x (.f64 x 3)) (fabs.f64 (/.f64 (.f64 x (.f64 x 3)) (.f64 x (.f64 x 3))))))
(fabs.f64 (.f64 x (.f64 3 (fabs.f64 x))))
(fabs.f64 (.f64 (.f64 x 3) (fabs.f64 x)))
(fabs.f64 (.f64 x (/.f64 (.f64 x 3) (fabs.f64 (/.f64 (.f64 x 3) (.f64 x 3))))))
(fabs.f64 (.f64 (.f64 x 3) (neg.f64 x)))
(fabs.f64 (.f64 (neg.f64 x) (/.f64 (.f64 x 3) (fabs.f64 (/.f64 (.f64 x 3) (.f64 x 3))))))
(fabs.f64 (.f64 (neg.f64 (.f64 x 3)) (fabs.f64 x)))
(fabs.f64 (.f64 (fabs.f64 x) (/.f64 (.f64 x 3) (fabs.f64 (/.f64 (.f64 x 3) (.f64 x 3))))))
(fabs.f64 (.f64 (.f64 3 (fabs.f64 x)) (/.f64 x (fabs.f64 (/.f64 x x)))))
(fabs.f64 (.f64 (.f64 x 3) (/.f64 x (fabs.f64 (/.f64 x x)))))
(fabs.f64 (.f64 x (neg.f64 (.f64 x 3))))
(fabs.f64 (.f64 (neg.f64 x) (neg.f64 (.f64 x 3))))
(fabs.f64 (.f64 (neg.f64 (.f64 x 3)) (/.f64 x (fabs.f64 (/.f64 x x)))))
(fabs.f64 (.f64 (neg.f64 x) (.f64 3 (fabs.f64 x))))
(fabs.f64 (.f64 (/.f64 x (fabs.f64 (/.f64 x x))) (/.f64 (.f64 x 3) (fabs.f64 (/.f64 (.f64 x 3) (.f64 x 3))))))
(fabs.f64 (/.f64 (neg.f64 (.f64 x (.f64 x 3))) (fabs.f64 (/.f64 (.f64 x (.f64 x 3)) (.f64 x (.f64 x 3))))))
(fabs.f64 (/.f64 (.f64 x (.f64 x 3)) (neg.f64 (/.f64 (.f64 x (.f64 x 3)) (.f64 x (.f64 x 3))))))
(fabs.f64 (-.f64 0 (/.f64 (.f64 x (.f64 x 3)) (fabs.f64 (/.f64 (.f64 x (.f64 x 3)) (.f64 x (.f64 x 3)))))))

Outputs
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 x (.f64 x 3)) 0)
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(+.f64 0 (.f64 x (.f64 x 3)))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(-.f64 (.f64 x (.f64 x 3)) 0)
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(-.f64 0 (neg.f64 (.f64 x (.f64 x 3))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 x (.f64 x 3)))) 1)
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(/.f64 (.f64 x (.f64 x 3)) 1)
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(/.f64 (.f64 x (.f64 x 3)) (/.f64 (.f64 x (.f64 x 3)) (.f64 x (.f64 x 3))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(pow.f64 (.f64 x (.f64 x 3)) 1)
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(neg.f64 (neg.f64 (.f64 x (.f64 x 3))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(fabs.f64 (.f64 x (.f64 x 3)))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(fabs.f64 (neg.f64 (.f64 x (.f64 x 3))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(fabs.f64 (/.f64 (.f64 x (.f64 x 3)) (fabs.f64 (/.f64 (.f64 x (.f64 x 3)) (.f64 x (.f64 x 3))))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(fabs.f64 (.f64 x (.f64 3 (fabs.f64 x))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(fabs.f64 (.f64 (.f64 x 3) (fabs.f64 x)))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(fabs.f64 (.f64 x (/.f64 (.f64 x 3) (fabs.f64 (/.f64 (.f64 x 3) (.f64 x 3))))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(fabs.f64 (.f64 (.f64 x 3) (neg.f64 x)))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(fabs.f64 (.f64 (neg.f64 x) (/.f64 (.f64 x 3) (fabs.f64 (/.f64 (.f64 x 3) (.f64 x 3))))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(fabs.f64 (.f64 (neg.f64 (.f64 x 3)) (fabs.f64 x)))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(fabs.f64 (.f64 (fabs.f64 x) (/.f64 (.f64 x 3) (fabs.f64 (/.f64 (.f64 x 3) (.f64 x 3))))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(fabs.f64 (.f64 (.f64 3 (fabs.f64 x)) (/.f64 x (fabs.f64 (/.f64 x x)))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(fabs.f64 (.f64 (.f64 x 3) (/.f64 x (fabs.f64 (/.f64 x x)))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(fabs.f64 (.f64 x (neg.f64 (.f64 x 3))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(fabs.f64 (.f64 (neg.f64 x) (neg.f64 (.f64 x 3))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(fabs.f64 (.f64 (neg.f64 (.f64 x 3)) (/.f64 x (fabs.f64 (/.f64 x x)))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(fabs.f64 (.f64 (neg.f64 x) (.f64 3 (fabs.f64 x))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(fabs.f64 (.f64 (/.f64 x (fabs.f64 (/.f64 x x))) (/.f64 (.f64 x 3) (fabs.f64 (/.f64 (.f64 x 3) (.f64 x 3))))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(fabs.f64 (/.f64 (neg.f64 (.f64 x (.f64 x 3))) (fabs.f64 (/.f64 (.f64 x (.f64 x 3)) (.f64 x (.f64 x 3))))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(fabs.f64 (/.f64 (.f64 x (.f64 x 3)) (neg.f64 (/.f64 (.f64 x (.f64 x 3)) (.f64 x (.f64 x 3))))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(fabs.f64 (-.f64 0 (/.f64 (.f64 x (.f64 x 3)) (fabs.f64 (/.f64 (.f64 x (.f64 x 3)) (.f64 x (.f64 x 3)))))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 x (.f64 x (*.f64 x -2)))

Compiler

Compiled 18 to 11 computations (38.9% saved)

series0.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite238.0ms (4.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1544×	`rational.json-5`
1542×	`exponential.json-3`
1542×	`rational.json-1`
1542×	`rational.json-2`
1542×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	60	19
2	195	19
3	733	19
4	3095	19

Stop Event

1×	node limit

Counts

1 → 9

Calls

Call 1

Inputs
(.f64 x (.f64 x (*.f64 x -2)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 x (*.f64 x -2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (*.f64 x (*.f64 x -2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (*.f64 x (*.f64 x -2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 x (*.f64 x (*.f64 x -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 x (*.f64 x (*.f64 x -2))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 x (*.f64 x -2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 x (*.f64 x -2))) (/.f64 (*.f64 x (*.f64 x (*.f64 x -2))) (*.f64 x (*.f64 x (*.f64 x -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (*.f64 x (*.f64 x -2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 x (*.f64 x (*.f64 x -2)))))))))

simplify174.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

956×	`rational.json-simplify-2`
818×	`rational.json-simplify-49`
774×	`rational.json-simplify-111`
682×	`rational.json-simplify-104`
570×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	327
1	53	327
2	126	327
3	397	327
4	1608	327
5	4274	327
6	6350	327

Stop Event

1×	node limit

Counts

21 → 14

Calls

Call 1

Inputs
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 x (.f64 x (*.f64 x -2))) 0)
(+.f64 0 (.f64 x (.f64 x (*.f64 x -2))))
(-.f64 (.f64 x (.f64 x (*.f64 x -2))) 0)
(-.f64 0 (neg.f64 (.f64 x (.f64 x (*.f64 x -2)))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 x (.f64 x (*.f64 x -2))))) 1)
(/.f64 (.f64 x (.f64 x (*.f64 x -2))) 1)
(/.f64 (.f64 x (.f64 x (.f64 x -2))) (/.f64 (.f64 x (.f64 x (.f64 x -2))) (.f64 x (.f64 x (*.f64 x -2)))))
(pow.f64 (.f64 x (.f64 x (*.f64 x -2))) 1)
(neg.f64 (neg.f64 (.f64 x (.f64 x (*.f64 x -2)))))

Outputs
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 x (.f64 x (*.f64 x -2))) 0)
(.f64 x (.f64 x (*.f64 -2 x)))
(.f64 x (.f64 -2 (*.f64 x x)))
(.f64 -2 (.f64 (*.f64 x x) x))
(.f64 (.f64 -2 x) (*.f64 x x))
(+.f64 0 (.f64 x (.f64 x (*.f64 x -2))))
(.f64 x (.f64 x (*.f64 -2 x)))
(.f64 x (.f64 -2 (*.f64 x x)))
(.f64 -2 (.f64 (*.f64 x x) x))
(.f64 (.f64 -2 x) (*.f64 x x))
(-.f64 (.f64 x (.f64 x (*.f64 x -2))) 0)
(.f64 x (.f64 x (*.f64 -2 x)))
(.f64 x (.f64 -2 (*.f64 x x)))
(.f64 -2 (.f64 (*.f64 x x) x))
(.f64 (.f64 -2 x) (*.f64 x x))
(-.f64 0 (neg.f64 (.f64 x (.f64 x (*.f64 x -2)))))
(.f64 x (.f64 x (*.f64 -2 x)))
(.f64 x (.f64 -2 (*.f64 x x)))
(.f64 -2 (.f64 (*.f64 x x) x))
(.f64 (.f64 -2 x) (*.f64 x x))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 x (.f64 x (*.f64 x -2))))) 1)
(.f64 x (.f64 x (*.f64 -2 x)))
(.f64 x (.f64 -2 (*.f64 x x)))
(.f64 -2 (.f64 (*.f64 x x) x))
(.f64 (.f64 -2 x) (*.f64 x x))
(/.f64 (.f64 x (.f64 x (*.f64 x -2))) 1)
(.f64 x (.f64 x (*.f64 -2 x)))
(.f64 x (.f64 -2 (*.f64 x x)))
(.f64 -2 (.f64 (*.f64 x x) x))
(.f64 (.f64 -2 x) (*.f64 x x))
(/.f64 (.f64 x (.f64 x (.f64 x -2))) (/.f64 (.f64 x (.f64 x (.f64 x -2))) (.f64 x (.f64 x (*.f64 x -2)))))
(.f64 x (.f64 x (*.f64 -2 x)))
(.f64 x (.f64 -2 (*.f64 x x)))
(.f64 -2 (.f64 (*.f64 x x) x))
(.f64 (.f64 -2 x) (*.f64 x x))
(pow.f64 (.f64 x (.f64 x (*.f64 x -2))) 1)
(.f64 x (.f64 x (*.f64 -2 x)))
(.f64 x (.f64 -2 (*.f64 x x)))
(.f64 -2 (.f64 (*.f64 x x) x))
(.f64 (.f64 -2 x) (*.f64 x x))
(neg.f64 (neg.f64 (.f64 x (.f64 x (*.f64 x -2)))))
(.f64 x (.f64 x (*.f64 -2 x)))
(.f64 x (.f64 -2 (*.f64 x x)))
(.f64 -2 (.f64 (*.f64 x x) x))
(.f64 (.f64 -2 x) (*.f64 x x))

localize18.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (-.f64 1 (-.f64 x 3)) (-.f64 -1 x))
✓	0.0b	(*.f64 x (+.f64 (-.f64 1 (-.f64 x 3)) (-.f64 -1 x)))
✓	0.1b	(.f64 x (.f64 x (+.f64 (-.f64 1 (-.f64 x 3)) (-.f64 -1 x))))

Compiler

Compiled 49 to 36 computations (26.5% saved)

series1.0ms (0%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(.f64 x (.f64 x (+.f64 (-.f64 1 (-.f64 x 3)) (-.f64 -1 x))))
0.0ms	x	@	-inf	(.f64 x (.f64 x (+.f64 (-.f64 1 (-.f64 x 3)) (-.f64 -1 x))))
0.0ms	x	@	inf	(.f64 x (.f64 x (+.f64 (-.f64 1 (-.f64 x 3)) (-.f64 -1 x))))
0.0ms	x	@	-inf	(+.f64 (-.f64 1 (-.f64 x 3)) (-.f64 -1 x))
0.0ms	x	@	-inf	(*.f64 x (+.f64 (-.f64 1 (-.f64 x 3)) (-.f64 -1 x)))

rewrite127.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1134×	`rational.json-simplify-2`
948×	`rational.json-simplify-79`
594×	`rational.json-simplify-47`
586×	`rational.json-simplify-54`
506×	`rational.json-simplify-58`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	12	93
1	101	93
2	300	87
3	1075	75
4	4217	57

Stop Event

1×	node limit

Counts

3 → 57

Calls

Call 1

Inputs
(.f64 x (.f64 x (+.f64 (-.f64 1 (-.f64 x 3)) (-.f64 -1 x))))
(*.f64 x (+.f64 (-.f64 1 (-.f64 x 3)) (-.f64 -1 x)))
(+.f64 (-.f64 1 (-.f64 x 3)) (-.f64 -1 x))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 x x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 x x)) (/.f64 (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 x x)) (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 x x))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (-.f64 (-.f64 3 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 x (-.f64 (-.f64 3 x) x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 x (-.f64 (-.f64 3 x) x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) (/.f64 (*.f64 x (+.f64 x (-.f64 x 3))) (*.f64 x (+.f64 x (-.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 x (-.f64 (-.f64 3 x) x))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 1 (-.f64 x (-.f64 2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 1 (+.f64 (-.f64 x 3) (+.f64 x 1)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 3 (-.f64 x (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 3 (+.f64 (+.f64 x -1) (+.f64 x 1)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 4 x) (+.f64 x 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 -1 (-.f64 x (-.f64 4 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 -1 (+.f64 x (-.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 -1 x) (-.f64 x 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (-.f64 3 x) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (+.f64 x (-.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (+.f64 (+.f64 x 1) (-.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (+.f64 (-.f64 x 4) (+.f64 x 1)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 3 x) x)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 3 x) (+.f64 -1 (+.f64 x 1)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (neg.f64 x) (-.f64 x 3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 4 (+.f64 x (+.f64 x 1)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 4 (-.f64 x (-.f64 -1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (-.f64 2 x) x) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (-.f64 -1 x) 4) x)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 3 (-.f64 -1 x)) (+.f64 x -1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 2 x) (+.f64 x -1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (-.f64 4 x) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 x 5)) (-.f64 x -2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 x (-.f64 4 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (-.f64 -1 x) (-.f64 x 5)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (-.f64 3 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (-.f64 3 x) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (-.f64 3 x) x) (/.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)) (-.f64 (-.f64 3 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (/.f64 1 (-.f64 (-.f64 3 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (/.f64 (/.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)) (-.f64 (-.f64 3 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))) (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))) (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))) (/.f64 (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (-.f64 3 x) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (-.f64 3 x) x) (/.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (-.f64 3 x) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 x (-.f64 x 3)))))))

simplify229.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

1018×	`rational.json-simplify-1`
696×	`rational.json-simplify-2`
644×	`exponential.json-simplify-26`
636×	`rational.json-simplify-51`
616×	`rational.json-simplify-58`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	130	1845
1	296	1611
2	625	1611
3	2182	1611
4	4970	1611
5	7546	1611

Stop Event

1×	node limit

Counts

93 → 75

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 3 x)
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(*.f64 -2 (pow.f64 x 2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(*.f64 -2 (pow.f64 x 2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
3
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(*.f64 -2 x)
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(*.f64 -2 x)
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(+.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) 0)
(+.f64 0 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)))
(-.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) 0)
(-.f64 0 (neg.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)))) 1)
(/.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) 1)
(/.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) (/.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x))))
(pow.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) 1)
(neg.f64 (neg.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x))))
(+.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 0)
(+.f64 0 (*.f64 x (-.f64 (-.f64 3 x) x)))
(-.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 0)
(-.f64 0 (neg.f64 (*.f64 x (-.f64 (-.f64 3 x) x))))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 x (-.f64 (-.f64 3 x) x)))) 1)
(/.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 1)
(/.f64 (.f64 x (-.f64 (-.f64 3 x) x)) (/.f64 (.f64 x (+.f64 x (-.f64 x 3))) (*.f64 x (+.f64 x (-.f64 x 3)))))
(pow.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 1)
(neg.f64 (neg.f64 (*.f64 x (-.f64 (-.f64 3 x) x))))
(-.f64 1 (-.f64 x (-.f64 2 x)))
(-.f64 1 (+.f64 (-.f64 x 3) (+.f64 x 1)))
(-.f64 3 (-.f64 x (neg.f64 x)))
(-.f64 3 (+.f64 (+.f64 x -1) (+.f64 x 1)))
(-.f64 (-.f64 4 x) (+.f64 x 1))
(-.f64 -1 (-.f64 x (-.f64 4 x)))
(-.f64 -1 (+.f64 x (-.f64 x 4)))
(-.f64 (-.f64 -1 x) (-.f64 x 4))
(-.f64 (-.f64 (-.f64 3 x) x) 0)
(-.f64 0 (+.f64 x (-.f64 x 3)))
(-.f64 0 (+.f64 (+.f64 x 1) (-.f64 x 4)))
(-.f64 0 (+.f64 (-.f64 x 4) (+.f64 x 1)))
(-.f64 (-.f64 3 x) x)
(-.f64 (-.f64 3 x) (+.f64 -1 (+.f64 x 1)))
(-.f64 (neg.f64 x) (-.f64 x 3))
(-.f64 4 (+.f64 x (+.f64 x 1)))
(-.f64 4 (-.f64 x (-.f64 -1 x)))
(-.f64 (-.f64 (-.f64 2 x) x) -1)
(-.f64 (+.f64 (-.f64 -1 x) 4) x)
(-.f64 (+.f64 3 (-.f64 -1 x)) (+.f64 x -1))
(-.f64 (-.f64 2 x) (+.f64 x -1))
(-.f64 (-.f64 (-.f64 4 x) x) 1)
(-.f64 (-.f64 0 (-.f64 x 5)) (-.f64 x -2))
(-.f64 (-.f64 0 (-.f64 x (-.f64 4 x))) 1)
(-.f64 (-.f64 (-.f64 -1 x) (-.f64 x 5)) 1)
(*.f64 1 (-.f64 (-.f64 3 x) x))
(*.f64 (-.f64 (-.f64 3 x) x) 1)
(*.f64 (-.f64 (-.f64 3 x) x) (/.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)))
(*.f64 (/.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)) (-.f64 (-.f64 3 x) x))
(.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (/.f64 1 (-.f64 (-.f64 3 x) x)))
(.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (/.f64 (/.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)) (-.f64 (-.f64 3 x) x)))
(.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
(.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))) (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))
(.f64 (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))))
(.f64 (.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))) (/.f64 (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))))
(/.f64 (-.f64 (-.f64 3 x) x) 1)
(/.f64 (-.f64 (-.f64 3 x) x) (/.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)))
(pow.f64 (-.f64 (-.f64 3 x) x) 1)
(neg.f64 (+.f64 x (-.f64 x 3)))

Outputs
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 3 x)
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(*.f64 -2 (pow.f64 x 2))
(*.f64 (pow.f64 x 2) -2)
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(*.f64 -2 (pow.f64 x 2))
(*.f64 (pow.f64 x 2) -2)
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
3
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(*.f64 -2 x)
(*.f64 x -2)
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(*.f64 -2 x)
(*.f64 x -2)
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(+.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) 0)
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(+.f64 0 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)))
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(-.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) 0)
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(-.f64 0 (neg.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x))))
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)))) 1)
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(/.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) 1)
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(/.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) (/.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x))))
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(pow.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) 1)
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(neg.f64 (neg.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x))))
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(+.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 0)
(*.f64 x (-.f64 3 (+.f64 x x)))
(+.f64 0 (*.f64 x (-.f64 (-.f64 3 x) x)))
(*.f64 x (-.f64 3 (+.f64 x x)))
(-.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 0)
(*.f64 x (-.f64 3 (+.f64 x x)))
(-.f64 0 (neg.f64 (*.f64 x (-.f64 (-.f64 3 x) x))))
(*.f64 x (-.f64 3 (+.f64 x x)))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 x (-.f64 (-.f64 3 x) x)))) 1)
(*.f64 x (-.f64 3 (+.f64 x x)))
(/.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 1)
(*.f64 x (-.f64 3 (+.f64 x x)))
(/.f64 (.f64 x (-.f64 (-.f64 3 x) x)) (/.f64 (.f64 x (+.f64 x (-.f64 x 3))) (*.f64 x (+.f64 x (-.f64 x 3)))))
(*.f64 x (-.f64 3 (+.f64 x x)))
(pow.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 1)
(*.f64 x (-.f64 3 (+.f64 x x)))
(neg.f64 (neg.f64 (*.f64 x (-.f64 (-.f64 3 x) x))))
(*.f64 x (-.f64 3 (+.f64 x x)))
(-.f64 1 (-.f64 x (-.f64 2 x)))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 1 (+.f64 (-.f64 x 3) (+.f64 x 1)))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 3 (-.f64 x (neg.f64 x)))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 3 (+.f64 (+.f64 x -1) (+.f64 x 1)))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 4 x) (+.f64 x 1))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 -1 (-.f64 x (-.f64 4 x)))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 -1 (+.f64 x (-.f64 x 4)))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 -1 x) (-.f64 x 4))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 (-.f64 3 x) x) 0)
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 0 (+.f64 x (-.f64 x 3)))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 0 (+.f64 (+.f64 x 1) (-.f64 x 4)))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 0 (+.f64 (-.f64 x 4) (+.f64 x 1)))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 3 x) x)
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 3 x) (+.f64 -1 (+.f64 x 1)))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 (neg.f64 x) (-.f64 x 3))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 4 (+.f64 x (+.f64 x 1)))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 4 (-.f64 x (-.f64 -1 x)))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 (-.f64 2 x) x) -1)
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 (+.f64 (-.f64 -1 x) 4) x)
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 (+.f64 3 (-.f64 -1 x)) (+.f64 x -1))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 2 x) (+.f64 x -1))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 (-.f64 4 x) x) 1)
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 0 (-.f64 x 5)) (-.f64 x -2))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 0 (-.f64 x (-.f64 4 x))) 1)
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 (-.f64 -1 x) (-.f64 x 5)) 1)
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(*.f64 1 (-.f64 (-.f64 3 x) x))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(*.f64 (-.f64 (-.f64 3 x) x) 1)
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(*.f64 (-.f64 (-.f64 3 x) x) (/.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(*.f64 (/.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)) (-.f64 (-.f64 3 x) x))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (/.f64 1 (-.f64 (-.f64 3 x) x)))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (/.f64 (/.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)) (-.f64 (-.f64 3 x) x)))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))) (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(.f64 (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(.f64 (.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))) (/.f64 (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(/.f64 (-.f64 (-.f64 3 x) x) 1)
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(/.f64 (-.f64 (-.f64 3 x) x) (/.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(pow.f64 (-.f64 (-.f64 3 x) x) 1)
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(neg.f64 (+.f64 x (-.f64 x 3)))
(+.f64 1 (-.f64 2 (+.f64 x x)))
(-.f64 3 (+.f64 x x))

eval177.0ms (3.2%)

Compiler: Compiled 1533 to 978 computations (36.2% saved)

prune31.0ms (0.5%)

Pruning

10 alts after pruning (3 fresh and 7 done)

	Pruned	Kept	Total
New	118	3	121
Fresh	0	0	0
Picked	1	0	1
Done	0	7	7
Total	119	10	129

Error

0.0b

Counts

129 → 10

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
✓	0.2b	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
▶	0.1b	(.f64 x (.f64 x (-.f64 (-.f64 4 x) (+.f64 x 1))))
✓	0.1b	(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))
✓	0.1b	(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
▶	11.6b	(.f64 x (.f64 x (.f64 (.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))) (/.f64 (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))))))
✓	22.0b	(.f64 x (.f64 x (*.f64 x -2)))
✓	18.6b	(.f64 x (.f64 x 3))
▶	18.7b	(.f64 3 (.f64 x x))
✓	21.9b	(*.f64 -2 (pow.f64 x 3))

Compiler

Compiled 176 to 119 computations (32.4% saved)

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 3 (.f64 x x))

Compiler

Compiled 11 to 5 computations (54.5% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite111.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

1450×	`rational.json-5`
1448×	`exponential.json-3`
1448×	`rational.json-1`
1448×	`rational.json-2`
1448×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	54	13
2	191	13
3	681	13
4	2874	13

Stop Event

1×	node limit

Counts

1 → 19

Calls

Call 1

Inputs
(.f64 3 (.f64 x x))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x x) (*.f64 (*.f64 x x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 3 (*.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 3 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x x) 2) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 3 (*.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 3 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 3 (*.f64 x x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 3 (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 3 (*.f64 x x)) (/.f64 (*.f64 3 (*.f64 x x)) (*.f64 3 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 3 (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 3 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 3 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (neg.f64 (*.f64 3 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 3 (*.f64 x x)) (fabs.f64 (/.f64 (*.f64 3 (*.f64 x x)) (*.f64 3 (*.f64 x x))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 3 x) (fabs.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 3 x) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 3 x) (/.f64 x (fabs.f64 (/.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (neg.f64 (*.f64 3 (*.f64 x x))) (fabs.f64 (/.f64 (*.f64 3 (*.f64 x x)) (*.f64 3 (*.f64 x x))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (*.f64 3 (*.f64 x x)) (neg.f64 (/.f64 (*.f64 3 (*.f64 x x)) (*.f64 3 (*.f64 x x))))))))))

simplify198.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

1644×	`rational.json-simplify-49`
1278×	`rational.json-simplify-43`
1058×	`rational.json-simplify-47`
1014×	`rational.json-simplify-54`
764×	`rational.json-simplify-1`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	51	631
1	120	631
2	259	517
3	739	517
4	2714	403
5	7336	403

Stop Event

1×	node limit

Counts

31 → 23

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 x x) (.f64 (*.f64 x x) 2))
(+.f64 (.f64 3 (.f64 x x)) 0)
(+.f64 0 (.f64 3 (.f64 x x)))
(+.f64 (.f64 (.f64 x x) 2) (*.f64 x x))
(-.f64 (.f64 3 (.f64 x x)) 0)
(-.f64 0 (neg.f64 (.f64 3 (.f64 x x))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 3 (.f64 x x)))) 1)
(/.f64 (.f64 3 (.f64 x x)) 1)
(/.f64 (.f64 3 (.f64 x x)) (/.f64 (.f64 3 (.f64 x x)) (.f64 3 (.f64 x x))))
(pow.f64 (.f64 3 (.f64 x x)) 1)
(neg.f64 (neg.f64 (.f64 3 (.f64 x x))))
(fabs.f64 (.f64 3 (.f64 x x)))
(fabs.f64 (neg.f64 (.f64 3 (.f64 x x))))
(fabs.f64 (/.f64 (.f64 3 (.f64 x x)) (fabs.f64 (/.f64 (.f64 3 (.f64 x x)) (.f64 3 (.f64 x x))))))
(fabs.f64 (.f64 (.f64 3 x) (fabs.f64 x)))
(fabs.f64 (.f64 (.f64 3 x) (neg.f64 x)))
(fabs.f64 (.f64 (.f64 3 x) (/.f64 x (fabs.f64 (/.f64 x x)))))
(fabs.f64 (/.f64 (neg.f64 (.f64 3 (.f64 x x))) (fabs.f64 (/.f64 (.f64 3 (.f64 x x)) (.f64 3 (.f64 x x))))))
(fabs.f64 (/.f64 (.f64 3 (.f64 x x)) (neg.f64 (/.f64 (.f64 3 (.f64 x x)) (.f64 3 (.f64 x x))))))

Outputs
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 x x) (.f64 (*.f64 x x) 2))
(+.f64 (.f64 x x) (.f64 2 (*.f64 x x)))
(.f64 x (+.f64 x (.f64 x 2)))
(.f64 x (.f64 3 x))
(+.f64 (.f64 3 (.f64 x x)) 0)
(+.f64 (.f64 x x) (.f64 2 (*.f64 x x)))
(.f64 x (+.f64 x (.f64 x 2)))
(.f64 x (.f64 3 x))
(+.f64 0 (.f64 3 (.f64 x x)))
(+.f64 (.f64 x x) (.f64 2 (*.f64 x x)))
(.f64 x (+.f64 x (.f64 x 2)))
(.f64 x (.f64 3 x))
(+.f64 (.f64 (.f64 x x) 2) (*.f64 x x))
(+.f64 (.f64 x x) (.f64 2 (*.f64 x x)))
(.f64 x (+.f64 x (.f64 x 2)))
(.f64 x (.f64 3 x))
(-.f64 (.f64 3 (.f64 x x)) 0)
(+.f64 (.f64 x x) (.f64 2 (*.f64 x x)))
(.f64 x (+.f64 x (.f64 x 2)))
(.f64 x (.f64 3 x))
(-.f64 0 (neg.f64 (.f64 3 (.f64 x x))))
(+.f64 (.f64 x x) (.f64 2 (*.f64 x x)))
(.f64 x (+.f64 x (.f64 x 2)))
(.f64 x (.f64 3 x))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 3 (.f64 x x)))) 1)
(+.f64 (.f64 x x) (.f64 2 (*.f64 x x)))
(.f64 x (+.f64 x (.f64 x 2)))
(.f64 x (.f64 3 x))
(/.f64 (.f64 3 (.f64 x x)) 1)
(+.f64 (.f64 x x) (.f64 2 (*.f64 x x)))
(.f64 x (+.f64 x (.f64 x 2)))
(.f64 x (.f64 3 x))
(/.f64 (.f64 3 (.f64 x x)) (/.f64 (.f64 3 (.f64 x x)) (.f64 3 (.f64 x x))))
(+.f64 (.f64 x x) (.f64 2 (*.f64 x x)))
(.f64 x (+.f64 x (.f64 x 2)))
(.f64 x (.f64 3 x))
(pow.f64 (.f64 3 (.f64 x x)) 1)
(+.f64 (.f64 x x) (.f64 2 (*.f64 x x)))
(.f64 x (+.f64 x (.f64 x 2)))
(.f64 x (.f64 3 x))
(neg.f64 (neg.f64 (.f64 3 (.f64 x x))))
(+.f64 (.f64 x x) (.f64 2 (*.f64 x x)))
(.f64 x (+.f64 x (.f64 x 2)))
(.f64 x (.f64 3 x))
(fabs.f64 (.f64 3 (.f64 x x)))
(+.f64 (.f64 x x) (.f64 2 (*.f64 x x)))
(.f64 x (+.f64 x (.f64 x 2)))
(.f64 x (.f64 3 x))
(fabs.f64 (neg.f64 (.f64 3 (.f64 x x))))
(+.f64 (.f64 x x) (.f64 2 (*.f64 x x)))
(.f64 x (+.f64 x (.f64 x 2)))
(.f64 x (.f64 3 x))
(fabs.f64 (/.f64 (.f64 3 (.f64 x x)) (fabs.f64 (/.f64 (.f64 3 (.f64 x x)) (.f64 3 (.f64 x x))))))
(+.f64 (.f64 x x) (.f64 2 (*.f64 x x)))
(.f64 x (+.f64 x (.f64 x 2)))
(.f64 x (.f64 3 x))
(fabs.f64 (.f64 (.f64 3 x) (fabs.f64 x)))
(+.f64 (.f64 x x) (.f64 2 (*.f64 x x)))
(.f64 x (+.f64 x (.f64 x 2)))
(.f64 x (.f64 3 x))
(fabs.f64 (.f64 (.f64 3 x) (neg.f64 x)))
(+.f64 (.f64 x x) (.f64 2 (*.f64 x x)))
(.f64 x (+.f64 x (.f64 x 2)))
(.f64 x (.f64 3 x))
(fabs.f64 (.f64 (.f64 3 x) (/.f64 x (fabs.f64 (/.f64 x x)))))
(+.f64 (.f64 x x) (.f64 2 (*.f64 x x)))
(.f64 x (+.f64 x (.f64 x 2)))
(.f64 x (.f64 3 x))
(fabs.f64 (/.f64 (neg.f64 (.f64 3 (.f64 x x))) (fabs.f64 (/.f64 (.f64 3 (.f64 x x)) (.f64 3 (.f64 x x))))))
(+.f64 (.f64 x x) (.f64 2 (*.f64 x x)))
(.f64 x (+.f64 x (.f64 x 2)))
(.f64 x (.f64 3 x))
(fabs.f64 (/.f64 (.f64 3 (.f64 x x)) (neg.f64 (/.f64 (.f64 3 (.f64 x x)) (.f64 3 (.f64 x x))))))
(+.f64 (.f64 x x) (.f64 2 (*.f64 x x)))
(.f64 x (+.f64 x (.f64 x 2)))
(.f64 x (.f64 3 x))

localize249.0ms (4.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
✓	0.1b	(.f64 x (.f64 (.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))) (/.f64 (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))))))
✓	0.1b	(.f64 x (.f64 x (.f64 (.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))) (/.f64 (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))))))
✓	11.2b	(.f64 (.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))) (/.f64 (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))))

Compiler

Compiled 466 to 310 computations (33.5% saved)

series3.0ms (0.1%)

Counts

4 → 48

Calls

12 calls:

Time	Variable		Point	Expression
0.0ms	x	@	inf	(/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
0.0ms	x	@	0	(/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
0.0ms	x	@	0	(.f64 (.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))) (/.f64 (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))))
0.0ms	x	@	-inf	(/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
0.0ms	x	@	inf	(.f64 (.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))) (/.f64 (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))))

rewrite138.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1040×	`rational.json-5`
1038×	`exponential.json-3`
1038×	`rational.json-1`
1038×	`rational.json-2`
1038×	`rational.json-4`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	19	886
1	172	886
2	573	562
3	2270	112

Stop Event

1×	node limit

Counts

4 → 39

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 3 (+.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 3 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (-.f64 x 3)) (-.f64 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 x) (-.f64 1 (-.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (+.f64 x (-.f64 x 3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 3 (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 3 (-.f64 x (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 3 x) x)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 3 x) (-.f64 0 (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 3 (+.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (+.f64 x (-.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (neg.f64 x) (-.f64 x 3))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 3 (+.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 3 (+.f64 x x)) (/.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (-.f64 x 3)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 3 (+.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 x (-.f64 x 3)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x)) (/.f64 (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x)) (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x)) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x (-.f64 3 (+.f64 x x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 x (-.f64 3 (+.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 x (-.f64 3 (+.f64 x x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x (-.f64 3 (+.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x (-.f64 3 (+.f64 x x))) (/.f64 (.f64 x (-.f64 3 (+.f64 x x))) (.f64 x (-.f64 3 (+.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (-.f64 3 (+.f64 x x))) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) (/.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (+.f64 x (-.f64 x 3)))) (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (+.f64 x (-.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))) (/.f64 1 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))) (.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))) (.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))))) (/.f64 (/.f64 1 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))) (.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) 1)))))

simplify197.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

1300×	`rational.json-simplify-54`
800×	`rational.json-simplify-50`
778×	`rational.json-simplify-111`
612×	`rational.json-simplify-41`
582×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	128	2289
1	245	2289
2	489	2289
3	1372	2289
4	3762	2289
5	7850	2289

Stop Event

1×	node limit

Counts

87 → 84

Calls

Call 1

Inputs
3
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(*.f64 -2 x)
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(*.f64 -2 x)
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 3 x)
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(*.f64 -2 (pow.f64 x 2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(*.f64 -2 (pow.f64 x 2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
1/27
(+.f64 (*.f64 2/27 x) 1/27)
(+.f64 (.f64 2/27 x) (+.f64 1/27 (.f64 8/81 (pow.f64 x 2))))
(+.f64 (.f64 2/27 x) (+.f64 1/27 (+.f64 (.f64 80/729 (pow.f64 x 3)) (*.f64 8/81 (pow.f64 x 2)))))
(/.f64 -1/8 (pow.f64 x 3))
(neg.f64 (+.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4))) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))))
(neg.f64 (+.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 27/16 (/.f64 1 (pow.f64 x 5))) (*.f64 1/8 (/.f64 1 (pow.f64 x 3))))))
(neg.f64 (+.f64 (.f64 27/16 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 135/32 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4))) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))))))
(/.f64 -1/8 (pow.f64 x 3))
(neg.f64 (+.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4))) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))))
(neg.f64 (+.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 27/16 (/.f64 1 (pow.f64 x 5))) (*.f64 1/8 (/.f64 1 (pow.f64 x 3))))))
(neg.f64 (+.f64 (.f64 27/16 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 135/32 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4))) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))))))
(+.f64 (-.f64 3 (+.f64 x x)) 0)
(+.f64 0 (-.f64 3 (+.f64 x x)))
(+.f64 (-.f64 -1 (-.f64 x 3)) (-.f64 1 x))
(+.f64 (-.f64 -1 x) (-.f64 1 (-.f64 x 3)))
(+.f64 (-.f64 -1 (+.f64 x (-.f64 x 3))) 1)
(-.f64 3 (+.f64 x x))
(-.f64 3 (-.f64 x (neg.f64 x)))
(-.f64 (-.f64 3 x) x)
(-.f64 (-.f64 3 x) (-.f64 0 (neg.f64 x)))
(-.f64 (-.f64 3 (+.f64 x x)) 0)
(-.f64 0 (+.f64 x (-.f64 x 3)))
(-.f64 (neg.f64 x) (-.f64 x 3))
(/.f64 (-.f64 3 (+.f64 x x)) 1)
(/.f64 (-.f64 3 (+.f64 x x)) (/.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))
(/.f64 (+.f64 x (-.f64 x 3)) -1)
(pow.f64 (-.f64 3 (+.f64 x x)) 1)
(neg.f64 (+.f64 x (-.f64 x 3)))
(+.f64 (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x)) 0)
(+.f64 0 (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x)))
(-.f64 (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x)) 0)
(/.f64 (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x)) 1)
(/.f64 (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x)) (/.f64 (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x)) (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))))
(pow.f64 (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x)) 1)
(+.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 0)
(+.f64 0 (*.f64 x (-.f64 3 (+.f64 x x))))
(-.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 0)
(/.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 1)
(/.f64 (.f64 x (-.f64 3 (+.f64 x x))) (/.f64 (.f64 x (-.f64 3 (+.f64 x x))) (*.f64 x (-.f64 3 (+.f64 x x)))))
(pow.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 1)
(+.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) 0)
(+.f64 0 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))))
(-.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) 0)
(.f64 1 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))))
(.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) 1)
(.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) (/.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (+.f64 x (-.f64 x 3)))) (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (+.f64 x (-.f64 x 3))))))
(.f64 (.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))) (/.f64 1 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))))
(.f64 (/.f64 1 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))) (.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))))
(.f64 (.f64 (.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))) (.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))))) (/.f64 (/.f64 1 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))) (.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))))))
(pow.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) 1)

Outputs
3
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(*.f64 -2 x)
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(*.f64 -2 x)
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 3 x)
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(*.f64 -2 (pow.f64 x 2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(*.f64 -2 (pow.f64 x 2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
1/27
(+.f64 (*.f64 2/27 x) 1/27)
(+.f64 1/27 (*.f64 x 2/27))
(+.f64 (.f64 2/27 x) (+.f64 1/27 (.f64 8/81 (pow.f64 x 2))))
(+.f64 1/27 (+.f64 (.f64 (pow.f64 x 2) 8/81) (.f64 x 2/27)))
(+.f64 (.f64 (pow.f64 x 2) 8/81) (+.f64 1/27 (.f64 x 2/27)))
(+.f64 (+.f64 1/27 (.f64 x 2/27)) (.f64 (pow.f64 x 2) 8/81))
(+.f64 1/27 (+.f64 (.f64 x 2/27) (.f64 (pow.f64 x 2) 8/81)))
(+.f64 (.f64 2/27 x) (+.f64 1/27 (+.f64 (.f64 80/729 (pow.f64 x 3)) (*.f64 8/81 (pow.f64 x 2)))))
(+.f64 1/27 (+.f64 (+.f64 (.f64 (pow.f64 x 2) 8/81) (.f64 (pow.f64 x 3) 80/729)) (*.f64 x 2/27)))
(+.f64 (.f64 x 2/27) (+.f64 (.f64 (pow.f64 x 2) 8/81) (+.f64 1/27 (*.f64 (pow.f64 x 3) 80/729))))
(+.f64 (+.f64 1/27 (.f64 x 2/27)) (+.f64 (.f64 (pow.f64 x 2) 8/81) (*.f64 (pow.f64 x 3) 80/729)))
(+.f64 (.f64 x 2/27) (+.f64 1/27 (+.f64 (.f64 (pow.f64 x 2) 8/81) (*.f64 (pow.f64 x 3) 80/729))))
(/.f64 -1/8 (pow.f64 x 3))
(neg.f64 (+.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4))) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))))
(-.f64 (neg.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4)))) (.f64 1/8 (/.f64 1 (pow.f64 x 3))))
(-.f64 (neg.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3)))) (.f64 9/16 (/.f64 1 (pow.f64 x 4))))
(neg.f64 (+.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 27/16 (/.f64 1 (pow.f64 x 5))) (*.f64 1/8 (/.f64 1 (pow.f64 x 3))))))
(neg.f64 (+.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (*.f64 27/16 (/.f64 1 (pow.f64 x 5))))))
(neg.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 27/16 (/.f64 1 (pow.f64 x 5))) (*.f64 9/16 (/.f64 1 (pow.f64 x 4))))))
(-.f64 (-.f64 (neg.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4)))) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))) (*.f64 27/16 (/.f64 1 (pow.f64 x 5))))
(-.f64 (-.f64 (neg.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3)))) (.f64 9/16 (/.f64 1 (pow.f64 x 4)))) (*.f64 27/16 (/.f64 1 (pow.f64 x 5))))
(neg.f64 (+.f64 (.f64 27/16 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 135/32 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4))) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))))))
(neg.f64 (+.f64 (.f64 135/32 (/.f64 1 (pow.f64 x 6))) (+.f64 (+.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4))) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))) (.f64 27/16 (/.f64 1 (pow.f64 x 5))))))
(neg.f64 (+.f64 (+.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4))) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))) (+.f64 (.f64 135/32 (/.f64 1 (pow.f64 x 6))) (.f64 27/16 (/.f64 1 (pow.f64 x 5))))))
(-.f64 (-.f64 (neg.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4)))) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))) (+.f64 (.f64 27/16 (/.f64 1 (pow.f64 x 5))) (.f64 135/32 (/.f64 1 (pow.f64 x 6)))))
(-.f64 (-.f64 (-.f64 (neg.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4)))) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))) (.f64 135/32 (/.f64 1 (pow.f64 x 6)))) (.f64 27/16 (/.f64 1 (pow.f64 x 5))))
(-.f64 (-.f64 (neg.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3)))) (.f64 9/16 (/.f64 1 (pow.f64 x 4)))) (+.f64 (.f64 27/16 (/.f64 1 (pow.f64 x 5))) (.f64 135/32 (/.f64 1 (pow.f64 x 6)))))
(/.f64 -1/8 (pow.f64 x 3))
(neg.f64 (+.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4))) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))))
(-.f64 (neg.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4)))) (.f64 1/8 (/.f64 1 (pow.f64 x 3))))
(-.f64 (neg.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3)))) (.f64 9/16 (/.f64 1 (pow.f64 x 4))))
(neg.f64 (+.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 27/16 (/.f64 1 (pow.f64 x 5))) (*.f64 1/8 (/.f64 1 (pow.f64 x 3))))))
(neg.f64 (+.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (*.f64 27/16 (/.f64 1 (pow.f64 x 5))))))
(neg.f64 (+.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 27/16 (/.f64 1 (pow.f64 x 5))) (*.f64 9/16 (/.f64 1 (pow.f64 x 4))))))
(-.f64 (-.f64 (neg.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4)))) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))) (*.f64 27/16 (/.f64 1 (pow.f64 x 5))))
(-.f64 (-.f64 (neg.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3)))) (.f64 9/16 (/.f64 1 (pow.f64 x 4)))) (*.f64 27/16 (/.f64 1 (pow.f64 x 5))))
(neg.f64 (+.f64 (.f64 27/16 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 135/32 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4))) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))))))
(neg.f64 (+.f64 (.f64 135/32 (/.f64 1 (pow.f64 x 6))) (+.f64 (+.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4))) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))) (.f64 27/16 (/.f64 1 (pow.f64 x 5))))))
(neg.f64 (+.f64 (+.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4))) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))) (+.f64 (.f64 135/32 (/.f64 1 (pow.f64 x 6))) (.f64 27/16 (/.f64 1 (pow.f64 x 5))))))
(-.f64 (-.f64 (neg.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4)))) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))) (+.f64 (.f64 27/16 (/.f64 1 (pow.f64 x 5))) (.f64 135/32 (/.f64 1 (pow.f64 x 6)))))
(-.f64 (-.f64 (-.f64 (neg.f64 (.f64 9/16 (/.f64 1 (pow.f64 x 4)))) (.f64 1/8 (/.f64 1 (pow.f64 x 3)))) (.f64 135/32 (/.f64 1 (pow.f64 x 6)))) (.f64 27/16 (/.f64 1 (pow.f64 x 5))))
(-.f64 (-.f64 (neg.f64 (.f64 1/8 (/.f64 1 (pow.f64 x 3)))) (.f64 9/16 (/.f64 1 (pow.f64 x 4)))) (+.f64 (.f64 27/16 (/.f64 1 (pow.f64 x 5))) (.f64 135/32 (/.f64 1 (pow.f64 x 6)))))
(+.f64 (-.f64 3 (+.f64 x x)) 0)
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 3 x) x)
(+.f64 0 (-.f64 3 (+.f64 x x)))
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 3 x) x)
(+.f64 (-.f64 -1 (-.f64 x 3)) (-.f64 1 x))
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 3 x) x)
(+.f64 (-.f64 -1 x) (-.f64 1 (-.f64 x 3)))
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 3 x) x)
(+.f64 (-.f64 -1 (+.f64 x (-.f64 x 3))) 1)
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 3 x) x)
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 3 x) x)
(-.f64 3 (-.f64 x (neg.f64 x)))
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 3 x) x)
(-.f64 (-.f64 3 x) x)
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 3 x) (-.f64 0 (neg.f64 x)))
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 3 x) x)
(-.f64 (-.f64 3 (+.f64 x x)) 0)
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 3 x) x)
(-.f64 0 (+.f64 x (-.f64 x 3)))
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 3 x) x)
(-.f64 (neg.f64 x) (-.f64 x 3))
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 3 x) x)
(/.f64 (-.f64 3 (+.f64 x x)) 1)
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 3 x) x)
(/.f64 (-.f64 3 (+.f64 x x)) (/.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 3 x) x)
(/.f64 (+.f64 x (-.f64 x 3)) -1)
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 3 x) x)
(pow.f64 (-.f64 3 (+.f64 x x)) 1)
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 3 x) x)
(neg.f64 (+.f64 x (-.f64 x 3)))
(-.f64 3 (+.f64 x x))
(-.f64 (-.f64 3 x) x)
(+.f64 (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x)) 0)
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(.f64 (-.f64 (-.f64 3 x) x) (.f64 x x))
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))
(+.f64 0 (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x)))
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(.f64 (-.f64 (-.f64 3 x) x) (.f64 x x))
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))
(-.f64 (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x)) 0)
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(.f64 (-.f64 (-.f64 3 x) x) (.f64 x x))
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))
(/.f64 (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x)) 1)
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(.f64 (-.f64 (-.f64 3 x) x) (.f64 x x))
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))
(/.f64 (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x)) (/.f64 (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x)) (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))))
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(.f64 (-.f64 (-.f64 3 x) x) (.f64 x x))
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))
(pow.f64 (.f64 (-.f64 3 (+.f64 x x)) (.f64 x x)) 1)
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(.f64 (-.f64 (-.f64 3 x) x) (.f64 x x))
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))
(+.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 0)
(*.f64 x (-.f64 3 (+.f64 x x)))
(*.f64 x (-.f64 (-.f64 3 x) x))
(+.f64 0 (*.f64 x (-.f64 3 (+.f64 x x))))
(*.f64 x (-.f64 3 (+.f64 x x)))
(*.f64 x (-.f64 (-.f64 3 x) x))
(-.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 0)
(*.f64 x (-.f64 3 (+.f64 x x)))
(*.f64 x (-.f64 (-.f64 3 x) x))
(/.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 1)
(*.f64 x (-.f64 3 (+.f64 x x)))
(*.f64 x (-.f64 (-.f64 3 x) x))
(/.f64 (.f64 x (-.f64 3 (+.f64 x x))) (/.f64 (.f64 x (-.f64 3 (+.f64 x x))) (*.f64 x (-.f64 3 (+.f64 x x)))))
(*.f64 x (-.f64 3 (+.f64 x x)))
(*.f64 x (-.f64 (-.f64 3 x) x))
(pow.f64 (*.f64 x (-.f64 3 (+.f64 x x))) 1)
(*.f64 x (-.f64 3 (+.f64 x x)))
(*.f64 x (-.f64 (-.f64 3 x) x))
(+.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) 0)
(/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))
(/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)))
(+.f64 0 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))))
(/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))
(/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)))
(-.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) 0)
(/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))
(/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)))
(.f64 1 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))))
(/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))
(/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)))
(.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) 1)
(/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))
(/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)))
(.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) (/.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (+.f64 x (-.f64 x 3)))) (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (+.f64 x (-.f64 x 3))))))
(/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))
(/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)))
(.f64 (.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))) (/.f64 1 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))))
(/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))
(/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)))
(.f64 (/.f64 1 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))) (.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))))
(/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))
(/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)))
(.f64 (.f64 (.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))) (.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))))) (/.f64 (/.f64 1 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))) (.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))))))
(/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))
(/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)))
(pow.f64 (/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x)))) 1)
(/.f64 (/.f64 1 (-.f64 3 (+.f64 x x))) (*.f64 (-.f64 3 (+.f64 x x)) (-.f64 3 (+.f64 x x))))
(/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)))

localize15.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (-.f64 4 x) (+.f64 x 1))
✓	0.0b	(*.f64 x (-.f64 (-.f64 4 x) (+.f64 x 1)))
✓	0.1b	(.f64 x (.f64 x (-.f64 (-.f64 4 x) (+.f64 x 1))))

Compiler

Compiled 37 to 25 computations (32.4% saved)

series1.0ms (0%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(.f64 x (.f64 x (-.f64 (-.f64 4 x) (+.f64 x 1))))
0.0ms	x	@	inf	(.f64 x (.f64 x (-.f64 (-.f64 4 x) (+.f64 x 1))))
0.0ms	x	@	0	(*.f64 x (-.f64 (-.f64 4 x) (+.f64 x 1)))
0.0ms	x	@	-inf	(.f64 x (.f64 x (-.f64 (-.f64 4 x) (+.f64 x 1))))
0.0ms	x	@	inf	(*.f64 x (-.f64 (-.f64 4 x) (+.f64 x 1)))

rewrite121.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1104×	`rational.json-simplify-2`
612×	`rational.json-simplify-41`
592×	`rational.json-simplify-47`
572×	`rational.json-simplify-54`
510×	`rational.json-simplify-49`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	75
1	90	57
2	302	57
3	1105	57
4	4185	57

Stop Event

1×	node limit

Counts

3 → 57

Calls

Call 1

Inputs
(.f64 x (.f64 x (-.f64 (-.f64 4 x) (+.f64 x 1))))
(*.f64 x (-.f64 (-.f64 4 x) (+.f64 x 1)))
(-.f64 (-.f64 4 x) (+.f64 x 1))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 x x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 x x)) (/.f64 (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 x x)) (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 (-.f64 (-.f64 3 x) x) (*.f64 x x))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (-.f64 (-.f64 3 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 x (-.f64 (-.f64 3 x) x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 x (-.f64 (-.f64 3 x) x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) (/.f64 (*.f64 x (+.f64 x (-.f64 x 3))) (*.f64 x (+.f64 x (-.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 x (-.f64 (-.f64 3 x) x))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 4 x) (-.f64 -1 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (+.f64 (-.f64 3 x) (-.f64 -1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (-.f64 3 x) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (-.f64 3 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 3 x) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 3 x) (+.f64 (-.f64 1 x) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 4 (+.f64 x x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 4 (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 x) (-.f64 4 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 x) (+.f64 (-.f64 0 (-.f64 x 5)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 x) (-.f64 3 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (-.f64 3 x) (-.f64 -1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 4 (+.f64 x 2)) (-.f64 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 4 (+.f64 x 2)) (+.f64 (-.f64 1 x) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 x) (-.f64 4 (+.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -2 x) (-.f64 0 (-.f64 x 5)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -2 x) (+.f64 (-.f64 0 (-.f64 x 5)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -2 x) (+.f64 1 (-.f64 4 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 0 (-.f64 x 5)) (-.f64 -2 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (-.f64 3 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (-.f64 3 x) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (-.f64 3 x) x) (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (-.f64 (-.f64 3 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (+.f64 x (-.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (-.f64 x 3)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (/.f64 1 (-.f64 (-.f64 3 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (/.f64 (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (-.f64 (-.f64 3 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (/.f64 -1 (+.f64 x (-.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (+.f64 x (-.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (-.f64 -1 (+.f64 (-.f64 3 x) (-.f64 -1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (*.f64 (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (*.f64 (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))) (/.f64 (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (*.f64 (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (-.f64 3 x) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (-.f64 3 x) x) (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (-.f64 x 3)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (-.f64 3 x) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 x (-.f64 x 3)))))))

simplify191.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1084×	`rational.json-simplify-49`
962×	`rational.json-simplify-47`
734×	`rational.json-simplify-1`
710×	`rational.json-simplify-54`
542×	`rational.json-simplify-2`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	123	2319
1	251	2319
2	499	2319
3	1311	2157
4	3736	2157
5	7580	2127

Stop Event

1×	node limit

Counts

93 → 84

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 3 x)
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(*.f64 -2 (pow.f64 x 2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(*.f64 -2 (pow.f64 x 2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
3
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(*.f64 -2 x)
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(*.f64 -2 x)
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 -2 x))
(+.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) 0)
(+.f64 0 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)))
(-.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) 0)
(-.f64 0 (neg.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)))) 1)
(/.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) 1)
(/.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) (/.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x))))
(pow.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) 1)
(neg.f64 (neg.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x))))
(+.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 0)
(+.f64 0 (*.f64 x (-.f64 (-.f64 3 x) x)))
(-.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 0)
(-.f64 0 (neg.f64 (*.f64 x (-.f64 (-.f64 3 x) x))))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 x (-.f64 (-.f64 3 x) x)))) 1)
(/.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 1)
(/.f64 (.f64 x (-.f64 (-.f64 3 x) x)) (/.f64 (.f64 x (+.f64 x (-.f64 x 3))) (*.f64 x (+.f64 x (-.f64 x 3)))))
(pow.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 1)
(neg.f64 (neg.f64 (*.f64 x (-.f64 (-.f64 3 x) x))))
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(+.f64 1 (+.f64 (-.f64 3 x) (-.f64 -1 x)))
(+.f64 (-.f64 (-.f64 3 x) x) 0)
(+.f64 0 (-.f64 (-.f64 3 x) x))
(+.f64 (-.f64 3 x) (neg.f64 x))
(+.f64 (-.f64 3 x) (+.f64 (-.f64 1 x) -1))
(+.f64 (-.f64 4 (+.f64 x x)) -1)
(+.f64 -1 (-.f64 4 (+.f64 x x)))
(+.f64 (-.f64 -1 x) (-.f64 4 x))
(+.f64 (-.f64 -1 x) (+.f64 (-.f64 0 (-.f64 x 5)) -1))
(+.f64 (neg.f64 x) (-.f64 3 x))
(+.f64 (+.f64 (-.f64 3 x) (-.f64 -1 x)) 1)
(+.f64 (-.f64 4 (+.f64 x 2)) (-.f64 1 x))
(+.f64 (-.f64 4 (+.f64 x 2)) (+.f64 (-.f64 1 x) 0))
(+.f64 (-.f64 1 x) (-.f64 4 (+.f64 x 2)))
(+.f64 (-.f64 -2 x) (-.f64 0 (-.f64 x 5)))
(+.f64 (-.f64 -2 x) (+.f64 (-.f64 0 (-.f64 x 5)) 0))
(+.f64 (-.f64 -2 x) (+.f64 1 (-.f64 4 x)))
(+.f64 (-.f64 0 (-.f64 x 5)) (-.f64 -2 x))
(*.f64 1 (-.f64 (-.f64 3 x) x))
(*.f64 (-.f64 (-.f64 3 x) x) 1)
(*.f64 (-.f64 (-.f64 3 x) x) (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
(*.f64 (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (-.f64 (-.f64 3 x) x))
(*.f64 -1 (+.f64 x (-.f64 x 3)))
(*.f64 (+.f64 x (-.f64 x 3)) -1)
(.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (/.f64 1 (-.f64 (-.f64 3 x) x)))
(.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (/.f64 (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (-.f64 (-.f64 3 x) x)))
(.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (/.f64 -1 (+.f64 x (-.f64 x 3))))
(*.f64 (neg.f64 (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (+.f64 x (-.f64 x 3)))
(*.f64 (neg.f64 (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (-.f64 -1 (+.f64 (-.f64 3 x) (-.f64 -1 x))))
(.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
(.f64 (.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))
(.f64 (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))
(.f64 (.f64 (.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))) (/.f64 (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))))
(/.f64 (-.f64 (-.f64 3 x) x) 1)
(/.f64 (-.f64 (-.f64 3 x) x) (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
(/.f64 (+.f64 x (-.f64 x 3)) -1)
(pow.f64 (-.f64 (-.f64 3 x) x) 1)
(neg.f64 (+.f64 x (-.f64 x 3)))

Outputs
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 3 x)
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(+.f64 (.f64 (pow.f64 x 2) -2) (.f64 3 x))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(+.f64 (.f64 (pow.f64 x 2) -2) (.f64 3 x))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(+.f64 (.f64 (pow.f64 x 2) -2) (.f64 3 x))
(*.f64 -2 (pow.f64 x 2))
(*.f64 (pow.f64 x 2) -2)
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(+.f64 (.f64 (pow.f64 x 2) -2) (.f64 3 x))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(+.f64 (.f64 (pow.f64 x 2) -2) (.f64 3 x))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(+.f64 (.f64 (pow.f64 x 2) -2) (.f64 3 x))
(*.f64 -2 (pow.f64 x 2))
(*.f64 (pow.f64 x 2) -2)
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(+.f64 (.f64 (pow.f64 x 2) -2) (.f64 3 x))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(+.f64 (.f64 (pow.f64 x 2) -2) (.f64 3 x))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 (pow.f64 x 2) -2))
(+.f64 (.f64 (pow.f64 x 2) -2) (.f64 3 x))
3
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(*.f64 -2 x)
(*.f64 x -2)
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(*.f64 -2 x)
(*.f64 x -2)
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(+.f64 3 (*.f64 -2 x))
(+.f64 3 (*.f64 x -2))
(+.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) 0)
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))
(+.f64 0 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)))
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))
(-.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) 0)
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))
(-.f64 0 (neg.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x))))
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)))) 1)
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))
(/.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) 1)
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))
(/.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) (/.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x))))
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))
(pow.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x)) 1)
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))
(neg.f64 (neg.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 x x))))
(.f64 (-.f64 3 (+.f64 x x)) (.f64 x x))
(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))
(+.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 0)
(*.f64 x (-.f64 3 (+.f64 x x)))
(*.f64 x (-.f64 (-.f64 3 x) x))
(+.f64 0 (*.f64 x (-.f64 (-.f64 3 x) x)))
(*.f64 x (-.f64 3 (+.f64 x x)))
(*.f64 x (-.f64 (-.f64 3 x) x))
(-.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 0)
(*.f64 x (-.f64 3 (+.f64 x x)))
(*.f64 x (-.f64 (-.f64 3 x) x))
(-.f64 0 (neg.f64 (*.f64 x (-.f64 (-.f64 3 x) x))))
(*.f64 x (-.f64 3 (+.f64 x x)))
(*.f64 x (-.f64 (-.f64 3 x) x))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 x (-.f64 (-.f64 3 x) x)))) 1)
(*.f64 x (-.f64 3 (+.f64 x x)))
(*.f64 x (-.f64 (-.f64 3 x) x))
(/.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 1)
(*.f64 x (-.f64 3 (+.f64 x x)))
(*.f64 x (-.f64 (-.f64 3 x) x))
(/.f64 (.f64 x (-.f64 (-.f64 3 x) x)) (/.f64 (.f64 x (+.f64 x (-.f64 x 3))) (*.f64 x (+.f64 x (-.f64 x 3)))))
(/.f64 (.f64 x (-.f64 3 (+.f64 x x))) (/.f64 (.f64 x (+.f64 x (-.f64 x 3))) (*.f64 x (+.f64 x (-.f64 x 3)))))
(/.f64 (.f64 x (-.f64 (-.f64 3 x) x)) (/.f64 (.f64 x (-.f64 (-.f64 3 x) x)) (*.f64 x (-.f64 (-.f64 3 x) x))))
(pow.f64 (*.f64 x (-.f64 (-.f64 3 x) x)) 1)
(*.f64 x (-.f64 3 (+.f64 x x)))
(*.f64 x (-.f64 (-.f64 3 x) x))
(neg.f64 (neg.f64 (*.f64 x (-.f64 (-.f64 3 x) x))))
(*.f64 x (-.f64 3 (+.f64 x x)))
(*.f64 x (-.f64 (-.f64 3 x) x))
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(+.f64 1 (+.f64 (-.f64 3 x) (-.f64 -1 x)))
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(+.f64 (-.f64 (-.f64 3 x) x) 0)
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(+.f64 0 (-.f64 (-.f64 3 x) x))
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(+.f64 (-.f64 3 x) (neg.f64 x))
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(+.f64 (-.f64 3 x) (+.f64 (-.f64 1 x) -1))
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(+.f64 (-.f64 4 (+.f64 x x)) -1)
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(+.f64 -1 (-.f64 4 (+.f64 x x)))
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(+.f64 (-.f64 -1 x) (-.f64 4 x))
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(+.f64 (-.f64 -1 x) (+.f64 (-.f64 0 (-.f64 x 5)) -1))
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(+.f64 (neg.f64 x) (-.f64 3 x))
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(+.f64 (+.f64 (-.f64 3 x) (-.f64 -1 x)) 1)
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(+.f64 (-.f64 4 (+.f64 x 2)) (-.f64 1 x))
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(+.f64 (-.f64 4 (+.f64 x 2)) (+.f64 (-.f64 1 x) 0))
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(+.f64 (-.f64 1 x) (-.f64 4 (+.f64 x 2)))
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(+.f64 (-.f64 -2 x) (-.f64 0 (-.f64 x 5)))
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(+.f64 (-.f64 -2 x) (+.f64 (-.f64 0 (-.f64 x 5)) 0))
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(+.f64 (-.f64 -2 x) (+.f64 1 (-.f64 4 x)))
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(+.f64 (-.f64 0 (-.f64 x 5)) (-.f64 -2 x))
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(*.f64 1 (-.f64 (-.f64 3 x) x))
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(*.f64 (-.f64 (-.f64 3 x) x) 1)
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(*.f64 (-.f64 (-.f64 3 x) x) (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
(*.f64 (-.f64 3 (+.f64 x x)) (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
(*.f64 (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (-.f64 (-.f64 3 x) x))
(*.f64 (-.f64 3 (+.f64 x x)) (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
(*.f64 (-.f64 (-.f64 3 x) x) (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
(*.f64 -1 (+.f64 x (-.f64 x 3)))
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(*.f64 (+.f64 x (-.f64 x 3)) -1)
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (/.f64 1 (-.f64 (-.f64 3 x) x)))
(.f64 (+.f64 x (-.f64 x 3)) (.f64 (+.f64 x (-.f64 x 3)) (/.f64 1 (-.f64 3 (+.f64 x x)))))
(.f64 (.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)) (/.f64 1 (-.f64 (-.f64 3 x) x)))
(*.f64 (-.f64 (-.f64 3 x) x) (/.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)))
(.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (/.f64 (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (-.f64 (-.f64 3 x) x)))
(.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (/.f64 (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (-.f64 3 (+.f64 x x))))
(.f64 (+.f64 x (-.f64 x 3)) (.f64 (+.f64 x (-.f64 x 3)) (/.f64 (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (-.f64 (-.f64 3 x) x))))
(.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (/.f64 -1 (+.f64 x (-.f64 x 3))))
(*.f64 (-.f64 3 (+.f64 x x)) (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
(*.f64 (-.f64 (-.f64 3 x) x) (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
(*.f64 (neg.f64 (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (+.f64 x (-.f64 x 3)))
(*.f64 (-.f64 3 (+.f64 x x)) (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
(*.f64 (-.f64 (-.f64 3 x) x) (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
(*.f64 (neg.f64 (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (-.f64 -1 (+.f64 (-.f64 3 x) (-.f64 -1 x))))
(*.f64 (-.f64 3 (+.f64 x x)) (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
(*.f64 (-.f64 (-.f64 3 x) x) (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
(.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
(.f64 (+.f64 x (-.f64 x 3)) (.f64 (+.f64 x (-.f64 x 3)) (/.f64 1 (-.f64 3 (+.f64 x x)))))
(.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (/.f64 1 (-.f64 (-.f64 3 x) x)))
(.f64 (.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)) (/.f64 1 (-.f64 (-.f64 3 x) x)))
(*.f64 (-.f64 (-.f64 3 x) x) (/.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)))
(.f64 (.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))
(.f64 (+.f64 x (-.f64 x 3)) (.f64 (+.f64 x (-.f64 x 3)) (/.f64 1 (-.f64 3 (+.f64 x x)))))
(.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (/.f64 1 (-.f64 (-.f64 3 x) x)))
(.f64 (.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)) (/.f64 1 (-.f64 (-.f64 3 x) x)))
(*.f64 (-.f64 (-.f64 3 x) x) (/.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)))
(.f64 (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (*.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))
(.f64 (+.f64 x (-.f64 x 3)) (.f64 (+.f64 x (-.f64 x 3)) (/.f64 1 (-.f64 3 (+.f64 x x)))))
(.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (/.f64 1 (-.f64 (-.f64 3 x) x)))
(.f64 (.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)) (/.f64 1 (-.f64 (-.f64 3 x) x)))
(*.f64 (-.f64 (-.f64 3 x) x) (/.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)))
(.f64 (.f64 (.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))) (/.f64 (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))))
(.f64 (+.f64 x (-.f64 x 3)) (.f64 (+.f64 x (-.f64 x 3)) (/.f64 1 (-.f64 3 (+.f64 x x)))))
(.f64 (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))) (/.f64 1 (-.f64 (-.f64 3 x) x)))
(.f64 (.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)) (/.f64 1 (-.f64 (-.f64 3 x) x)))
(*.f64 (-.f64 (-.f64 3 x) x) (/.f64 (-.f64 (-.f64 3 x) x) (-.f64 (-.f64 3 x) x)))
(/.f64 (-.f64 (-.f64 3 x) x) 1)
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(/.f64 (-.f64 (-.f64 3 x) x) (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
(*.f64 (-.f64 3 (+.f64 x x)) (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
(*.f64 (-.f64 (-.f64 3 x) x) (/.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))
(/.f64 (+.f64 x (-.f64 x 3)) -1)
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(pow.f64 (-.f64 (-.f64 3 x) x) 1)
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)
(neg.f64 (+.f64 x (-.f64 x 3)))
(+.f64 (-.f64 4 x) (-.f64 -1 x))
(-.f64 (-.f64 3 x) x)

eval150.0ms (2.7%)

Compiler: Compiled 6064 to 3941 computations (35% saved)

prune37.0ms (0.7%)

Pruning

10 alts after pruning (0 fresh and 10 done)

	Pruned	Kept	Total
New	191	0	191
Fresh	0	0	0
Picked	0	1	1
Done	0	9	9
Total	191	10	201

Error

0.0b

Counts

201 → 10

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
✓	0.2b	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
✓	0.1b	(.f64 x (.f64 x (-.f64 (-.f64 4 x) (+.f64 x 1))))
✓	0.1b	(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))
✓	0.1b	(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
✓	11.6b	(.f64 x (.f64 x (.f64 (.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))) (/.f64 (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))))))
✓	22.0b	(.f64 x (.f64 x (*.f64 x -2)))
✓	18.6b	(.f64 x (.f64 x 3))
✓	18.7b	(.f64 3 (.f64 x x))
✓	21.9b	(*.f64 -2 (pow.f64 x 3))

Compiler

Compiled 176 to 119 computations (32.4% saved)

regimes18.0ms (0.3%)

Counts

11 → 1

Calls

Call 1

Inputs
(.f64 3 (.f64 x x))
(.f64 x (.f64 x 3))
(.f64 x (.f64 x (*.f64 x -2)))
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
(.f64 x (.f64 x (-.f64 (-.f64 4 x) (+.f64 x 1))))
(.f64 x (.f64 x (+.f64 (-.f64 1 (-.f64 x 3)) (-.f64 -1 x))))
(.f64 x (.f64 x (.f64 (.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))) (/.f64 (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))))))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))

Outputs
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))

Calls

2 calls:

9.0ms	x
5.0ms	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

Results

Error	Segments	Branch
0.1b	1	`x`
0.1b	1	`(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))`

Compiler

Compiled 192 to 126 computations (34.4% saved)

regimes166.0ms (2.9%)

Counts

10 → 1

Calls

Call 1

Inputs
(.f64 3 (.f64 x x))
(.f64 x (.f64 x 3))
(.f64 x (.f64 x (*.f64 x -2)))
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(.f64 x (.f64 x (-.f64 (-.f64 3 x) x)))
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
(.f64 x (.f64 x (-.f64 (-.f64 4 x) (+.f64 x 1))))
(.f64 x (.f64 x (+.f64 (-.f64 1 (-.f64 x 3)) (-.f64 -1 x))))
(.f64 x (.f64 x (.f64 (.f64 (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3))))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))) (/.f64 (/.f64 (/.f64 1 (-.f64 (-.f64 3 x) x)) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (-.f64 (-.f64 3 x) x) (.f64 (+.f64 x (-.f64 x 3)) (+.f64 x (-.f64 x 3)))))))))
(*.f64 -2 (pow.f64 x 3))

Outputs
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))

Calls

2 calls:

156.0ms	x
5.0ms	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

Results

Error	Segments	Branch
0.1b	1	`x`
0.1b	1	`(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))`

Compiler

Compiled 181 to 117 computations (35.4% saved)

regimes13.0ms (0.2%)

Counts

3 → 3

Calls

Call 1

Inputs
(.f64 3 (.f64 x x))
(.f64 x (.f64 x 3))
(.f64 x (.f64 x (*.f64 x -2)))

Outputs
(.f64 x (.f64 x (*.f64 x -2)))
(.f64 x (.f64 x 3))
(.f64 x (.f64 x (*.f64 x -2)))

Calls

1 calls:

12.0ms

Results

Error	Segments	Branch
2.3b	3	`x`

Compiler

Compiled 20 to 12 computations (40% saved)

bsearch42.0ms (0.7%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
20.0ms	0.0015597399396620258	25.652046306408312
22.0ms	-32646.0550757152	-0.4604163768690626

Results

37.0ms

272×

body

256

valid

Compiler

Compiled 286 to 197 computations (31.1% saved)

regimes5.0ms (0.1%)

Accuracy

Total -0.1b remaining (-0.4%)

Threshold costs -0.1b (-0.4%)

Counts

2 → 1

Calls

Call 1

Inputs
(.f64 3 (.f64 x x))
(.f64 x (.f64 x 3))

Outputs
(.f64 x (.f64 x 3))

Calls

1 calls:

4.0ms

Results

Error	Segments	Branch
18.6b	1	`x`

Compiler

Compiled 13 to 8 computations (38.5% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	151

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(if (<=.f64 x -3/2) (.f64 x (.f64 x (.f64 x -2))) (if (<=.f64 x 3/2) (.f64 x (.f64 x 3)) (.f64 x (.f64 x (.f64 x -2)))))
(.f64 x (.f64 x 3))
(.f64 3 (.f64 x x))

Outputs
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(.f64 x (.f64 x (-.f64 3 (+.f64 x x))))
(if (<=.f64 x -3/2) (.f64 x (.f64 x (.f64 x -2))) (if (<=.f64 x 3/2) (.f64 x (.f64 x 3)) (.f64 x (.f64 x (.f64 x -2)))))
(.f64 x (.f64 x 3))
(.f64 3 (.f64 x x))

Compiler

Compiled 62 to 42 computations (32.3% saved)

soundness0.0ms (0%)

end45.0ms (0.8%)

Compiler: Compiled 58 to 38 computations (34.5% saved)

Details

analyze3.0ms (0.1%)

sample933.0ms (16.6%)

preprocess7.0ms (0.1%)

simplify23.0ms (0.4%)

eval1.0ms (0%)

prune1.0ms (0%)

localize16.0ms (0.3%)

series2.0ms (0%)

rewrite119.0ms (2.1%)

simplify197.0ms (3.5%)

eval2.0ms (0%)

prune5.0ms (0.1%)

localize7.0ms (0.1%)

series1.0ms (0%)

rewrite78.0ms (1.4%)

simplify223.0ms (4%)

localize10.0ms (0.2%)

series1.0ms (0%)

rewrite90.0ms (1.6%)

simplify184.0ms (3.3%)

localize14.0ms (0.2%)

series1.0ms (0%)

rewrite139.0ms (2.5%)

simplify164.0ms (2.9%)

localize68.0ms (1.2%)

series1.0ms (0%)

rewrite91.0ms (1.6%)

simplify219.0ms (3.9%)

eval33.0ms (0.6%)

prune19.0ms (0.3%)

localize5.0ms (0.1%)

series0.0ms (0%)

rewrite100.0ms (1.8%)

simplify158.0ms (2.8%)

localize8.0ms (0.1%)

series0.0ms (0%)

rewrite238.0ms (4.2%)

simplify174.0ms (3.1%)

localize18.0ms (0.3%)

series1.0ms (0%)

rewrite127.0ms (2.2%)

simplify229.0ms (4.1%)

eval177.0ms (3.2%)

prune31.0ms (0.5%)

localize8.0ms (0.1%)

series1.0ms (0%)

rewrite111.0ms (2%)

simplify198.0ms (3.5%)

localize249.0ms (4.4%)

series3.0ms (0.1%)

rewrite138.0ms (2.5%)

simplify197.0ms (3.5%)

localize15.0ms (0.3%)

series1.0ms (0%)

rewrite121.0ms (2.2%)

simplify191.0ms (3.4%)

eval150.0ms (2.7%)

prune37.0ms (0.7%)

regimes18.0ms (0.3%)

regimes166.0ms (2.9%)

regimes13.0ms (0.2%)

bsearch42.0ms (0.7%)

regimes5.0ms (0.1%)

simplify4.0ms (0.1%)

soundness0.0ms (0%)

end45.0ms (0.8%)

Profiling