Details

sample79.0ms

Algorithm

intervals

Results

38.0ms

259×

body

valid

simplify3.3s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
5	3986
4	962
3	302
2	102
1	48
0	26

prune25.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 33.3b

localize65.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
0.1b	(* (+ (* x y) z) y)
0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
32.5b	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite283.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
18×	`*-un-lft-identity` `add-cube-cbrt`
12×	`add-cbrt-cube` `add-exp-log`
10×	`pow1`
9×	`times-frac` `associate-r` `associate-l`
6×	`associate-*l/`
5×	`flip3-+` `flip-+`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`associate-/r` `pow-prod-down` `prod-exp` `-commutative` `cbrt-unprod` `associate-/l*` `unswap-sqr`
2×	`associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp` `div-inv`

Counts

4 → 99

Calls

4 calls:

73.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
28.0ms	(* (+ (* x y) z) y)
46.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
132.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series654.0ms

Counts

4 → 12

Calls

4 calls:

85.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
50.0ms	(* (+ (* x y) z) y)
82.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
437.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify1.8s

Counts

111 → 111

Iterations

Iter	Nodes
done	5001
2	2459
1	532
0	203

prune1.3s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 32.2b

localize68.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* x y) z) y)
0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.4b	(/ 1 (fma y (fma y (fma (+ y a) y b) c) i))
32.6b	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (fma y (fma y (fma (+ y a) y b) c) i)))

