Details

sample42.0ms

Algorithm

intervals

Results

16.0ms

340×

body

valid

simplify32.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	79
4	79
3	67
2	37
1	16
0	7

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 8.3b

localize9.0ms

Local error

Found 1 expressions with local error:

10.7b

(/ (* a1 a2) (* b1 b2))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-cbrt-cube` `add-exp-log`
4×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
1×	`add-sqr-sqrt` `pow1` `clear-num` `associate-/r` `frac-2neg` `-un-lft-identity` `times-frac` `add-cube-cbrt` `div-inv` `associate-/l*` `add-log-exp`

Counts

1 → 21

Calls

1 calls:

10.0ms

(/ (* a1 a2) (* b1 b2))

series45.0ms

Counts

1 → 3

Calls

1 calls:

45.0ms

(/ (* a1 a2) (* b1 b2))

simplify1.4s

Counts

24 → 24

Iterations

Iter	Nodes
done	5000
2	950
1	162
0	55

prune107.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 2 expressions with local error:

6.0b	(/ (/ a1 (/ b1 a2)) b2)
6.9b	(/ a1 (/ b1 a2))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

471×	`times-frac`
229×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
47×	`associate-/l*`
22×	`div-inv`
16×	`associate-/r*` `add-cbrt-cube` `add-exp-log`
9×	`cbrt-undiv` `div-exp`
5×	`associate-/r/`
2×	`pow1` `clear-num` `frac-2neg` `add-log-exp`
1×	`associate-/l/`

Counts

2 → 266

Calls

2 calls:

21.0ms	(/ (/ a1 (/ b1 a2)) b2)
8.0ms	(/ a1 (/ b1 a2))

series68.0ms

Counts

2 → 6

Calls

2 calls:

32.0ms	(/ (/ a1 (/ b1 a2)) b2)
36.0ms	(/ a1 (/ b1 a2))

simplify652.0ms

Counts

272 → 272

Iterations

Iter	Nodes
done	5000
1	1198
0	465

prune1.7s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt b1)
0.6b	(cbrt b1)
2.5b	(* (/ (/ 1 (cbrt b1)) (cbrt b1)) (/ (/ a1 b2) (/ (cbrt b1) a2)))
6.2b	(/ (/ a1 b2) (/ (cbrt b1) a2))

rewrite872.0ms

Algorithm

rewrite-expression-head

Rules

1985×	`times-frac`
1211×	`add-sqr-sqrt`
824×	`*-un-lft-identity`
796×	`add-cube-cbrt`
456×	`cbrt-prod`
291×	`associate-r`
136×	`associate-l`
131×	`add-exp-log`
88×	`div-inv`
84×	`unswap-sqr`
78×	`div-exp`
62×	`add-cbrt-cube`
47×	`cbrt-undiv`
25×	`prod-exp`
22×	`associate-/r*`
15×	`cbrt-unprod`
13×	`associate-/l*`
6×	`pow1`
5×	`rec-exp` `1-exp`
4×	`add-log-exp`
2×	`pow1/3` `associate-/r/`
1×	`frac-times` `clear-num` `frac-2neg` `pow-prod-down` `associate-l/` `associate-r/` `*-commutative` `associate-/l/`

Counts

4 → 926

Calls

4 calls:

1.0ms	(cbrt b1)
1.0ms	(cbrt b1)
735.0ms	(* (/ (/ 1 (cbrt b1)) (cbrt b1)) (/ (/ a1 b2) (/ (cbrt b1) a2)))
19.0ms	(/ (/ a1 b2) (/ (cbrt b1) a2))

series920.0ms

Counts

4 → 12

Calls

4 calls:

244.0ms	(cbrt b1)
283.0ms	(cbrt b1)
100.0ms	(* (/ (/ 1 (cbrt b1)) (cbrt b1)) (/ (/ a1 b2) (/ (cbrt b1) a2)))
293.0ms	(/ (/ a1 b2) (/ (cbrt b1) a2))

simplify796.0ms

Counts

938 → 938

Iterations

Iter	Nodes
done	5000
0	1202

prune7.2s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize51.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt a2)
1.1b	(* (* (/ (/ 1 (* (cbrt b2) (cbrt b2))) (cbrt (* (cbrt b1) (cbrt b1)))) (* (cbrt a2) (cbrt a2))) (/ (/ a1 (cbrt b2)) (/ (cbrt (cbrt b1)) (cbrt a2))))
1.6b	(/ (/ a1 (cbrt b2)) (/ (cbrt (cbrt b1)) (cbrt a2)))
2.5b	(* (/ (/ 1 (cbrt b1)) (cbrt b1)) (* (* (/ (/ 1 (* (cbrt b2) (cbrt b2))) (cbrt (* (cbrt b1) (cbrt b1)))) (* (cbrt a2) (cbrt a2))) (/ (/ a1 (cbrt b2)) (/ (cbrt (cbrt b1)) (cbrt a2)))))

rewrite2.5s

Algorithm

rewrite-expression-head

Rules

7328×	`times-frac`
4821×	`cbrt-prod`
4157×	`add-exp-log`
3315×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
2000×	`div-exp`
1840×	`prod-exp`
1282×	`associate-r`
703×	`add-cbrt-cube`
634×	`cbrt-undiv`
598×	`cbrt-unprod`
206×	`rec-exp` `1-exp`
171×	`div-inv`
137×	`associate-l`
58×	`associate-/r*`
27×	`pow1`
22×	`associate-/l*`
16×	`pow-prod-down`
10×	`associate-*l/`
6×	`frac-times` `associate-*r/`
4×	`add-log-exp`
2×	`associate-/r/` `*-commutative`
1×	`clear-num` `frac-2neg` `pow1/3` `associate-/l/`

Counts

4 → 3537

Calls

4 calls:

1.0ms	(cbrt a2)
612.0ms	(* (* (/ (/ 1 (* (cbrt b2) (cbrt b2))) (cbrt (* (cbrt b1) (cbrt b1)))) (* (cbrt a2) (cbrt a2))) (/ (/ a1 (cbrt b2)) (/ (cbrt (cbrt b1)) (cbrt a2))))
48.0ms	(/ (/ a1 (cbrt b2)) (/ (cbrt (cbrt b1)) (cbrt a2)))
1.2s	(* (/ (/ 1 (cbrt b1)) (cbrt b1)) (* (* (/ (/ 1 (* (cbrt b2) (cbrt b2))) (cbrt (* (cbrt b1) (cbrt b1)))) (* (cbrt a2) (cbrt a2))) (/ (/ a1 (cbrt b2)) (/ (cbrt (cbrt b1)) (cbrt a2)))))

series936.0ms

Counts

4 → 12

Calls

4 calls:

330.0ms	(cbrt a2)
277.0ms	(* (* (/ (/ 1 (* (cbrt b2) (cbrt b2))) (cbrt (* (cbrt b1) (cbrt b1)))) (* (cbrt a2) (cbrt a2))) (/ (/ a1 (cbrt b2)) (/ (cbrt (cbrt b1)) (cbrt a2))))
236.0ms	(/ (/ a1 (cbrt b2)) (/ (cbrt (cbrt b1)) (cbrt a2)))
93.0ms	(* (/ (/ 1 (cbrt b1)) (cbrt b1)) (* (* (/ (/ 1 (* (cbrt b2) (cbrt b2))) (cbrt (* (cbrt b1) (cbrt b1)))) (* (cbrt a2) (cbrt a2))) (/ (/ a1 (cbrt b2)) (/ (cbrt (cbrt b1)) (cbrt a2)))))

simplify5.8s

Counts

3549 → 3549

Iterations

Iter	Nodes
done	5000
0	4123

prune23.8s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0b

regimes461.0ms

Accuracy

12.3% (5.4b remaining)

Error of 5.4b against oracle of 0.0b and baseline of 6.2b

bsearch1.0ms

simplify4.0ms

Iterations

Iter	Nodes
done	54
1	54
0	45

end0.0ms

sample736.0ms

Algorithm

intervals

Results

327.0ms

10080×

body

valid