Details

sample51.0ms

Algorithm

intervals

Results

35.0ms

313×

body

valid

simplify349.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

349.0ms

(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize16.0ms

Local error

Found 1 expressions with local error:

0.0b	(* (+ d2 (+ 37 d3)) d1)

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

8×	`*-un-lft-identity`
5×	`add-sqr-sqrt` `associate-l`
3×	`pow1` `add-cbrt-cube` `associate-r` `add-exp-log` `add-cube-cbrt` `distribute-lft-out`
2×	`associate-*l/`
1×	`flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `insert-posit16` `add-log-exp` `unswap-sqr`

Counts

1 → 23

Calls

1 calls:

Slowest

36.0ms

(* (+ d2 (+ 37 d3)) d1)

series47.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

47.0ms

(* (+ d2 (+ 37 d3)) d1)

simplify990.0ms

Counts

14 → 26

Calls

14 calls:

Slowest

254.0ms	(* (* (* (+ d2 (+ 37 d3)) (+ d2 (+ 37 d3))) (+ d2 (+ 37 d3))) (* (* d1 d1) d1))
183.0ms	(* (- (* d2 d2) (* (+ 37 d3) (+ 37 d3))) d1)
182.0ms	(* (+ (pow d2 3) (pow (+ 37 d3) 3)) d1)
64.0ms	(+ (* d2 d1) (+ (* d3 d1) (* 37 d1)))
63.0ms	(+ (* d2 d1) (+ (* d3 d1) (* 37 d1)))

prune167.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
0.0b	(* (+ d3 5) d1)
0.0b	(+ (* d1 d2) (* (+ d3 5) d1))

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp`
7×	`add-sqr-sqrt` `*-un-lft-identity`
5×	`pow1` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
4×	`sum-log` `associate-l`
3×	`flip3-+` `associate-r` `flip-+` `insert-posit16`
2×	`+-commutative` `associate-*l/`
1×	`associate-+l+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`

Counts

3 → 48

Calls

3 calls:

Slowest

38.0ms	(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
13.0ms	(* (+ d3 5) d1)
11.0ms	(+ (* d1 d2) (* (+ d3 5) d1))

series152.0ms

Counts

3 → 9

Calls

3 calls:

Slowest

63.0ms	(+ (+ (* d1 d2) (* (+ d3 5) d1)) (* d1 32))
54.0ms	(+ (* d1 d2) (* (+ d3 5) d1))
35.0ms	(* (+ d3 5) d1)

simplify2.0s

Counts

24 → 57

Calls

24 calls:

Slowest

508.0ms	(* (* (* (+ d3 5) (+ d3 5)) (+ d3 5)) (* (* d1 d1) d1))
283.0ms	(* (exp (* d1 d2)) (exp (* (+ d3 5) d1)))
234.0ms	(* (* (exp (* d1 d2)) (exp (* (+ d3 5) d1))) (exp (* d1 32)))
226.0ms	(* (+ (pow d3 3) (pow 5 3)) d1)
203.0ms	(* (- (* d3 d3) (* 5 5)) d1)

prune482.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes170.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample1.1s

Algorithm

intervals

Results

842.0ms	10064×	body	80	valid
34.0ms	13×	body	160	valid
7.0ms	22×	body	640	valid
4.0ms	20×	body	320	valid
3.0ms	10×	body	1280	valid