Details

sample31.0ms

Algorithm

intervals

Results

14.0ms

276×

body

valid

simplify4.1s

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

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.0b

localize28.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (* y (/ (- z t) (- z a))))
0.0b	(/ (- z t) (- z a))
1.9b	(* y (/ (- z t) (- z a)))

rewrite102.0ms

Algorithm

rewrite-expression-head

Rules

77×	`add-sqr-sqrt`
72×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-r`
28×	`add-cube-cbrt`
22×	`distribute-lft-out--` `difference-of-squares`
10×	`add-cbrt-cube` `add-exp-log`
5×	`pow1` `associate-/r` `associate-/l` `add-log-exp`
4×	`associate-/r/`
3×	`expm1-log1p-u` `fma-def` `flip3--` `associate-l` `insert-posit16` `log1p-expm1-u` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr` `associate-/l/`
1×	`+-commutative` `clear-num` `sum-log` `frac-2neg` `flip3-+` `div-sub` `pow-prod-down` `associate-r/` `-commutative` `flip-+`

Counts

3 → 125

Calls

3 calls:

9.0ms	(+ x (* y (/ (- z t) (- z a))))
37.0ms	(/ (- z t) (- z a))
52.0ms	(* y (/ (- z t) (- z a)))

series267.0ms

Counts

3 → 9

Calls

3 calls:

119.0ms	(+ x (* y (/ (- z t) (- z a))))
58.0ms	(/ (- z t) (- z a))
91.0ms	(* y (/ (- z t) (- z a)))

simplify1.4s

Counts

134 → 134

Iterations

Iter	Nodes
done	5001
2	1431
1	457
0	171

prune598.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 2 expressions with local error:

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

rewrite20.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/` `insert-posit16` `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 → 66

Calls

2 calls:

18.0ms	(/ (- z t) (- z a))
1.0ms	(fma (/ (- z t) (- z a)) y x)

series171.0ms

Counts

2 → 6

Calls

2 calls:

64.0ms	(/ (- z t) (- z a))
107.0ms	(fma (/ (- z t) (- z a)) y x)

simplify1.8s

Counts

72 → 72

Iterations

Iter	Nodes
done	5001
3	2237
2	655
1	268
0	115

prune475.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize49.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- z a))
0.6b	(cbrt (- z a))
0.6b	(cbrt (- z a))
7.2b	(* (/ (/ y (cbrt (- z a))) (cbrt (- z a))) (/ (- z t) (cbrt (- z a))))

rewrite149.0ms

Algorithm

rewrite-expression-head

Rules

516×	`times-frac`
433×	`add-sqr-sqrt`
347×	`*-un-lft-identity`
332×	`cbrt-prod`
246×	`associate-l`
207×	`add-cube-cbrt`
70×	`distribute-lft-out--` `difference-of-squares`
46×	`associate-r`
26×	`cbrt-div`
25×	`add-exp-log`
21×	`unswap-sqr`
20×	`associate-/r/`
16×	`add-cbrt-cube`
13×	`flip3--` `flip--`
10×	`div-inv`
9×	`cbrt-undiv` `div-exp`
6×	`pow1` `prod-exp` `cbrt-unprod`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3`
1×	`frac-times` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative`

Counts

4 → 394

Calls

4 calls:

6.0ms	(cbrt (- z a))
6.0ms	(cbrt (- z a))
7.0ms	(cbrt (- z a))
102.0ms	(* (/ (/ y (cbrt (- z a))) (cbrt (- z a))) (/ (- z t) (cbrt (- z a))))

series1.3s

Counts

4 → 12

Calls

4 calls:

273.0ms	(cbrt (- z a))
227.0ms	(cbrt (- z a))
210.0ms	(cbrt (- z a))
580.0ms	(* (/ (/ y (cbrt (- z a))) (cbrt (- z a))) (/ (- z t) (cbrt (- z a))))

simplify3.0s

Counts

406 → 406

Iterations

Iter	Nodes
done	5001
2	4707
1	1425
0	445

prune2.9s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- z a))
0.6b	(cbrt (- z a))
4.3b	(/ (* (/ (/ y (cbrt (- z a))) (cbrt (- z a))) (- z t)) (cbrt (- z a)))
8.0b	(* (/ (/ y (cbrt (- z a))) (cbrt (- z a))) (- z t))

rewrite173.0ms

Algorithm

rewrite-expression-head

Rules

450×	`times-frac`
346×	`add-sqr-sqrt`
322×	`*-un-lft-identity`
295×	`cbrt-prod`
246×	`associate-l`
204×	`add-cube-cbrt`
59×	`distribute-lft-out--` `difference-of-squares`
27×	`add-exp-log`
24×	`cbrt-div`
20×	`associate-/r/`
18×	`prod-diff`
17×	`add-cbrt-cube`
16×	`flip3--` `flip--`
11×	`distribute-rgt-in` `distribute-lft-in`
10×	`cbrt-undiv` `div-exp` `div-inv`
8×	`associate-/r*`
7×	`unswap-sqr`
6×	`pow1` `prod-exp` `cbrt-unprod`
5×	`associate-r` `associate-/l/`
4×	`expm1-log1p-u` `frac-times` `associate-*r/` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`sub-neg` `pow1/3` `associate-*l/`
1×	`clear-num` `frac-2neg` `pow-prod-down` `-commutative` `associate-/l`

Counts

4 → 384

Calls

4 calls:

4.0ms	(cbrt (- z a))
11.0ms	(cbrt (- z a))
60.0ms	(/ (* (/ (/ y (cbrt (- z a))) (cbrt (- z a))) (- z t)) (cbrt (- z a)))
87.0ms	(* (/ (/ y (cbrt (- z a))) (cbrt (- z a))) (- z t))

series1.0s

Counts

4 → 12

Calls

4 calls:

215.0ms	(cbrt (- z a))
191.0ms	(cbrt (- z a))
171.0ms	(/ (* (/ (/ y (cbrt (- z a))) (cbrt (- z a))) (- z t)) (cbrt (- z a)))
446.0ms	(* (/ (/ y (cbrt (- z a))) (cbrt (- z a))) (- z t))

simplify2.5s

Counts

396 → 396

Iterations

Iter	Nodes
done	5000
2	3699
1	1233
0	475

prune2.1s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.0b

regimes392.0ms

Accuracy

0% (1.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Iter	Nodes
done	9
0	9

end0.0ms

sample869.0ms

Algorithm

intervals

Results

575.0ms

8710×

body

valid