Details

sample45.0ms

Algorithm

intervals

Results

26.0ms	271×	body	80	valid
1.0ms	2×	body	1280	valid
1.0ms	2×	body	640	valid
1.0ms	1×	body	2560	valid
0.0ms	1×	body	320	valid

simplify3.8s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
22	4974
21	4712
20	4407
19	4147
18	3842
17	3580
16	3270
15	2998
14	2618
13	2048
12	1486
11	1045
10	683
9	442
8	352
7	271
6	212
5	156
4	101
3	58
2	37
1	22
0	13

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize25.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ 60.0 (- z t))
0.1b	(fma (/ 60.0 (- z t)) (- x y) (* a 120.0))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 51

Calls

2 calls:

12.0ms	(/ 60.0 (- z t))
0.0ms	(fma (/ 60.0 (- z t)) (- x y) (* a 120.0))

series264.0ms

Counts

2 → 6

Calls

2 calls:

66.0ms	(/ 60.0 (- z t))
197.0ms	(fma (/ 60.0 (- z t)) (- x y) (* a 120.0))

simplify1.2s

Counts

57 → 57

Iterations

Iter	Nodes
done	5000
3	1525
2	500
1	189
0	100

prune351.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* (/ 60.0 (- z t)) (- x y)) (* a 120.0))
0.0b	(/ 60.0 (- z t))
0.3b	(* (/ 60.0 (- z t)) (- x y))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 148

Calls

3 calls:

23.0ms	(+ (* (/ 60.0 (- z t)) (- x y)) (* a 120.0))
12.0ms	(/ 60.0 (- z t))
43.0ms	(* (/ 60.0 (- z t)) (- x y))

series737.0ms

Counts

3 → 9

Calls

3 calls:

224.0ms	(+ (* (/ 60.0 (- z t)) (- x y)) (* a 120.0))
72.0ms	(/ 60.0 (- z t))
441.0ms	(* (/ 60.0 (- z t)) (- x y))

simplify1.8s

Counts

157 → 157

Iterations

Iter	Nodes
done	5001
2	2056
1	664
0	238

prune801.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (* 60.0 (/ 1 (- z t))) (- x y)) (* a 120.0))
0.0b	(/ 1 (- z t))
0.3b	(* 60.0 (/ 1 (- z t)))
0.3b	(* (* 60.0 (/ 1 (- z t))) (- x y))

rewrite164.0ms

Algorithm

rewrite-expression-head

Rules

72×	`add-sqr-sqrt`
66×	`*-un-lft-identity`
49×	`add-cube-cbrt`
36×	`prod-diff`
32×	`times-frac` `add-exp-log`
26×	`associate-r`
22×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in`
20×	`add-cbrt-cube`
13×	`prod-exp`
12×	`pow1`
8×	`distribute-lft-out--` `difference-of-squares`
7×	`cbrt-unprod`
6×	`div-exp` `associate-*r/` `add-log-exp`
5×	`associate-/r*` `flip3--` `flip--`
4×	`expm1-log1p-u` `frac-times` `sub-neg` `associate-l` `pow-prod-down` `associate-/r/` `un-div-inv` `insert-posit16` `log1p-expm1-u`
3×	`cbrt-undiv` `rec-exp` `1-exp` `associate-/l*` `unswap-sqr`
2×	`associate-l/` `-commutative` `div-inv`
1×	`+-commutative` `clear-num` `sum-log` `fma-def` `frac-2neg` `flip3-+` `flip-+` `pow-flip` `inv-pow`

Counts

4 → 185

Calls

4 calls:

77.0ms	(+ (* (* 60.0 (/ 1 (- z t))) (- x y)) (* a 120.0))
17.0ms	(/ 1 (- z t))
19.0ms	(* 60.0 (/ 1 (- z t)))
46.0ms	(* (* 60.0 (/ 1 (- z t))) (- x y))

series829.0ms

Counts

4 → 12

Calls

4 calls:

225.0ms	(+ (* (* 60.0 (/ 1 (- z t))) (- x y)) (* a 120.0))
72.0ms	(/ 1 (- z t))
81.0ms	(* 60.0 (/ 1 (- z t)))
450.0ms	(* (* 60.0 (/ 1 (- z t))) (- x y))

simplify2.0s

Counts

197 → 197

Iterations

Iter	Nodes
done	5001
2	2307
1	744
0	265

prune1.0s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* 60.0 (/ (- x y) (- z t))) (* a 120.0))
0.0b	(/ (- x y) (- z t))
0.3b	(* 60.0 (/ (- x y) (- z t)))

rewrite97.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-sqr-sqrt`
71×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-r`
27×	`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` `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` `fma-def` `frac-2neg` `flip3-+` `div-sub` `pow-prod-down` `associate-r/` `-commutative` `flip-+`

Counts

3 → 123

Calls

3 calls:

29.0ms	(+ (* 60.0 (/ (- x y) (- z t))) (* a 120.0))
37.0ms	(/ (- x y) (- z t))
27.0ms	(* 60.0 (/ (- x y) (- z t)))

series329.0ms

Counts

3 → 9

Calls

3 calls:

188.0ms	(+ (* 60.0 (/ (- x y) (- z t))) (* a 120.0))
67.0ms	(/ (- x y) (- z t))
75.0ms	(* 60.0 (/ (- x y) (- z t)))

simplify1.6s

Counts

132 → 132

Iterations

Iter	Nodes
done	5001
2	1543
1	486
0	179

prune611.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

regimes836.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Iter	Nodes
done	16
1	16
0	13

end0.0ms

sample1.9s

Algorithm

intervals

Results

1.5s	8535×	body	80	valid
35.0ms	17×	body	320	valid
19.0ms	39×	body	1280	valid
18.0ms	27×	body	2560	valid
15.0ms	36×	body	640	valid
1.0ms	4×	body	160	valid