Details

sample308.0ms

Algorithm

intervals

Results

177.0ms	151×	body	1280	valid
66.0ms	109×	body	640	valid
24.0ms	60×	body	320	valid
18.0ms	126×	body	80	valid
9.0ms	30×	body	160	valid

simplify232.0ms

Calls

1 calls:

Slowest

231.0ms

(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 44.0b

localize34.0ms

Local error

Found 3 expressions with local error:

6.3b	(- (/ (sin re) (exp im)) (* (exp im) (sin re)))
0.0b	(/ (sin re) (exp im))
0.0b	(* (exp im) (sin re))

rewrite96.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`*-un-lft-identity` `add-cube-cbrt`
9×	`times-frac`
7×	`add-cbrt-cube`
5×	`pow1` `add-exp-log` `add-log-exp`
3×	`associate-/r` `associate-r` `associate-l` `insert-posit16` `associate-/l`
1×	`cbrt-undiv` `clear-num` `sub-neg` `frac-2neg` `flip3--` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `div-inv` `flip--` `unswap-sqr`

Calls

3 calls:

Slowest

47.0ms	(- (/ (sin re) (exp im)) (* (exp im) (sin re)))
24.0ms	(* (exp im) (sin re))
23.0ms	(/ (sin re) (exp im))

series206.0ms

Calls

3 calls:

Slowest

111.0ms	(- (/ (sin re) (exp im)) (* (exp im) (sin re)))
53.0ms	(* (exp im) (sin re))
42.0ms	(/ (sin re) (exp im))

simplify1.7s

Calls

45 calls:

Slowest

359.0ms	(/ (* (* (sin re) (sin re)) (sin re)) (* (* (exp im) (exp im)) (exp im)))
352.0ms	(* (* (* (exp im) (exp im)) (exp im)) (* (* (sin re) (sin re)) (sin re)))
267.0ms	(- re (+ (* re im) (* 1/6 (pow re 3))))
188.0ms	(/ (exp (/ (sin re) (exp im))) (exp (* (exp im) (sin re))))
174.0ms	(+ (* re im) (+ re (* 1/2 (* re (pow im 2)))))

prune713.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 30.0b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(* -2 (* re im))
0.0b	(* (* -2 (* re im)) 0.5)

rewrite80.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-cbrt-cube` `add-exp-log`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-sqr-sqrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cube-cbrt`
2×	`*-commutative` `insert-posit16` `add-log-exp`

Calls

2 calls:

Slowest

64.0ms	(* (* -2 (* re im)) 0.5)
15.0ms	(* -2 (* re im))

series57.0ms

Calls

2 calls:

Slowest

35.0ms	(* (* -2 (* re im)) 0.5)
22.0ms	(* -2 (* re im))

simplify2.3s

Calls

25 calls:

Slowest

628.0ms	(* (* (* -2 -2) -2) (* (* (* re im) (* re im)) (* re im)))
427.0ms	(* (* (* -2 -2) -2) (* (* (* re re) re) (* (* im im) im)))
228.0ms	(* (* (* (* -2 -2) -2) (* (* (* re im) (* re im)) (* re im))) (* (* 0.5 0.5) 0.5))
178.0ms	(* (* (* (* -2 (* re im)) (* -2 (* re im))) (* -2 (* re im))) (* (* 0.5 0.5) 0.5))
174.0ms	(* (* (* (* -2 -2) -2) (* (* (* re re) re) (* (* im im) im))) (* (* 0.5 0.5) 0.5))

prune448.0ms

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 30.0b

localize22.0ms

Local error

Found 4 expressions with local error:

13.7b	(cbrt (* -2 (* re im)))
13.7b	(cbrt (* -2 (* re im)))
13.7b	(cbrt (* -2 (* re im)))
0.5b	(* (cbrt (* -2 (* re im))) (cbrt (* -2 (* re im))))

rewrite85.0ms

Algorithm

rewrite-expression-head

Rules

11×	`pow1`
10×	`add-sqr-sqrt`
9×	`pow1/3`
8×	`*-un-lft-identity` `add-cube-cbrt`
7×	`cbrt-prod`
6×	`add-exp-log`
4×	`add-cbrt-cube` `swap-sqr` `associate-r` `associate-l` `insert-posit16` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Calls

4 calls:

Slowest

49.0ms	(* (cbrt (* -2 (* re im))) (cbrt (* -2 (* re im))))
17.0ms	(cbrt (* -2 (* re im)))
10.0ms	(cbrt (* -2 (* re im)))
8.0ms	(cbrt (* -2 (* re im)))

series631.0ms

Calls

4 calls:

Slowest

172.0ms	(* (cbrt (* -2 (* re im))) (cbrt (* -2 (* re im))))
159.0ms	(cbrt (* -2 (* re im)))
150.0ms	(cbrt (* -2 (* re im)))
149.0ms	(cbrt (* -2 (* re im)))

simplify5.0s

Calls

45 calls:

Slowest

423.0ms	(* (exp (* -1/3 (+ (log (/ -1 re)) (log (/ -1 im))))) (cbrt -2))
398.0ms	(* (cbrt -2) (exp (* 1/3 (+ (log im) (log re)))))
374.0ms	(* (cbrt -2) (exp (* 1/3 (+ (log im) (log re)))))
344.0ms	(* (cbrt -2) (exp (* 1/3 (+ (log im) (log re)))))
338.0ms	(* (* -2 (* re im)) (* -2 (* re im)))

prune855.0ms

Pruning

23 alts after pruning (22 fresh and 1 done)

Merged error: 30.0b

localize23.0ms

Local error

Found 4 expressions with local error:

13.8b	(cbrt (* (* -2 (* re im)) 0.5))
13.8b	(cbrt (* (* -2 (* re im)) 0.5))
13.8b	(cbrt (* (* -2 (* re im)) 0.5))
0.5b	(* (cbrt (* (* -2 (* re im)) 0.5)) (cbrt (* (* -2 (* re im)) 0.5)))

rewrite238.0ms

Algorithm

rewrite-expression-head

Rules

11×	`pow1`
10×	`add-sqr-sqrt`
9×	`pow1/3`
8×	`*-un-lft-identity` `add-cube-cbrt`
7×	`cbrt-prod`
6×	`add-exp-log`
4×	`add-cbrt-cube` `swap-sqr` `associate-r` `associate-l` `insert-posit16` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Calls

4 calls:

Slowest

97.0ms	(* (cbrt (* (* -2 (* re im)) 0.5)) (cbrt (* (* -2 (* re im)) 0.5)))
58.0ms	(cbrt (* (* -2 (* re im)) 0.5))
52.0ms	(cbrt (* (* -2 (* re im)) 0.5))
30.0ms	(cbrt (* (* -2 (* re im)) 0.5))

series622.0ms

Calls

4 calls:

Slowest

171.0ms	(* (cbrt (* (* -2 (* re im)) 0.5)) (cbrt (* (* -2 (* re im)) 0.5)))
157.0ms	(cbrt (* (* -2 (* re im)) 0.5))
152.0ms	(cbrt (* (* -2 (* re im)) 0.5))
142.0ms	(cbrt (* (* -2 (* re im)) 0.5))

simplify7.0s

Calls

45 calls:

Slowest

766.0ms	(* (cbrt -1.0) (exp (* 1/3 (+ (log im) (log re)))))
655.0ms	(* (* (* -2 (* re im)) 0.5) (* (* -2 (* re im)) 0.5))
653.0ms	(* (* (* -2 (* re im)) 0.5) (* (* -2 (* re im)) 0.5))
394.0ms	(* (cbrt -1.0) (exp (* 1/3 (+ (log im) (log re)))))
354.0ms	(* (exp (* -1/3 (+ (log (/ -1 re)) (log (/ -1 im))))) (cbrt -1.0))

prune659.0ms

Pruning

23 alts after pruning (22 fresh and 1 done)

Merged error: 30.0b

regimes609.0ms

Accuracy

23.2% (2.2b remaining)

Error of 31.1b against oracle of 28.9b and baseline of 31.8b

bsearch120.0ms

end0.0ms

sample12.2s

Algorithm

intervals

Results

6.2s	4741×	body	1280	valid
3.4s	3790×	body	640	valid
1.1s	1953×	body	320	valid
747.0ms	4502×	body	80	valid
356.0ms	988×	body	160	valid