Details

sample60.0ms

Algorithm

intervals

Results

25.0ms

274×

body

valid

simplify9.0s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
22	4914
21	4640
20	4375
19	4101
18	3832
17	3558
16	3281
15	2994
14	2676
13	2206
12	1447
11	770
10	502
9	397
8	320
7	231
6	150
5	116
4	85
3	55
2	33
1	17
0	10

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.6b

localize40.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (- y z) t)
11.2b	(/ (* (- y z) t) (- a z))

rewrite370.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 51

Calls

2 calls:

59.0ms	(* (- y z) t)
266.0ms	(/ (* (- y z) t) (- a z))

series506.0ms

Counts

2 → 6

Calls

2 calls:

60.0ms	(* (- y z) t)
445.0ms	(/ (* (- y z) t) (- a z))

simplify8.7s

Counts

57 → 57

Iterations

Iter	Nodes
done	5036
3	4516
2	909
1	264
0	101

prune903.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- a z) t)
11.2b	(/ (- y z) (/ (- a z) t))

rewrite124.0ms

Algorithm

rewrite-expression-head

Rules

200×	`times-frac`
170×	`add-sqr-sqrt` `*-un-lft-identity`
86×	`add-cube-cbrt`
42×	`distribute-lft-out--` `difference-of-squares`
22×	`associate-/r*`
10×	`associate-/l*`
9×	`add-exp-log` `add-cbrt-cube`
8×	`div-inv`
4×	`cbrt-undiv` `div-exp` `associate-/l/`
2×	`pow1` `flip3--` `frac-2neg` `div-sub` `clear-num` `flip--` `add-log-exp`
1×	`associate-/r/`

Counts

2 → 175

Calls

2 calls:

33.0ms	(/ (- a z) t)
68.0ms	(/ (- y z) (/ (- a z) t))

series426.0ms

Counts

2 → 6

Calls

2 calls:

53.0ms	(/ (- a z) t)
373.0ms	(/ (- y z) (/ (- a z) t))

simplify6.0s

Counts

181 → 181

Iterations

Iter	Nodes
done	5000
2	2187
1	778
0	247

prune2.4s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize33.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- y z) (- a z))
2.6b	(* (/ (- y z) (- a z)) t)

rewrite441.0ms

Algorithm

rewrite-expression-head

Rules

75×	`add-sqr-sqrt`
70×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-l`
26×	`add-cube-cbrt`
22×	`distribute-lft-out--` `difference-of-squares`
9×	`add-exp-log` `add-cbrt-cube`
5×	`associate-/r` `associate-/l`
4×	`pow1` `associate-/r/`
3×	`flip3--` `associate-r` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `add-log-exp` `unswap-sqr`
1×	`frac-2neg` `div-sub` `pow-prod-down` `associate-l/` `clear-num` `-commutative`

Counts

2 → 102

Calls

2 calls:

83.0ms	(/ (- y z) (- a z))
323.0ms	(* (/ (- y z) (- a z)) t)

series1.2s

Counts

2 → 6

Calls

2 calls:

450.0ms	(/ (- y z) (- a z))
714.0ms	(* (/ (- y z) (- a z)) t)

simplify11.7s

Counts

108 → 108

Iterations

Iter	Nodes
done	5001
3	3963
2	1086
1	372
0	143

prune3.5s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize317.0ms

Local error

Found 4 expressions with local error:

3.6b	(* (/ 1 (* (cbrt (/ (- a z) t)) (cbrt (/ (- a z) t)))) (/ (- y z) (cbrt (/ (- a z) t))))
15.8b	(cbrt (/ (- a z) t))
15.8b	(cbrt (/ (- a z) t))
15.8b	(cbrt (/ (- a z) t))

rewrite1.1s

Algorithm

rewrite-expression-head

Rules

253×	`times-frac`
230×	`add-sqr-sqrt`
202×	`*-un-lft-identity`
158×	`cbrt-prod`
115×	`associate-r`
106×	`add-cube-cbrt`
49×	`add-exp-log`
46×	`distribute-lft-out--` `difference-of-squares`
20×	`prod-exp`
18×	`add-cbrt-cube`
15×	`div-exp`
12×	`unswap-sqr`
10×	`associate-l` `div-inv`
8×	`cbrt-div` `cbrt-unprod`
7×	`cbrt-undiv`
6×	`pow1`
4×	`rec-exp` `1-exp` `associate-/r/` `add-log-exp`
3×	`pow1/3`
2×	`frac-times` `associate-r/` `associate-l/`
1×	`pow-prod-down` `*-commutative`

Counts

4 → 253

Calls

4 calls:

794.0ms	(* (/ 1 (* (cbrt (/ (- a z) t)) (cbrt (/ (- a z) t)))) (/ (- y z) (cbrt (/ (- a z) t))))
11.0ms	(cbrt (/ (- a z) t))
11.0ms	(cbrt (/ (- a z) t))
47.0ms	(cbrt (/ (- a z) t))

series2.2s

Counts

4 → 12

Calls

4 calls:

804.0ms	(* (/ 1 (* (cbrt (/ (- a z) t)) (cbrt (/ (- a z) t)))) (/ (- y z) (cbrt (/ (- a z) t))))
401.0ms	(cbrt (/ (- a z) t))
544.0ms	(cbrt (/ (- a z) t))
469.0ms	(cbrt (/ (- a z) t))

simplify8.4s

Counts

265 → 265

Iterations

Iter	Nodes
done	5001
2	3758
1	1102
0	373

prune4.4s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes1.1s

Accuracy

58.6% (1.2b remaining)

Error of 1.3b against oracle of 0.0b and baseline of 3.0b

bsearch124.0ms

Steps

Iters	Range		Point
7	2.37657478907262e-124	1.9075973829238013e-122	5.069206892757613e-123
6	-2.1978428081120028e+18	-4.916262034846559e+17	-5.06492498426377e+17

simplify8.0ms

Iterations

Iter	Nodes
done	27
1	27
0	22

end0.0ms

sample2.5s

Algorithm

intervals

Results

1.5s

8750×

body

valid