Details

sample58.0ms

Algorithm

intervals

Results

23.0ms	280×	body	80	valid
1.0ms	3×	body	1280	valid

simplify11.3s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
22	4727
21	4476
20	4199
19	3946
18	3669
17	3418
16	3130
15	2823
14	2457
13	1857
12	1289
11	858
10	599
9	435
8	357
7	277
6	216
5	161
4	101
3	58
2	37
1	22
0	13

prune39.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize39.0ms

Local error

Found 2 expressions with local error:

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

rewrite49.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-exp-log` `add-cbrt-cube`
2×	`pow1` `expm1-log1p-u` `flip3--` `associate-/r/` `flip--` `log1p-expm1-u` `associate-/l/` `add-log-exp`
1×	`cbrt-undiv` `frac-2neg` `div-sub` `div-exp` `clear-num` `fma-udef` `div-inv`

Counts

2 → 64

Calls

2 calls:

43.0ms	(/ (- x y) (- z t))
1.0ms	(fma (/ (- x y) (- z t)) 60.0 (* 120.0 a))

series321.0ms

Counts

2 → 6

Calls

2 calls:

101.0ms	(/ (- x y) (- z t))
219.0ms	(fma (/ (- x y) (- z t)) 60.0 (* 120.0 a))

simplify3.1s

Counts

70 → 70

Iterations

Iter	Nodes
done	5043
3	2161
2	680
1	278
0	120

prune871.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 2 expressions with local error:

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

rewrite221.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-exp-log` `add-cbrt-cube`
2×	`pow1` `expm1-log1p-u` `flip3--` `associate-/r/` `flip--` `log1p-expm1-u` `associate-/l/` `add-log-exp`
1×	`cbrt-undiv` `frac-2neg` `div-sub` `div-exp` `clear-num` `fma-udef` `div-inv`

Counts

2 → 64

Calls

2 calls:

207.0ms	(/ (- x y) (- z t))
1.0ms	(fma (* 1 (/ (- x y) (- z t))) 60.0 (* 120.0 a))

series366.0ms

Counts

2 → 6

Calls

2 calls:

121.0ms	(/ (- x y) (- z t))
237.0ms	(fma (* 1 (/ (- x y) (- z t))) 60.0 (* 120.0 a))

simplify6.9s

Counts

70 → 70

Iterations

Iter	Nodes
done	5006
3	2140
2	710
1	281
0	121

prune1.8s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 3 expressions with local error:

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

rewrite684.0ms

Algorithm

rewrite-expression-head

Rules

46×	`add-sqr-sqrt`
40×	`*-un-lft-identity`
32×	`times-frac`
23×	`add-cube-cbrt`
21×	`associate-r`
16×	`add-exp-log`
10×	`add-cbrt-cube`
8×	`distribute-lft-out--` `difference-of-squares`
6×	`pow1`
5×	`associate-l` `associate-/r*`
4×	`flip3--` `div-exp` `prod-exp` `associate-/r/` `flip--`
3×	`expm1-log1p-u` `log1p-expm1-u` `associate-/l*` `add-log-exp` `unswap-sqr`
2×	`cbrt-undiv` `frac-times` `rec-exp` `1-exp` `associate-*l/` `cbrt-unprod` `div-inv`
1×	`pow-flip` `frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `un-div-inv` `-commutative` `fma-udef` `inv-pow`

Counts

3 → 105

Calls

3 calls:

64.0ms	(/ 1 (- z t))
1.0ms	(fma (* (- x y) (/ 1 (- z t))) 60.0 (* 120.0 a))
579.0ms	(* (- x y) (/ 1 (- z t)))

series1.2s

Counts

3 → 9

Calls

3 calls:

66.0ms	(/ 1 (- z t))
464.0ms	(fma (* (- x y) (/ 1 (- z t))) 60.0 (* 120.0 a))
690.0ms	(* (- x y) (/ 1 (- z t)))

simplify8.9s

Counts

114 → 114

Iterations

Iter	Nodes
done	5001
3	3370
2	1134
1	374
0	157

prune1.8s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- z t) (- x y))
0.2b	(fma (/ 1 (/ (- z t) (- x y))) 60.0 (* 120.0 a))
0.5b	(/ 1 (/ (- z t) (- x y)))

rewrite156.0ms

Algorithm

rewrite-expression-head

Rules

218×	`times-frac`
195×	`add-sqr-sqrt` `*-un-lft-identity`
91×	`add-cube-cbrt`
52×	`distribute-lft-out--` `difference-of-squares`
36×	`associate-/r*`
16×	`add-exp-log`
11×	`associate-/r/`
10×	`add-cbrt-cube`
8×	`div-exp` `associate-/l*`
6×	`flip3--` `flip--` `div-inv`
4×	`pow1` `cbrt-undiv`
3×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `associate-/l/`
1×	`pow-flip` `div-sub` `fma-udef` `inv-pow`

Counts

3 → 214

Calls

3 calls:

55.0ms	(/ (- z t) (- x y))
1.0ms	(fma (/ 1 (/ (- z t) (- x y))) 60.0 (* 120.0 a))
75.0ms	(/ 1 (/ (- z t) (- x y)))

series2.4s

Counts

3 → 9

Calls

3 calls:

104.0ms	(/ (- z t) (- x y))
1.8s	(fma (/ 1 (/ (- z t) (- x y))) 60.0 (* 120.0 a))
446.0ms	(/ 1 (/ (- z t) (- x y)))

simplify4.5s

Counts

223 → 223

Iterations

Iter	Nodes
done	5004
2	2225
1	709
0	276

prune2.9s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes1.5s

Accuracy

0% (0.1b remaining)

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

bsearch5.0ms

simplify3.0ms

Iterations

Iter	Nodes
done	16
1	16
0	13

end0.0ms

sample1.6s

Algorithm

intervals

Results

1.0s	8538×	body	80	valid
16.0ms	43×	body	1280	valid
10.0ms	23×	body	2560	valid
9.0ms	34×	body	640	valid
3.0ms	14×	body	320	valid
1.0ms	10×	body	160	valid