Details

sample43.0ms

Algorithm

intervals

Results

26.0ms

350×

body

valid

simplify4.1s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
11	2823
10	1465
9	888
8	547
7	333
6	217
5	165
4	107
3	60
2	27
1	14
0	8

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ x (* (- y x) (/ z t)))
6.5b	(* (- y x) (/ z t))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
13×	`-un-lft-identity` `associate-r*`
11×	`add-cube-cbrt`
10×	`times-frac`
7×	`add-cbrt-cube` `add-exp-log`
5×	`associate-l`
4×	`pow1` `add-log-exp`
3×	`fma-def`
2×	`expm1-log1p-u` `frac-times` `flip3--` `associate-*l/` `prod-exp` `cbrt-unprod` `insert-posit16` `log1p-expm1-u` `flip--` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `sum-log` `flip3-+` `div-exp` `pow-prod-down` `associate-r/` `-commutative` `flip-+` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 58

Calls

2 calls:

6.0ms	(+ x (* (- y x) (/ z t)))
26.0ms	(* (- y x) (/ z t))

series126.0ms

Counts

2 → 6

Calls

2 calls:

50.0ms	(+ x (* (- y x) (/ z t)))
76.0ms	(* (- y x) (/ z t))

simplify3.0s

Counts

64 → 64

Iterations

Iter	Nodes
done	5000
3	4939
2	1078
1	320
0	121

prune329.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

1.4b	(* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
11.2b	(cbrt (/ z t))
11.2b	(cbrt (/ z t))
11.2b	(cbrt (/ z t))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

39×	`cbrt-prod`
29×	`add-sqr-sqrt`
28×	`*-un-lft-identity`
27×	`times-frac`
26×	`add-cube-cbrt`
15×	`cbrt-div`
9×	`frac-times` `pow1` `add-exp-log`
7×	`add-cbrt-cube`
6×	`associate-*r/`
5×	`associate-l` `associate-*l/`
4×	`expm1-log1p-u` `flip3--` `insert-posit16` `log1p-expm1-u` `flip--` `add-log-exp`
3×	`pow1/3` `pow-prod-down` `prod-exp` `cbrt-unprod` `div-inv`
1×	`associate-r` `*-commutative` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 110

Calls

4 calls:

35.0ms	(* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
3.0ms	(cbrt (/ z t))
3.0ms	(cbrt (/ z t))
3.0ms	(cbrt (/ z t))

series491.0ms

Counts

4 → 12

Calls

4 calls:

165.0ms	(* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
99.0ms	(cbrt (/ z t))
125.0ms	(cbrt (/ z t))
102.0ms	(cbrt (/ z t))

simplify2.1s

Counts

122 → 122

Iterations

Iter	Nodes
done	5001
3	3042
2	870
1	352
0	168

prune790.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize49.0ms

Local error

Found 4 expressions with local error:

1.4b	(* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
4.4b	(cbrt (/ (cbrt z) t))
11.2b	(cbrt (/ z t))
11.2b	(cbrt (/ z t))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

57×	`cbrt-prod`
36×	`times-frac`
35×	`add-sqr-sqrt`
34×	`*-un-lft-identity`
32×	`add-cube-cbrt`
15×	`cbrt-div`
9×	`frac-times` `pow1` `add-exp-log`
7×	`add-cbrt-cube`
6×	`associate-*r/`
5×	`associate-l` `associate-*l/`
4×	`expm1-log1p-u` `flip3--` `insert-posit16` `log1p-expm1-u` `flip--` `add-log-exp`
3×	`pow1/3` `pow-prod-down` `prod-exp` `cbrt-unprod` `div-inv`
1×	`associate-r` `*-commutative` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 119

Calls

4 calls:

30.0ms	(* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
2.0ms	(cbrt (/ (cbrt z) t))
1.0ms	(cbrt (/ z t))
2.0ms	(cbrt (/ z t))

series721.0ms

Counts

4 → 12

Calls

4 calls:

192.0ms	(* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
310.0ms	(cbrt (/ (cbrt z) t))
129.0ms	(cbrt (/ z t))
89.0ms	(cbrt (/ z t))

simplify2.8s

Counts

131 → 131

Iterations

Iter	Nodes
done	5001
3	4083
2	1182
1	475
0	244

prune989.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize71.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt (* (cbrt z) (cbrt z)))
1.4b	(/ (* (- y x) (* (cbrt z) (cbrt (/ z t)))) (cbrt t))
4.4b	(cbrt (/ (cbrt z) t))
11.2b	(cbrt (/ z t))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

51×	`cbrt-prod`
33×	`times-frac`
28×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
13×	`add-exp-log`
8×	`add-cbrt-cube`
6×	`associate-/r*`
5×	`cbrt-div` `associate-/l/`
4×	`expm1-log1p-u` `pow1` `associate-*r/` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-undiv` `pow1/3` `div-exp` `prod-exp` `cbrt-unprod` `div-inv`
2×	`frac-times` `flip3--` `associate-*l/` `flip--`
1×	`clear-num` `frac-2neg` `associate-/l*`

Counts

4 → 108

Calls

4 calls:

4.0ms	(cbrt (* (cbrt z) (cbrt z)))
35.0ms	(/ (* (- y x) (* (cbrt z) (cbrt (/ z t)))) (cbrt t))
3.0ms	(cbrt (/ (cbrt z) t))
3.0ms	(cbrt (/ z t))

series1.1s

Counts

4 → 12

Calls

4 calls:

502.0ms	(cbrt (* (cbrt z) (cbrt z)))
194.0ms	(/ (* (- y x) (* (cbrt z) (cbrt (/ z t)))) (cbrt t))
313.0ms	(cbrt (/ (cbrt z) t))
91.0ms	(cbrt (/ z t))

simplify2.3s

Counts

120 → 120

Iterations

Iter	Nodes
done	5000
2	1637
1	565
0	276

prune1.1s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes546.0ms

Accuracy

-16.3% (2.4b remaining)

Error of 2.5b against oracle of 0.0b and baseline of 2.1b

bsearch146.0ms

Steps

Iters	Range		Point
9	5.467555899258327e+157	2.1975146171168564e+163	5.542680570447865e+157
5	-5.735563631792686e+53	-2.2815744690675424e+53	-2.3206655123942797e+53

simplify8.0ms

Iterations

Iter	Nodes
done	23
1	23
0	19

end0.0ms

sample1.4s

Algorithm

intervals

Results

996.0ms

10642×

body

valid