Details

sample45.0ms

Algorithm

intervals

Results

18.0ms

271×

body

valid

simplify119.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	144
6	144
5	142
4	102
3	67
2	40
1	21
0	9

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 7.0b

localize17.0ms

Local error

Found 2 expressions with local error:

0.2b	(/ (/ 1.0 x) y)
7.9b	(/ (/ (/ 1.0 x) y) (fma z z 1.0))

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

468×	`times-frac`
228×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
56×	`associate-/l*`
22×	`div-inv`
16×	`add-cbrt-cube` `add-exp-log`
9×	`cbrt-undiv` `div-exp`
6×	`associate-/r*`
2×	`expm1-log1p-u` `pow1` `clear-num` `frac-2neg` `log1p-expm1-u` `add-log-exp` `associate-/l/`

Counts

2 → 266

Calls

2 calls:

16.0ms	(/ (/ 1.0 x) y)
19.0ms	(/ (/ (/ 1.0 x) y) (fma z z 1.0))

series137.0ms

Counts

2 → 6

Calls

2 calls:

43.0ms	(/ (/ 1.0 x) y)
94.0ms	(/ (/ (/ 1.0 x) y) (fma z z 1.0))

simplify970.0ms

Counts

272 → 272

Iterations

Iter	Nodes
done	5000
1	1189
0	471

prune2.0s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.7b

localize33.0ms

Local error

Found 4 expressions with local error:

1.0b	(/ (/ (/ (/ 1.0 x) y) (sqrt (fma z z 1.0))) (sqrt (fma z z 1.0)))
2.9b	(/ (/ (/ 1.0 x) y) (sqrt (fma z z 1.0)))
15.7b	(sqrt (fma z z 1.0))
15.7b	(sqrt (fma z z 1.0))

rewrite529.0ms

Algorithm

rewrite-expression-head

Rules

6870×	`times-frac`
2946×	`add-sqr-sqrt`
2944×	`*-un-lft-identity` `add-cube-cbrt`
1830×	`sqrt-prod`
305×	`associate-/l*`
205×	`div-inv`
27×	`add-cbrt-cube` `add-exp-log`
16×	`cbrt-undiv` `div-exp`
12×	`associate-/r*`
6×	`pow1`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
2×	`rem-sqrt-square` `clear-num` `frac-2neg` `sqrt-pow1` `pow1/2` `associate-/l/`

Counts

4 → 2217

Calls

4 calls:

171.0ms	(/ (/ (/ (/ 1.0 x) y) (sqrt (fma z z 1.0))) (sqrt (fma z z 1.0)))
28.0ms	(/ (/ (/ 1.0 x) y) (sqrt (fma z z 1.0)))
2.0ms	(sqrt (fma z z 1.0))
2.0ms	(sqrt (fma z z 1.0))

series419.0ms

Counts

4 → 12

Calls

4 calls:

94.0ms	(/ (/ (/ (/ 1.0 x) y) (sqrt (fma z z 1.0))) (sqrt (fma z z 1.0)))
167.0ms	(/ (/ (/ 1.0 x) y) (sqrt (fma z z 1.0)))
85.0ms	(sqrt (fma z z 1.0))
72.0ms	(sqrt (fma z z 1.0))

simplify2.6s

Counts

2229 → 2229

Iterations

Iter	Nodes
done	5000
0	2509

prune13.4s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 3.7b

localize71.0ms

Local error

Found 4 expressions with local error:

1.1b	(/ (/ (/ (sqrt 1.0) x) (cbrt y)) (sqrt (cbrt (fma z z 1.0))))
15.7b	(sqrt (fma z z 1.0))
16.2b	(cbrt (fma z z 1.0))
16.2b	(cbrt (fma z z 1.0))

rewrite253.0ms

Algorithm

rewrite-expression-head

Rules

3624×	`times-frac`
1649×	`add-sqr-sqrt`
1648×	`*-un-lft-identity` `add-cube-cbrt`
1365×	`sqrt-prod`
1077×	`cbrt-prod`
136×	`associate-/l*`
71×	`div-inv`
13×	`add-exp-log`
11×	`add-cbrt-cube`
9×	`associate-/r*`
6×	`cbrt-undiv` `div-exp`
5×	`pow1`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
2×	`pow1/3`
1×	`rem-sqrt-square` `clear-num` `frac-2neg` `sqrt-pow1` `pow1/2` `associate-/l/`

Counts

4 → 1429

Calls

4 calls:

95.0ms	(/ (/ (/ (sqrt 1.0) x) (cbrt y)) (sqrt (cbrt (fma z z 1.0))))
2.0ms	(sqrt (fma z z 1.0))
1.0ms	(cbrt (fma z z 1.0))
1.0ms	(cbrt (fma z z 1.0))

series830.0ms

Counts

4 → 12

Calls

4 calls:

262.0ms	(/ (/ (/ (sqrt 1.0) x) (cbrt y)) (sqrt (cbrt (fma z z 1.0))))
67.0ms	(sqrt (fma z z 1.0))
273.0ms	(cbrt (fma z z 1.0))
228.0ms	(cbrt (fma z z 1.0))

simplify3.9s

Counts

1441 → 1441

Iterations

Iter	Nodes
done	5000
1	4147
0	1694

prune8.4s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 3.7b

localize13.0ms

Local error

Found 2 expressions with local error:

0.5b	(/ (/ 1.0 1) (* (fma z z 1.0) (* y x)))
7.6b	(* (fma z z 1.0) (* y x))

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

37×	`add-exp-log`
31×	`times-frac`
28×	`add-cbrt-cube`
17×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
15×	`div-exp`
13×	`associate-/l*`
12×	`prod-exp`
9×	`cbrt-undiv` `cbrt-unprod`
7×	`pow1`
3×	`1-exp` `associate-l` `pow-prod-down` `div-inv`
2×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
1×	`clear-num` `associate-/r` `frac-2neg` `associate-r` `-commutative` `associate-/l/`

Counts

2 → 75

Calls

2 calls:

33.0ms	(/ (/ 1.0 1) (* (fma z z 1.0) (* y x)))
24.0ms	(* (fma z z 1.0) (* y x))

series186.0ms

Counts

2 → 6

Calls

2 calls:

101.0ms	(/ (/ 1.0 1) (* (fma z z 1.0) (* y x)))
85.0ms	(* (fma z z 1.0) (* y x))

simplify1.5s

Counts

81 → 81

Iterations

Iter	Nodes
done	5001
2	2785
1	473
0	166

prune380.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 1.3b

regimes443.0ms

Accuracy

50.4% (1.6b remaining)

Error of 2.3b against oracle of 0.7b and baseline of 3.9b

bsearch1.0ms

simplify5.0ms

Iterations

Iter	Nodes
done	31
1	31
0	23

end0.0ms

sample886.0ms

Algorithm

intervals

Results

471.0ms

8599×

body

valid