rewrite215.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-sqr-sqrt`
25×	`*-un-lft-identity`
24×	`add-cube-cbrt`
21×	`add-exp-log`
20×	`times-frac`
19×	`associate-r`
15×	`add-cbrt-cube`
11×	`pow1`
9×	`associate-l`
6×	`associate-*l/` `prod-exp`
5×	`unswap-sqr`
4×	`expm1-log1p-u` `flip3-+` `div-exp` `cbrt-unprod` `flip-+` `log1p-expm1-u` `add-log-exp`
3×	`associate-/r` `pow-prod-down` `-commutative` `associate-/l*`
2×	`frac-times` `cbrt-undiv` `rec-exp` `1-exp` `div-inv`
1×	`clear-num` `frac-2neg` `associate-*r/` `un-div-inv` `pow-flip` `inv-pow`

Counts

4 → 119

Calls

4 calls:

29.0ms	(* (+ (* x y) z) y)
58.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
5.0ms	(/ 1 (fma y (fma y (fma (+ y a) y b) c) i))
117.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (fma y (fma y (fma (+ y a) y b) c) i)))

series671.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(* (+ (* x y) z) y)
57.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
85.0ms	(/ 1 (fma y (fma y (fma (+ y a) y b) c) i))
482.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (fma y (fma y (fma (+ y a) y b) c) i)))

simplify1.8s

Counts

131 → 131

Iterations

Iter	Nodes
done	5003
2	2893
1	511
0	201

prune1.3s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 32.2b

localize99.0ms

Local error

Found 4 expressions with local error:

24.2b	(cbrt (* (fma (fma y x z) y 27464.7644705) y))
24.2b	(cbrt (* (fma (fma y x z) y 27464.7644705) y))
24.2b	(cbrt (* (fma (fma y x z) y 27464.7644705) y))
32.5b	(/ (+ (* (+ (* (* (cbrt (* (fma (fma y x z) y 27464.7644705) y)) (cbrt (* (fma (fma y x z) y 27464.7644705) y))) (cbrt (* (fma (fma y x z) y 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite151.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
9×	`times-frac`
6×	`add-cbrt-cube` `add-exp-log`
4×	`expm1-log1p-u` `pow1` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-prod` `associate-/r` `pow1/3` `associate-/l`
2×	`flip3-+` `associate-/r/` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp` `div-inv`

Counts

4 → 66

Calls

4 calls:

5.0ms	(cbrt (* (fma (fma y x z) y 27464.7644705) y))
5.0ms	(cbrt (* (fma (fma y x z) y 27464.7644705) y))
5.0ms	(cbrt (* (fma (fma y x z) y 27464.7644705) y))
134.0ms	(/ (+ (* (+ (* (* (cbrt (* (fma (fma y x z) y 27464.7644705) y)) (cbrt (* (fma (fma y x z) y 27464.7644705) y))) (cbrt (* (fma (fma y x z) y 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series1.3s

Counts

4 → 12

Calls

4 calls:

330.0ms	(cbrt (* (fma (fma y x z) y 27464.7644705) y))
324.0ms	(cbrt (* (fma (fma y x z) y 27464.7644705) y))
276.0ms	(cbrt (* (fma (fma y x z) y 27464.7644705) y))
346.0ms	(/ (+ (* (+ (* (* (cbrt (* (fma (fma y x z) y 27464.7644705) y)) (cbrt (* (fma (fma y x z) y 27464.7644705) y))) (cbrt (* (fma (fma y x z) y 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify594.0ms

Counts

78 → 78

Iterations

Iter	Nodes
done	5000
2	1141
1	339
0	141

prune1.0s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 32.2b

localize43.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma y (+ 230661.510616 (* y (fma (fma x y z) y 27464.7644705))) t)
0.1b	(* y (fma (fma x y z) y 27464.7644705))
0.3b	(/ 1 (/ (fma (fma y (fma (+ a y) y b) c) y i) (fma y (+ 230661.510616 (* y (fma (fma x y z) y 27464.7644705))) t)))
32.7b	(/ (fma (fma y (fma (+ a y) y b) c) y i) (fma y (+ 230661.510616 (* y (fma (fma x y z) y 27464.7644705))) t))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

84×	`times-frac`
58×	`add-sqr-sqrt`
56×	`*-un-lft-identity` `add-cube-cbrt`
19×	`add-exp-log`
16×	`associate-/r*`
13×	`add-cbrt-cube`
8×	`div-exp`
7×	`pow1`
6×	`div-inv` `associate-/l*`
4×	`expm1-log1p-u` `cbrt-undiv` `log1p-expm1-u` `add-log-exp`
3×	`associate-r` `associate-l` `fma-udef`
2×	`rec-exp` `clear-num` `frac-2neg` `1-exp`
1×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `associate-/r/` `*-commutative` `cbrt-unprod` `pow-flip` `inv-pow` `unswap-sqr`

Counts

4 → 139

Calls

4 calls:

0.0ms	(fma y (+ 230661.510616 (* y (fma (fma x y z) y 27464.7644705))) t)
13.0ms	(* y (fma (fma x y z) y 27464.7644705))
9.0ms	(/ 1 (/ (fma (fma y (fma (+ a y) y b) c) y i) (fma y (+ 230661.510616 (* y (fma (fma x y z) y 27464.7644705))) t)))
8.0ms	(/ (fma (fma y (fma (+ a y) y b) c) y i) (fma y (+ 230661.510616 (* y (fma (fma x y z) y 27464.7644705))) t))

series1.5s

Counts

4 → 12

Calls

4 calls:

121.0ms	(fma y (+ 230661.510616 (* y (fma (fma x y z) y 27464.7644705))) t)
67.0ms	(* y (fma (fma x y z) y 27464.7644705))
550.0ms	(/ 1 (/ (fma (fma y (fma (+ a y) y b) c) y i) (fma y (+ 230661.510616 (* y (fma (fma x y z) y 27464.7644705))) t)))
747.0ms	(/ (fma (fma y (fma (+ a y) y b) c) y i) (fma y (+ 230661.510616 (* y (fma (fma x y z) y 27464.7644705))) t))

simplify1.3s

Counts

151 → 151

Iterations

Iter	Nodes
done	5002
2	2276
1	504
0	220

prune1.5s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 32.2b

regimes2.0s

Accuracy

0% (1.1b remaining)

Error of 29.1b against oracle of 28.0b and baseline of 29.1b

bsearch0.0ms

simplify3.0ms

Iterations

Iter	Nodes
done	37
1	37
0	25

end0.0ms

sample2.8s

Algorithm

intervals

Results

1.9s

8248×

body

valid