Details

sample174.0ms

Algorithm

intervals

Results

72.0ms	1426×	body	80	nan
30.0ms	470×	body	80	valid

simplify2.2s

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	498	16
5	1930	16
done	5000	16

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite142.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))
35.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
88.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series502.0ms

Counts

4 → 12

Calls

4 calls:

72.0ms	(* (- t 1.0) (log a))
57.0ms	(* y (log z))
150.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
223.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify904.0ms

Counts

124 → 124

Iterations

Useful iterations: done (900.0ms)

Iter	Nodes	Cost
0	275	2031
1	581	1829
2	1650	1505
done	5000	1490

prune515.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt` `*-un-lft-identity`
20×	`add-cube-cbrt`
17×	`add-cbrt-cube`
15×	`times-frac`
13×	`add-exp-log`
7×	`pow1` `add-log-exp`
6×	`log-prod` `associate-/r*`
5×	`cbrt-undiv` `exp-prod` `div-exp` `exp-sum` `associate-/l*`
4×	`expm1-log1p-u` `associate-r` `log1p-expm1-u`
3×	`distribute-rgt-in` `distribute-lft-in` `associate-l` `prod-exp` `cbrt-unprod`
2×	`frac-2neg` `clear-num` `div-inv` `rem-exp-log`
1×	`associate-r/` `pow-prod-down` `sum-log` `log-pow` `-commutative` `associate-/l/` `unswap-sqr` `pow-div`

Counts

4 → 102

Calls

4 calls:

4.0ms	(* y (log z))
13.0ms	(/ (exp (+ (* y (log z)) (* (- t 1.0) (log a)))) (exp b))
23.0ms	(/ (* x (/ (exp (+ (* y (log z)) (* (- t 1.0) (log a)))) (exp b))) y)
8.0ms	(exp (+ (* y (log z)) (* (- t 1.0) (log a))))

series882.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(* y (log z))
191.0ms	(/ (exp (+ (* y (log z)) (* (- t 1.0) (log a)))) (exp b))
268.0ms	(/ (* x (/ (exp (+ (* y (log z)) (* (- t 1.0) (log a)))) (exp b))) y)
368.0ms	(exp (+ (* y (log z)) (* (- t 1.0) (log a))))

simplify828.0ms

Counts

114 → 114

Iterations

Useful iterations: 2 (199.0ms)

Iter	Nodes	Cost
0	221	2162
1	503	1956
2	1559	1580
done	5000	1580

prune502.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (pow a (- t 1.0)) (pow z y))
0.2b	(pow a (- t 1.0))
0.7b	(* x (/ (* (pow a (- t 1.0)) (pow z y)) (* y (exp b))))
0.8b	(/ (* (pow a (- t 1.0)) (pow z y)) (* y (exp b)))

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

131×	`add-exp-log`
86×	`prod-exp`
40×	`add-sqr-sqrt` `div-exp`
36×	`add-cbrt-cube`
31×	`pow-to-exp` `pow-exp`
26×	`*-un-lft-identity`
24×	`add-cube-cbrt`
22×	`unpow-prod-up`
21×	`associate-l`
18×	`prod-diff`
15×	`unpow-prod-down`
14×	`cbrt-unprod`
12×	`associate-r`
10×	`unswap-sqr`
9×	`sqr-pow`
8×	`cbrt-undiv`
7×	`pow1`
5×	`pow-unpow`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`pow-sub`
2×	`sub-neg` `times-frac` `associate-l/` `-commutative` `div-inv`
1×	`pow-pow` `frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `associate-/r` `associate-/l/` `associate-/l*` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 175

Calls

4 calls:

16.0ms	(* (pow a (- t 1.0)) (pow z y))
4.0ms	(pow a (- t 1.0))
24.0ms	(* x (/ (* (pow a (- t 1.0)) (pow z y)) (* y (exp b))))
12.0ms	(/ (* (pow a (- t 1.0)) (pow z y)) (* y (exp b)))

series815.0ms

Counts

4 → 12

Calls

4 calls:

150.0ms	(* (pow a (- t 1.0)) (pow z y))
79.0ms	(pow a (- t 1.0))
289.0ms	(* x (/ (* (pow a (- t 1.0)) (pow z y)) (* y (exp b))))
296.0ms	(/ (* (pow a (- t 1.0)) (pow z y)) (* y (exp b)))

simplify1.3s

Counts

187 → 187

Iterations

Useful iterations: done (1.3s)

Iter	Nodes	Cost
0	291	3358
1	800	3016
2	3027	2578
done	5001	2557

prune574.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (/ (pow a t) (pow a 1.0)) (pow z y))
0.0b	(/ (pow a t) (pow a 1.0))
0.7b	(* x (/ (* (/ (pow a t) (pow a 1.0)) (pow z y)) (* y (exp b))))
0.8b	(/ (* (/ (pow a t) (pow a 1.0)) (pow z y)) (* y (exp b)))

rewrite114.0ms

Algorithm

rewrite-expression-head

Rules

503×	`add-exp-log`
275×	`prod-exp`
268×	`div-exp`
146×	`pow-to-exp` `pow-exp`
130×	`add-sqr-sqrt`
127×	`times-frac`
121×	`unpow-prod-down`
69×	`add-cube-cbrt` `*-un-lft-identity`
61×	`add-cbrt-cube`
59×	`sqr-pow`
56×	`associate-l`
31×	`unswap-sqr`
23×	`cbrt-unprod`
18×	`cbrt-undiv`
12×	`associate-r`
8×	`associate-/r` `associate-/l`
6×	`pow1`
4×	`expm1-log1p-u` `log1p-expm1-u` `div-inv` `add-log-exp`
2×	`frac-2neg` `associate-l/` `clear-num` `-commutative`
1×	`associate-*r/` `pow-prod-down` `associate-/l/` `pow-div`

Counts

4 → 394

Calls

4 calls:

29.0ms	(* (/ (pow a t) (pow a 1.0)) (pow z y))
9.0ms	(/ (pow a t) (pow a 1.0))
36.0ms	(* x (/ (* (/ (pow a t) (pow a 1.0)) (pow z y)) (* y (exp b))))
14.0ms	(/ (* (/ (pow a t) (pow a 1.0)) (pow z y)) (* y (exp b)))

series1.5s

Counts

4 → 12

Calls

4 calls:

316.0ms	(* (/ (pow a t) (pow a 1.0)) (pow z y))
252.0ms	(/ (pow a t) (pow a 1.0))
485.0ms	(* x (/ (* (/ (pow a t) (pow a 1.0)) (pow z y)) (* y (exp b))))
476.0ms	(/ (* (/ (pow a t) (pow a 1.0)) (pow z y)) (* y (exp b)))

simplify1.8s

Counts

406 → 406

Iterations

Useful iterations: 2 (698.0ms)

Iter	Nodes	Cost
0	441	7959
1	1190	7277
2	4548	6503
done	5000	6503

prune1.2s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

regimes412.0ms

Accuracy

46.3% (3.4b remaining)

Error of 4.4b against oracle of 1.0b and baseline of 7.3b

bsearch364.0ms

Steps

Iters	Range		Point
9	5.49796587878288e-44	4.006654367100595e-38	2.1260560135388765e-43
8	-1.3170922574801997e-64	-2.7412215544800934e-67	-1.3720154821277287e-66

simplify21.0ms

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	38	80
1	58	54
2	66	52
3	72	52
4	77	52
done	77	52

end0.0ms

sample5.4s

Algorithm

intervals

Results

2.3s	45435×	body	80	nan
952.0ms	15176×	body	80	valid