Details

sample24.0ms

Algorithm

intervals

Results

10.0ms

285×

body

valid

simplify6.9s

Counts

1 → 1

Iterations

Useful iterations: 3 (12.0ms)

Iter	Nodes	Cost
0	10	205
1	18	205
2	31	205
3	53	180
4	96	180
5	147	180
6	203	180
7	254	180
8	337	180
9	411	180
10	583	180
11	863	180
12	1348	180
13	1903	180
14	2545	180
15	3006	180
16	3322	180
17	3648	180
18	3906	180
19	4229	180
20	4487	180
21	4813	180
done	5000	180

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ y (- z a))
2.1b	(fma (/ y (- z a)) (- z t) x)

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt` `*-un-lft-identity`
15×	`times-frac`
12×	`add-cube-cbrt`
5×	`associate-/r*`
4×	`add-cbrt-cube` `add-exp-log` `distribute-lft-out--` `difference-of-squares`
3×	`associate-/l*`
2×	`expm1-log1p-u` `pow1` `associate-/r/` `log1p-expm1-u` `add-log-exp`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `flip3--` `div-exp` `fma-udef` `div-inv` `flip--`

Counts

2 → 49

Calls

2 calls:

17.0ms	(/ y (- z a))
1.0ms	(fma (/ y (- z a)) (- z t) x)

series162.0ms

Counts

2 → 6

Calls

2 calls:

51.0ms	(/ y (- z a))
111.0ms	(fma (/ y (- z a)) (- z t) x)

simplify1.6s

Counts

55 → 55

Iterations

Useful iterations: 2 (128.0ms)

Iter	Nodes	Cost
0	92	11509
1	177	10812
2	463	10732
3	1284	10732
done	5001	10732

prune406.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

2.1b	(fma (* (* (cbrt (/ y (- z a))) (cbrt (/ y (- z a)))) (cbrt (/ y (- z a)))) (- z t) x)
16.5b	(cbrt (/ y (- z a)))
16.5b	(cbrt (/ y (- z a)))
16.5b	(cbrt (/ y (- z a)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

63×	`cbrt-prod`
49×	`add-sqr-sqrt` `*-un-lft-identity`
45×	`times-frac`
31×	`add-cube-cbrt`
9×	`distribute-lft-out--` `difference-of-squares`
6×	`associate-/r/`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-div` `flip3--` `pow1/3` `div-inv` `flip--`
1×	`fma-udef`

Counts

4 → 106

Calls

4 calls:

1.0ms	(fma (* (* (cbrt (/ y (- z a))) (cbrt (/ y (- z a)))) (cbrt (/ y (- z a)))) (- z t) x)
9.0ms	(cbrt (/ y (- z a)))
10.0ms	(cbrt (/ y (- z a)))
9.0ms	(cbrt (/ y (- z a)))

series865.0ms

Counts

4 → 12

Calls

4 calls:

147.0ms	(fma (* (* (cbrt (/ y (- z a))) (cbrt (/ y (- z a)))) (cbrt (/ y (- z a)))) (- z t) x)
241.0ms	(cbrt (/ y (- z a)))
235.0ms	(cbrt (/ y (- z a)))
242.0ms	(cbrt (/ y (- z a)))

simplify3.5s

Counts

118 → 118

Iterations

Useful iterations: 4 (1.7s)

Iter	Nodes	Cost
0	137	45548
1	229	42995
2	455	42875
3	1115	40348
4	3817	40225
done	5000	40225

prune921.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize73.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (fma (/ y (- z a)) (- z t) x)) (cbrt (fma (/ y (- z a)) (- z t) x)))
2.1b	(fma (/ y (- z a)) (- z t) x)
2.1b	(fma (/ y (- z a)) (- z t) x)
2.1b	(fma (/ y (- z a)) (- z t) x)

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
16×	`cbrt-prod`
12×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
6×	`pow1/3` `swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`fma-udef`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 72

Calls

4 calls:

18.0ms	(* (cbrt (fma (/ y (- z a)) (- z t) x)) (cbrt (fma (/ y (- z a)) (- z t) x)))
1.0ms	(fma (/ y (- z a)) (- z t) x)
0.0ms	(fma (/ y (- z a)) (- z t) x)
1.0ms	(fma (/ y (- z a)) (- z t) x)

series791.0ms

Counts

4 → 12

Calls

4 calls:

408.0ms	(* (cbrt (fma (/ y (- z a)) (- z t) x)) (cbrt (fma (/ y (- z a)) (- z t) x)))
126.0ms	(fma (/ y (- z a)) (- z t) x)
111.0ms	(fma (/ y (- z a)) (- z t) x)
145.0ms	(fma (/ y (- z a)) (- z t) x)

simplify5.4s

Counts

84 → 84

Iterations

Useful iterations: 3 (372.0ms)

Iter	Nodes	Cost
0	70	25038
1	134	24114
2	305	24023
3	716	23823
4	2831	23823
done	5008	23823

prune686.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b	(* y (- z t))
9.9b	(/ (* y (- z t)) (- z a))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
24×	`*-un-lft-identity`
18×	`prod-diff` `add-cube-cbrt`
11×	`distribute-rgt-in` `distribute-lft-in`
9×	`add-cbrt-cube` `add-exp-log`
5×	`associate-/r` `times-frac` `associate-r*`
4×	`pow1` `associate-*r/`
3×	`flip3--` `associate-l` `flip--` `distribute-lft-out--` `difference-of-squares`
2×	`expm1-log1p-u` `cbrt-undiv` `sub-neg` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `log1p-expm1-u` `add-log-exp` `associate-/l/`
1×	`clear-num` `frac-2neg` `pow-prod-down` `-commutative` `div-inv` `associate-/l` `unswap-sqr`

Counts

2 → 77

Calls

2 calls:

22.0ms	(* y (- z t))
28.0ms	(/ (* y (- z t)) (- z a))

series131.0ms

Counts

2 → 6

Calls

2 calls:

43.0ms	(* y (- z t))
88.0ms	(/ (* y (- z t)) (- z a))

simplify3.4s

Counts

83 → 83

Iterations

Useful iterations: 3 (2.0s)

Iter	Nodes	Cost
0	157	21765
1	393	18908
2	1055	15384
3	4220	15144
done	5000	15144

prune331.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes574.0ms

Accuracy

71.9% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 1.4b

bsearch1.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	19	587
1	25	587
done	25	587

end0.0ms

sample935.0ms

Algorithm

intervals

Results

472.0ms	8696×	body	80	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	160	valid