Details

sample179.0ms

Algorithm

intervals

Results

74.0ms	1413×	body	80	nan
30.0ms	474×	body	80	valid

simplify695.0ms

Counts

1 → 1

Iterations

Useful iterations: 3 (18.0ms)

Iter	Nodes	Cost
0	17	18
1	33	17
2	72	17
3	171	16
4	499	16
5	2033	16
done	5000	16

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize22.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- t 1.0) (log a))
0.3b	(* y (log z))
1.4b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.4b	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

rewrite138.0ms

Algorithm

rewrite-expression-head

Rules

29×	`add-sqr-sqrt`
25×	`*-un-lft-identity`
21×	`add-cube-cbrt`
13×	`add-cbrt-cube`
12×	`add-exp-log` `log-prod` `exp-sum`
10×	`pow1` `add-log-exp`
9×	`prod-diff`
8×	`associate-r` `associate-l`
6×	`distribute-rgt-in` `distribute-lft-in`
5×	`exp-prod`
4×	`expm1-log1p-u` `log1p-expm1-u`
3×	`times-frac` `prod-exp` `associate-/r*` `cbrt-unprod` `rem-exp-log`
2×	`cbrt-undiv` `exp-diff` `diff-log` `div-exp` `pow-prod-down` `associate-l/` `log-pow` `-commutative` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
1×	`sub-neg` `flip3--` `frac-2neg` `associate-r/` `associate--l+` `clear-num` `sum-log` `flip--` `div-inv` `associate-/l/` `associate-/l`

Counts

4 → 112

Calls

4 calls:

11.0ms	(* (- t 1.0) (log a))
4.0ms	(* y (log z))
34.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
85.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series392.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(* (- t 1.0) (log a))
44.0ms	(* y (log z))
119.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
172.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify720.0ms

Counts

124 → 124

Iterations

Useful iterations: done (716.0ms)

Iter	Nodes	Cost
0	275	2031
1	597	1829
2	2180	1496
done	5000	1488

prune422.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma y (- (log z)) (fma (- (log a)) t b))
0.1b	(fma (- (log a)) t b)
6.2b	(/ (/ x (pow a 1.0)) y)
8.4b	(/ (/ (/ x (pow a 1.0)) y) (exp (fma y (- (log z)) (fma (- (log a)) t b))))

rewrite88.0ms

Algorithm

rewrite-expression-head

Rules

