Details

sample62.0ms

Algorithm

intervals

Results

31.0ms

699×

body

valid

simplify1.3s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
6	1941
5	500
4	222
3	102
2	41
1	18
0	7

prune25.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (/ y (* z x)) (cosh x))
5.1b	(/ y (* z x))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-cbrt-cube` `add-exp-log`
9×	`add-sqr-sqrt`
7×	`-un-lft-identity` `associate-l*` `add-cube-cbrt`
6×	`times-frac`
5×	`prod-exp` `cbrt-unprod`
4×	`pow1` `cbrt-undiv` `div-exp`
3×	`associate-r` `associate-/l*`
2×	`cosh-def` `div-inv` `add-log-exp`
1×	`frac-times` `clear-num` `associate-/r` `frac-2neg` `pow-prod-down` `associate-l/` `associate-r/` `-commutative` `unswap-sqr`

Counts

2 → 50

Calls

2 calls:

40.0ms	(* (/ y (* z x)) (cosh x))
12.0ms	(/ y (* z x))

series270.0ms

Counts

2 → 6

Calls

2 calls:

237.0ms	(* (/ y (* z x)) (cosh x))
33.0ms	(/ y (* z x))

simplify1.1s

Counts

56 → 56

Iterations

Iter	Nodes
done	5000
2	1739
1	284
0	106

prune314.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (+ (exp x) (exp (- x))) y)
5.1b	(/ (* (+ (exp x) (exp (- x))) y) (* x z))

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-cbrt-cube` `add-exp-log`
6×	`add-sqr-sqrt` `*-un-lft-identity`
5×	`prod-exp` `cbrt-unprod`
4×	`pow1` `cbrt-undiv` `div-exp` `associate-l` `associate-*l/` `add-cube-cbrt`
3×	`associate-r`
2×	`flip3-+` `flip-+` `add-log-exp` `associate-/l/`
1×	`clear-num` `associate-/r` `frac-2neg` `times-frac` `pow-prod-down` `-commutative` `div-inv` `distribute-lft-out` `associate-/l*` `unswap-sqr`

Counts

2 → 44

Calls

2 calls:

45.0ms	(* (+ (exp x) (exp (- x))) y)
20.0ms	(/ (* (+ (exp x) (exp (- x))) y) (* x z))

series213.0ms

Counts

2 → 6

Calls

2 calls:

80.0ms	(* (+ (exp x) (exp (- x))) y)
132.0ms	(/ (* (+ (exp x) (exp (- x))) y) (* x z))

simplify1.1s

Counts

50 → 50

Iterations

Iter	Nodes
done	5001
2	2118
1	317
0	104

prune324.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
2.5b	(/ (* (cbrt y) (cbrt y)) (/ z (/ (cbrt y) x)))
2.7b	(/ z (/ (cbrt y) x))

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

449×	`times-frac`
205×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
96×	`cbrt-prod`
93×	`associate-/r*`
30×	`add-exp-log`
21×	`add-cbrt-cube`
15×	`cbrt-undiv` `div-exp`
14×	`div-inv`
4×	`pow1` `associate-/r/` `associate-/l*` `add-log-exp`
3×	`prod-exp` `cbrt-unprod`
2×	`clear-num` `frac-2neg` `pow1/3`

Counts

4 → 294

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
38.0ms	(/ (* (cbrt y) (cbrt y)) (/ z (/ (cbrt y) x)))
17.0ms	(/ z (/ (cbrt y) x))

series716.0ms

Counts

4 → 12

Calls

4 calls:

239.0ms	(cbrt y)
262.0ms	(cbrt y)
62.0ms	(/ (* (cbrt y) (cbrt y)) (/ z (/ (cbrt y) x)))
152.0ms	(/ z (/ (cbrt y) x))

simplify1.3s

Counts

306 → 306

Iterations

Iter	Nodes
done	5001
1	1398
0	443

prune2.4s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (cosh x) z)
0.2b	(/ (/ (cosh x) z) x)
5.7b	(* y (/ (/ (cosh x) z) x))

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

153×	`times-frac`
98×	`add-sqr-sqrt`
89×	`*-un-lft-identity` `add-cube-cbrt`
43×	`associate-r`
19×	`add-cbrt-cube` `add-exp-log`
16×	`associate-/l*`
10×	`div-inv`
7×	`cbrt-undiv` `div-exp`
6×	`associate-/r*`
5×	`pow1`
3×	`associate-l` `prod-exp` `cbrt-unprod` `add-log-exp` `unswap-sqr`
2×	`clear-num` `frac-2neg` `associate-/l/`
1×	`cosh-def` `pow-prod-down` `associate-r/` `-commutative`

Counts

3 → 163

Calls

3 calls:

10.0ms	(/ (cosh x) z)
10.0ms	(/ (/ (cosh x) z) x)
41.0ms	(* y (/ (/ (cosh x) z) x))

series435.0ms

Counts

3 → 9

Calls

3 calls:

98.0ms	(/ (cosh x) z)
139.0ms	(/ (/ (cosh x) z) x)
197.0ms	(* y (/ (/ (cosh x) z) x))

simplify1.5s

Counts

172 → 172

Iterations

Iter	Nodes
done	5000
2	3541
1	722
0	269

prune926.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

regimes353.0ms

Accuracy

90.5% (0.7b remaining)

Error of 0.7b against oracle of 0.0b and baseline of 7.0b

bsearch95.0ms

Steps

Iters	Range		Point
5	1.2790266617330037e-96	4.5988542204754404e-96	4.489894380771519e-96
7	-2.6787974459236572e-15	-5.10986653714767e-17	-2.560829197112517e-15

simplify8.0ms

Iterations

Iter	Nodes
done	35
2	35
1	34
0	24

end0.0ms

sample2.3s

Algorithm

intervals

Results

1.4s

22046×

body

valid