Details

sample44.0ms

Algorithm

intervals

Results

21.0ms

282×

body

valid

simplify3.8s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
22	4995
21	4713
20	4418
19	4136
18	3837
17	3514
16	3152
15	2742
14	2228
13	1882
12	1295
11	753
10	441
9	341
8	282
7	255
6	219
5	152
4	95
3	58
2	37
1	21
0	10

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.8b

localize13.0ms

Local error

Found 2 expressions with local error:

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

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 64

Calls

2 calls:

23.0ms	(/ (- z t) (- z a))
0.0ms	(fma (/ (- z t) (- z a)) y x)

series148.0ms

Counts

2 → 6

Calls

2 calls:

69.0ms	(/ (- z t) (- z a))
78.0ms	(fma (/ (- z t) (- z a)) y x)

simplify1.3s

Counts

70 → 70

Iterations

Iter	Nodes
done	5022
3	2208
2	650
1	266
0	113

prune331.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.7b

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite146.0ms

Algorithm

rewrite-expression-head

Rules

694×	`*-un-lft-identity`
684×	`add-sqr-sqrt`
678×	`times-frac`
441×	`prod-diff`
402×	`add-cube-cbrt`
145×	`distribute-lft-out--`
139×	`difference-of-squares`
92×	`associate-/r/`
47×	`flip3--` `flip--`
46×	`div-inv`
21×	`fma-neg`
5×	`associate-/r*` `add-cbrt-cube` `add-exp-log` `add-log-exp`
3×	`expm1-log1p-u` `pow1` `distribute-rgt-out--` `log1p-expm1-u` `associate-/l*`
1×	`cbrt-undiv` `clear-num` `sub-neg` `frac-2neg` `diff-log` `div-exp` `frac-sub` `fma-udef` `sub-div`

Counts

3 → 542

Calls

3 calls:

91.0ms	(- (/ z (- z a)) (/ t (- z a)))
9.0ms	(/ z (- z a))
0.0ms	(fma (- (/ z (- z a)) (/ t (- z a))) y x)

series332.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify2.2s

Counts

551 → 551

Iterations

Iter	Nodes
done	5001
2	2905
1	1230
0	553

prune2.3s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.7b

localize38.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- z a))
0.5b	(cbrt (- z a))
0.5b	(cbrt (- z a))
0.8b	(fma (+ (- (/ (/ z (cbrt (- z a))) (* (cbrt (- z a)) (cbrt (- z a)))) (/ t (- z a))) (fma (/ t (- z a)) -1 (/ t (- z a)))) y x)

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

15×	`cbrt-prod`
13×	`add-sqr-sqrt` `*-un-lft-identity`
7×	`add-cube-cbrt`
6×	`cbrt-div`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `log1p-expm1-u` `add-log-exp`
3×	`flip3--` `pow1/3` `flip--` `distribute-lft-out--` `difference-of-squares`
1×	`fma-udef`

Counts

4 → 61

Calls

4 calls:

3.0ms	(cbrt (- z a))
3.0ms	(cbrt (- z a))
4.0ms	(cbrt (- z a))
0.0ms	(fma (+ (- (/ (/ z (cbrt (- z a))) (* (cbrt (- z a)) (cbrt (- z a)))) (/ t (- z a))) (fma (/ t (- z a)) -1 (/ t (- z a)))) y x)

series852.0ms

Counts

4 → 12

Calls

4 calls:

207.0ms	(cbrt (- z a))
207.0ms	(cbrt (- z a))
233.0ms	(cbrt (- z a))
205.0ms	(fma (+ (- (/ (/ z (cbrt (- z a))) (* (cbrt (- z a)) (cbrt (- z a)))) (/ t (- z a))) (fma (/ t (- z a)) -1 (/ t (- z a)))) y x)

simplify2.4s

Counts

73 → 73

Iterations

Iter	Nodes
done	5000
4	3459
3	1019
2	423
1	197
0	96

prune619.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.7b

localize47.0ms

Local error

Found 4 expressions with local error:

0.6b	(* (cbrt (fma (/ (- z t) (- z a)) y x)) (cbrt (fma (/ (- z t) (- z a)) y x)))
0.8b	(fma (/ (- z t) (- z a)) y x)
0.8b	(fma (/ (- z t) (- z a)) y x)
0.8b	(fma (/ (- z t) (- z a)) y x)

rewrite29.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 (/ (- z t) (- z a)) y x)) (cbrt (fma (/ (- z t) (- z a)) y x)))
0.0ms	(fma (/ (- z t) (- z a)) y x)
1.0ms	(fma (/ (- z t) (- z a)) y x)
1.0ms	(fma (/ (- z t) (- z a)) y x)

series1.7s

Counts

4 → 12

Calls

4 calls:

1.4s	(* (cbrt (fma (/ (- z t) (- z a)) y x)) (cbrt (fma (/ (- z t) (- z a)) y x)))
100.0ms	(fma (/ (- z t) (- z a)) y x)
100.0ms	(fma (/ (- z t) (- z a)) y x)
96.0ms	(fma (/ (- z t) (- z a)) y x)

simplify2.5s

Counts

84 → 84

Iterations

Iter	Nodes
done	5013
4	2367
3	686
2	300
1	137
0	70

prune488.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.7b

regimes722.0ms

Accuracy

0% (0.5b remaining)

Error of 1.3b against oracle of 0.7b and baseline of 1.3b

bsearch0.0ms

simplify2.0ms

Iterations

Iter	Nodes
done	10
0	10

end0.0ms

sample926.0ms

Algorithm

intervals

Results

512.0ms

8773×

body

valid