1165×	`times-frac`
506×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
171×	`unpow-prod-down`
104×	`associate-/l*`
82×	`fma-udef`
80×	`exp-sum`
57×	`sqr-pow`
26×	`div-inv`
25×	`add-exp-log`
19×	`div-exp`
18×	`add-cbrt-cube`
9×	`cbrt-undiv`
7×	`associate-/r*`
4×	`pow1` `expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
2×	`pow-to-exp` `frac-2neg` `pow-exp` `clear-num` `associate-/l/`

Counts

4 → 562

Calls

4 calls:

0.0ms	(fma y (- (log z)) (fma (- (log a)) t b))
0.0ms	(fma (- (log a)) t b)
11.0ms	(/ (/ x (pow a 1.0)) y)
32.0ms	(/ (/ (/ x (pow a 1.0)) y) (exp (fma y (- (log z)) (fma (- (log a)) t b))))

series738.0ms

Counts

4 → 12

Calls

4 calls:

88.0ms	(fma y (- (log z)) (fma (- (log a)) t b))
89.0ms	(fma (- (log a)) t b)
200.0ms	(/ (/ x (pow a 1.0)) y)
361.0ms	(/ (/ (/ x (pow a 1.0)) y) (exp (fma y (- (log z)) (fma (- (log a)) t b))))

simplify682.0ms

Counts

574 → 574

Iterations

Useful iterations: 1 (245.0ms)

Iter	Nodes	Cost
0	1006	19159
1	2314	18421
done	5000	18421

prune3.1s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma (- (log a)) t b)
0.2b	(/ (/ 1 (pow a 1.0)) y)
1.7b	(* x (/ (/ (/ 1 (pow a 1.0)) y) (exp (fma y (- (log z)) (fma (- (log a)) t b)))))
5.2b	(/ (/ (/ 1 (pow a 1.0)) y) (exp (fma y (- (log z)) (fma (- (log a)) t b))))

rewrite264.0ms

Algorithm

rewrite-expression-head

Rules

2054×	`times-frac`
893×	`add-sqr-sqrt`
862×	`*-un-lft-identity`
859×	`add-cube-cbrt`
320×	`associate-r`
281×	`unpow-prod-down`
160×	`fma-udef`
159×	`exp-sum`
104×	`associate-/l*`
95×	`sqr-pow`
79×	`add-exp-log`
70×	`div-exp`
43×	`div-inv`
32×	`add-cbrt-cube`
15×	`cbrt-undiv`
12×	`prod-exp`
9×	`pow-to-exp` `rec-exp` `1-exp` `pow-exp` `unswap-sqr`
7×	`associate-/r*`
6×	`pow1`
4×	`expm1-log1p-u` `cbrt-unprod` `log1p-expm1-u` `add-log-exp`
3×	`associate-l`
2×	`frac-2neg` `clear-num` `associate-/l/`
1×	`associate-r/` `pow-prod-down` `-commutative`

Counts

4 → 924

Calls

4 calls:

0.0ms	(fma (- (log a)) t b)
12.0ms	(/ (/ 1 (pow a 1.0)) y)
130.0ms	(* x (/ (/ (/ 1 (pow a 1.0)) y) (exp (fma y (- (log z)) (fma (- (log a)) t b)))))
36.0ms	(/ (/ (/ 1 (pow a 1.0)) y) (exp (fma y (- (log z)) (fma (- (log a)) t b))))

series959.0ms

Counts

4 → 12

Calls

4 calls:

82.0ms	(fma (- (log a)) t b)
173.0ms	(/ (/ 1 (pow a 1.0)) y)
348.0ms	(* x (/ (/ (/ 1 (pow a 1.0)) y) (exp (fma y (- (log z)) (fma (- (log a)) t b)))))
356.0ms	(/ (/ (/ 1 (pow a 1.0)) y) (exp (fma y (- (log z)) (fma (- (log a)) t b))))

simplify1.3s

Counts

936 → 936

Iterations

Useful iterations: done (1.2s)

Iter	Nodes	Cost
0	1322	28971
1	3382	26738
done	5000	26324

prune3.5s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma y (- (log z)) (- b (* (log a) t)))
0.3b	(* (log a) t)
6.2b	(/ (/ x (pow a 1.0)) y)
8.4b	(* (/ (/ x (pow a 1.0)) y) (exp (- (fma y (- (log z)) (- b (* (log a) t))))))

rewrite80.0ms

Algorithm

rewrite-expression-head

Rules

304×	`times-frac`
175×	`add-sqr-sqrt`
157×	`add-cube-cbrt` `*-un-lft-identity`
83×	`associate-l`
64×	`unpow-prod-down`
27×	`add-exp-log`
25×	`associate-/l*`
22×	`sqr-pow`
20×	`add-cbrt-cube`
14×	`div-exp`
9×	`pow1` `div-inv`
7×	`associate-r`
6×	`cbrt-undiv` `prod-exp` `unswap-sqr`
4×	`expm1-log1p-u` `cbrt-unprod` `log1p-expm1-u` `add-log-exp`
3×	`exp-neg` `associate-/r*`
2×	`neg-sub0` `frac-times` `pow-to-exp` `exp-diff` `associate-r/` `pow-prod-down` `pow-exp` `-commutative` `fma-udef`
1×	`distribute-neg-in` `frac-2neg` `exp-sum` `associate-*l/` `clear-num` `log-pow` `un-div-inv` `associate-/l/`

Counts

4 → 266

Calls

4 calls:

0.0ms	(fma y (- (log z)) (- b (* (log a) t)))
4.0ms	(* (log a) t)
11.0ms	(/ (/ x (pow a 1.0)) y)
50.0ms	(* (/ (/ x (pow a 1.0)) y) (exp (- (fma y (- (log z)) (- b (* (log a) t))))))

series716.0ms

Counts

4 → 12

Calls

4 calls:

77.0ms	(fma y (- (log z)) (- b (* (log a) t)))
67.0ms	(* (log a) t)
194.0ms	(/ (/ x (pow a 1.0)) y)
377.0ms	(* (/ (/ x (pow a 1.0)) y) (exp (- (fma y (- (log z)) (- b (* (log a) t))))))

simplify1.8s

Counts

278 → 278

Iterations

Useful iterations: 2 (408.0ms)

Iter	Nodes	Cost
0	466	5279
1	1180	5107
2	4815	4664
done	5000	4664

prune1.4s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes466.0ms

Accuracy

78.9% (0.4b remaining)

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

bsearch1.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	31	45
1	38	45
done	38	45

end0.0ms

sample5.6s

Algorithm

intervals

Results

2.4s	45221×	body	80	nan
982.0ms	15222×	body	80	valid