Details

sample35.0ms

Algorithm

intervals

Results

15.0ms

268×

body

valid

simplify40.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	17
1	26	17
2	38	17
3	46	17
4	48	17
done	48	17

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.2b

localize16.0ms

Local error

Found 3 expressions with local error:

5.5b	(/ (* y z) t)
6.4b	(/ (* y b) t)
11.8b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite160.0ms

Algorithm

rewrite-expression-head

Rules

55×	`*-un-lft-identity`
26×	`times-frac`
21×	`distribute-lft-out`
18×	`add-sqr-sqrt` `add-cube-cbrt`
15×	`add-exp-log` `add-cbrt-cube`
11×	`associate-/r*`
6×	`associate-/l*`
5×	`cbrt-undiv` `div-exp`
4×	`associate-/r/`
3×	`pow1` `frac-2neg` `flip3-+` `clear-num` `flip-+` `div-inv` `add-log-exp`
2×	`frac-add` `prod-exp` `cbrt-unprod` `associate-/l/`

Counts

3 → 89

Calls

3 calls:

19.0ms	(/ (* y z) t)
21.0ms	(/ (* y b) t)
115.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series186.0ms

Counts

3 → 9

Calls

3 calls:

23.0ms	(/ (* y z) t)
22.0ms	(/ (* y b) t)
141.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify961.0ms

Counts

98 → 98

Iterations

Useful iterations: done (958.0ms)

Iter	Nodes	Cost
0	171	1630
1	431	1565
2	1537	1447
done	5000	1443

prune342.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 11.9b

localize25.0ms

Local error

Found 3 expressions with local error:

4.2b	(/ y (/ t b))
5.5b	(/ (* y z) t)
11.8b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ y (/ t b))))

rewrite178.0ms

Algorithm

rewrite-expression-head

Rules

98×	`times-frac`
95×	`*-un-lft-identity`
58×	`add-sqr-sqrt` `add-cube-cbrt`
21×	`associate-/r*` `distribute-lft-out`
15×	`add-exp-log` `add-cbrt-cube`
8×	`associate-/l*`
7×	`div-inv`
6×	`cbrt-undiv` `div-exp`
5×	`associate-/r/`
3×	`pow1` `frac-2neg` `flip3-+` `clear-num` `flip-+` `add-log-exp`
2×	`frac-add` `associate-/l/`
1×	`prod-exp` `cbrt-unprod`

Counts

3 → 138

Calls

3 calls:

16.0ms	(/ y (/ t b))
16.0ms	(/ (* y z) t)
136.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ y (/ t b))))

series247.0ms

Counts

3 → 9

Calls

3 calls:

39.0ms	(/ y (/ t b))
31.0ms	(/ (* y z) t)
176.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ y (/ t b))))

simplify1.3s

Counts

147 → 147

Iterations

Useful iterations: done (1.3s)

Iter	Nodes	Cost
0	275	2324
1	637	2199
2	2112	2071
done	5000	2065

prune612.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 9.4b

localize14.0ms

Local error

Found 3 expressions with local error:

4.2b	(/ y (/ t b))
5.2b	(* y (/ z t))
11.8b	(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (/ y (/ t b))))

rewrite121.0ms

Algorithm

rewrite-expression-head

Rules

100×	`times-frac`
83×	`*-un-lft-identity`
68×	`add-sqr-sqrt`
63×	`add-cube-cbrt`
18×	`associate-/r*`
15×	`add-exp-log` `add-cbrt-cube`
13×	`associate-r`
12×	`distribute-lft-out`
7×	`div-inv`
6×	`associate-/l*`
5×	`pow1` `cbrt-undiv` `div-exp` `associate-/r/`
3×	`flip3-+` `associate-l` `flip-+` `add-log-exp`
2×	`frac-2neg` `frac-add` `prod-exp` `clear-num` `cbrt-unprod` `associate-/l/` `unswap-sqr`
1×	`associate-r/` `pow-prod-down` `-commutative`

Counts

3 → 143

Calls

3 calls:

9.0ms	(/ y (/ t b))
13.0ms	(* y (/ z t))
93.0ms	(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (/ y (/ t b))))

series185.0ms

Counts

3 → 9

Calls

3 calls:

35.0ms	(/ y (/ t b))
20.0ms	(* y (/ z t))
131.0ms	(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (/ y (/ t b))))

simplify1.3s

Counts

152 → 152

Iterations

Useful iterations: done (1.3s)

Iter	Nodes	Cost
0	294	2267
1	685	2138
2	2225	2010
done	5000	2004

prune544.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 9.4b

localize20.0ms

Local error

Found 4 expressions with local error:

1.9b	(/ (/ t b) (cbrt y))
2.7b	(/ (* (cbrt y) (cbrt y)) (/ (/ t b) (cbrt y)))
5.2b	(* y (/ z t))
11.8b	(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (/ (* (cbrt y) (cbrt y)) (/ (/ t b) (cbrt y)))))

rewrite347.0ms

Algorithm

rewrite-expression-head

Rules

512×	`times-frac`
257×	`*-un-lft-identity`
242×	`add-sqr-sqrt`
237×	`add-cube-cbrt`
120×	`cbrt-prod`
93×	`associate-/r*`
37×	`add-exp-log`
25×	`add-cbrt-cube` `div-inv`
17×	`cbrt-undiv` `div-exp` `associate-/l*`
13×	`associate-r`
12×	`distribute-lft-out`
6×	`pow1`
5×	`prod-exp` `associate-/r/` `cbrt-unprod`
4×	`add-log-exp`
3×	`frac-2neg` `flip3-+` `associate-l` `clear-num` `flip-+` `associate-/l/`
2×	`frac-add` `unswap-sqr`
1×	`associate-r/` `pow-prod-down` `-commutative`

Counts

4 → 373

Calls

4 calls:

21.0ms	(/ (/ t b) (cbrt y))
49.0ms	(/ (* (cbrt y) (cbrt y)) (/ (/ t b) (cbrt y)))
22.0ms	(* y (/ z t))
217.0ms	(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (/ (* (cbrt y) (cbrt y)) (/ (/ t b) (cbrt y)))))

series337.0ms

Counts

4 → 12

Calls

4 calls:

84.0ms	(/ (/ t b) (cbrt y))
53.0ms	(/ (* (cbrt y) (cbrt y)) (/ (/ t b) (cbrt y)))
24.0ms	(* y (/ z t))
176.0ms	(/ (+ x (* y (/ z t))) (+ (+ a 1.0) (/ (* (cbrt y) (cbrt y)) (/ (/ t b) (cbrt y)))))

simplify831.0ms

Counts

385 → 385

Iterations

Useful iterations: done (803.0ms)

Iter	Nodes	Cost
0	602	7170
1	1477	6697
done	5000	6157

prune1.7s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 9.2b

regimes544.0ms

Accuracy

53.9% (3.4b remaining)

Error of 12.8b against oracle of 9.4b and baseline of 16.8b

bsearch137.0ms

Steps

Iters	Range		Point
8	4.659384059972549e-59	6.482235930800528e-56	6.399239486311505e-56
9	-433630756157860.06	-536332218.7459359	-11426198898.578688

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	37	61
1	49	61
done	49	61

end0.0ms

sample1.6s

Algorithm

intervals

Results

1.0s

8278×

body

valid