Details

sample225.0ms

Algorithm

intervals

Results

46.0ms	42×	body	10240	exit
41.0ms	41×	body	1280	valid
30.0ms	50×	body	640	valid
14.0ms	109×	body	80	valid
14.0ms	36×	body	320	valid
9.0ms	3×	body	2560	valid
6.0ms	73×	body	80	nan
5.0ms	19×	body	160	valid
3.0ms	7×	body	640	nan
3.0ms	5×	body	1280	nan
1.0ms	5×	body	320	nan
0.0ms	1×	body	160	nan

simplify6.9s

Counts

1 → 1

Iterations

Useful iterations: 2 (11.0ms)

Iter	Nodes	Cost
0	12	13
1	20	13
2	35	12
3	53	12
4	84	12
5	224	12
6	925	12
7	4874	12
done	5000	12

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.0b

localize29.0ms

Local error

Found 3 expressions with local error:

0.1b	(/ (log (fma (exp z) y (- 1.0 y))) t)
2.3b	(log (fma (exp z) y (- 1.0 y)))
2.3b	(fma (exp z) y (- 1.0 y))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
12×	`times-frac`
8×	`pow1`
6×	`add-exp-log`
5×	`log-pow` `add-cbrt-cube`
4×	`associate-/l*`
3×	`expm1-log1p-u` `log-prod` `associate-/r*` `log1p-expm1-u` `add-log-exp`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `rem-log-exp` `clear-num` `fma-udef` `div-inv`

Counts

3 → 57

Calls

3 calls:

23.0ms	(/ (log (fma (exp z) y (- 1.0 y))) t)
2.0ms	(log (fma (exp z) y (- 1.0 y)))
1.0ms	(fma (exp z) y (- 1.0 y))

series414.0ms

Counts

3 → 9

Calls

3 calls:

230.0ms	(/ (log (fma (exp z) y (- 1.0 y))) t)
108.0ms	(log (fma (exp z) y (- 1.0 y)))
75.0ms	(fma (exp z) y (- 1.0 y))

simplify1.0s

Counts

66 → 66

Iterations

Useful iterations: done (1.0s)

Iter	Nodes	Cost
0	145	1009
1	314	973
2	1140	883
done	5000	878

prune629.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 3.3b

localize41.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (/ (fma y (fma 0.5 (pow z 2) (* 1.0 z)) (log 1.0)) t))
0.0b	(fma 0.5 (pow z 2) (* 1.0 z))
3.3b	(fma y (fma 0.5 (pow z 2) (* 1.0 z)) (log 1.0))
5.3b	(/ (fma y (fma 0.5 (pow z 2) (* 1.0 z)) (log 1.0)) t)

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

52×	`add-sqr-sqrt`
49×	`*-un-lft-identity`
47×	`add-cube-cbrt`
39×	`prod-diff`
37×	`times-frac`
6×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
4×	`pow1` `expm1-log1p-u` `log1p-expm1-u` `div-inv`
3×	`fma-neg` `associate-/r` `associate-/l`
2×	`fma-udef` `difference-of-squares`
1×	`cbrt-undiv` `sub-neg` `flip3--` `frac-2neg` `diff-log` `div-exp` `clear-num` `flip--` `distribute-lft-out--`

Counts

4 → 108

Calls

4 calls:

19.0ms	(- x (/ (fma y (fma 0.5 (pow z 2) (* 1.0 z)) (log 1.0)) t))
0.0ms	(fma 0.5 (pow z 2) (* 1.0 z))
1.0ms	(fma y (fma 0.5 (pow z 2) (* 1.0 z)) (log 1.0))
9.0ms	(/ (fma y (fma 0.5 (pow z 2) (* 1.0 z)) (log 1.0)) t)

series682.0ms

Counts

4 → 12

Calls

4 calls:

213.0ms	(- x (/ (fma y (fma 0.5 (pow z 2) (* 1.0 z)) (log 1.0)) t))
120.0ms	(fma 0.5 (pow z 2) (* 1.0 z))
127.0ms	(fma y (fma 0.5 (pow z 2) (* 1.0 z)) (log 1.0))
222.0ms	(/ (fma y (fma 0.5 (pow z 2) (* 1.0 z)) (log 1.0)) t)

simplify3.4s

Counts

120 → 120

Iterations

Useful iterations: done (3.4s)

Iter	Nodes	Cost
0	212	5628
1	496	5058
2	1967	3628
done	5001	2690

prune1.1s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 3.2b

localize35.0ms

Local error

Found 1 expressions with local error:

3.9b	(/ (* z y) t)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-exp-log` `add-cbrt-cube`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `times-frac` `associate-/r`
2×	`cbrt-undiv` `div-exp`
1×	`pow1` `expm1-log1p-u` `frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `log1p-expm1-u` `div-inv` `associate-/l*` `add-log-exp`

Counts

1 → 23

Calls

1 calls:

21.0ms

(/ (* z y) t)

series51.0ms

Counts

1 → 3

Calls

1 calls:

50.0ms

(/ (* z y) t)

simplify1.1s

Counts

26 → 26

Iterations

Useful iterations: done (1.1s)

Iter	Nodes	Cost
0	50	198
1	120	191
2	633	167
done	5001	161

prune335.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 2.8b

localize40.0ms

Local error

Found 2 expressions with local error:

0.8b	(/ 1 (/ t (* z y)))
3.8b	(/ t (* z y))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac`
28×	`add-exp-log`
20×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
16×	`add-cbrt-cube`
14×	`div-exp`
8×	`associate-/r*`
7×	`cbrt-undiv`
6×	`div-inv` `associate-/l*`
4×	`prod-exp`
3×	`pow1` `rec-exp` `1-exp`
2×	`expm1-log1p-u` `frac-2neg` `clear-num` `cbrt-unprod` `log1p-expm1-u` `add-log-exp`
1×	`pow-flip` `associate-/r/` `inv-pow`

Counts

2 → 81

Calls

2 calls:

39.0ms	(/ 1 (/ t (* z y)))
20.0ms	(/ t (* z y))

series119.0ms

Counts

2 → 6

Calls

2 calls:

66.0ms	(/ 1 (/ t (* z y)))
53.0ms	(/ t (* z y))

simplify1.3s

Counts

87 → 87

Iterations

Useful iterations: done (1.3s)

Iter	Nodes	Cost
0	122	894
1	295	763
2	1418	699
done	5002	693

prune559.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 2.8b

regimes1.3s

Accuracy

65.6% (4.3b remaining)

Error of 8.0b against oracle of 3.7b and baseline of 16.1b

bsearch405.0ms

Steps

Iters	Range		Point
10	-1.0579751198908648e-84	-1.1341786647861381e-94	-7.056532338049478e-90
9	-5566.252036969451	-0.07102751000805992	-0.17745823722532728

simplify43.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	35	60
1	37	60
done	37	60

end0.0ms

sample9.7s

Algorithm

intervals

Results

2.8s	1518×	body	10240	exit
2.4s	1456×	body	1280	valid
972.0ms	1566×	body	640	valid
783.0ms	3502×	body	80	valid
473.0ms	983×	body	320	valid
289.0ms	2439×	body	80	nan
218.0ms	88×	body	2560	valid
166.0ms	432×	body	160	valid
125.0ms	266×	body	640	nan
73.0ms	109×	body	1280	nan
67.0ms	196×	body	320	nan
22.0ms	109×	body	160	nan