Details

Time bar (total: 31.4s)

sample337.0ms

Algorithm
intervals
Results
191.0ms158×body1280valid
81.0ms127×body640valid
20.0ms145×body80valid
18.0ms42×body320valid
10.0ms34×body160valid

simplify245.0ms

Calls
1 calls:
Slowest
245.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 42.2b

localize20.0ms

Local error

Found 2 expressions with local error:

6.4b
(- (exp (- im)) (exp im))
0.0b
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt *-un-lft-identity
5×associate-*r*
4×pow1 add-cbrt-cube add-exp-log add-log-exp
3×sub-neg add-cube-cbrt
2×distribute-rgt-in distribute-lft-in flip3-- associate-*r/ insert-posit16 flip-- distribute-lft-out-- difference-of-squares
1×diff-log associate-*l* pow-prod-down prod-exp *-commutative cbrt-unprod
Calls
2 calls:
Slowest
33.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
14.0ms
(- (exp (- im)) (exp im))

series194.0ms

Calls
2 calls:
Slowest
132.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
62.0ms
(- (exp (- im)) (exp im))

simplify1.7s

Calls
24 calls:
Slowest
240.0ms
(* 0.5 (* (sin re) (- (exp (* -1 im)) (exp im))))
228.0ms
(* (* 0.5 (sin re)) (- (exp (- im)) (exp im)))
188.0ms
(- (+ (* 1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
157.0ms
(* 0.5 (* (sin re) (- (exp (- im)) (exp im))))
143.0ms
(* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (- (exp (- im)) (exp im)) (- (exp (- im)) (exp im))) (- (exp (- im)) (exp im))))

prune453.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize24.0ms

Local error

Found 4 expressions with local error:

0.4b
(* im -1/3)
0.1b
(* (* 0.5 (sin re)) (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
0.1b
(* im (* im -1/3))
0.0b
(* (pow im 5) -1/60)

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×associate-*r* associate-*l* *-commutative insert-posit16 add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
1×flip3-- pow-prod-down prod-exp cbrt-unprod flip--
Calls
4 calls:
Slowest
30.0ms
(* (* 0.5 (sin re)) (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
2.0ms
(* (pow im 5) -1/60)
1.0ms
(* im (* im -1/3))
0.0ms
(* im -1/3)

series322.0ms

Calls
4 calls:
Slowest
203.0ms
(* (* 0.5 (sin re)) (- (* (pow im 5) -1/60) (* im (- 2 (* im (* im -1/3))))))
70.0ms
(* (pow im 5) -1/60)
32.0ms
(* im (* im -1/3))
16.0ms
(* im -1/3)

simplify3.6s

Calls
26 calls:
Slowest
368.0ms
(* (* 0.5 (sin re)) (- (* im (- 2 (* im (* im -1/3))))))
339.0ms
(* (* 0.5 (sin re)) (- (* im (- 2 (* im (* im -1/3))))))
331.0ms
(- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5))))))
314.0ms
(* (- (* im (- 2 (* im (* im -1/3))))) (* 0.5 (sin re)))
279.0ms
(- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5))))))

prune911.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.4b
(* -1/3 im)
0.1b
(* (* 0.5 (sin re)) (* im (+ -2 (* (* -1/3 im) im))))
0.1b
(* (* -1/3 im) im)
0.0b
(* (pow im 5) -1/60)

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-cbrt-cube add-exp-log
5×add-sqr-sqrt *-un-lft-identity associate-*l* add-cube-cbrt
4×distribute-rgt-in distribute-lft-in associate-*r/ *-commutative insert-posit16 add-log-exp
1×flip3-+ associate-*r* pow-prod-down prod-exp cbrt-unprod flip-+
Calls
4 calls:
Slowest
13.0ms
(* (* 0.5 (sin re)) (* im (+ -2 (* (* -1/3 im) im))))
6.0ms
(* (pow im 5) -1/60)
2.0ms
(* (* -1/3 im) im)
0.0ms
(* -1/3 im)

series370.0ms

Calls
4 calls:
Slowest
217.0ms
(* (* 0.5 (sin re)) (* im (+ -2 (* (* -1/3 im) im))))
90.0ms
(* (pow im 5) -1/60)
48.0ms
(* (* -1/3 im) im)
15.0ms
(* -1/3 im)

simplify3.4s

Calls
24 calls:
Slowest
514.0ms
(* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (* im (+ -2 (* (* -1/3 im) im))) (* im (+ -2 (* (* -1/3 im) im)))) (* im (+ -2 (* (* -1/3 im) im)))))
413.0ms
(* (* (* (* -1/3 im) im) im) (* 0.5 (sin re)))
374.0ms
(- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 1.0 (* (sin re) im))))
371.0ms
(- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (* 1.0 (* (sin re) im))))
365.0ms
(* (* 0.5 (sin re)) (* (* (* -1/3 im) im) im))

prune858.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

3.2b
(log (exp (* im (* im -1/3))))
0.4b
(* im -1/3)
0.1b
(* (* 0.5 (sin re)) (- (* (pow im 5) -1/60) (* im (- 2 (log (exp (* im (* im -1/3))))))))
0.1b
(* im (* im -1/3))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1
6×add-sqr-sqrt *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×associate-*r* insert-posit16 add-log-exp
3×log-prod *-commutative
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ log-pow
1×exp-prod flip3-- rem-log-exp associate-*l* pow-prod-down prod-exp cbrt-unprod flip--
Calls
4 calls:
Slowest
28.0ms
(* (* 0.5 (sin re)) (- (* (pow im 5) -1/60) (* im (- 2 (log (exp (* im (* im -1/3))))))))
4.0ms
(log (exp (* im (* im -1/3))))
2.0ms
(* im (* im -1/3))
0.0ms
(* im -1/3)

series375.0ms

Calls
4 calls:
Slowest
289.0ms
(* (* 0.5 (sin re)) (- (* (pow im 5) -1/60) (* im (- 2 (log (exp (* im (* im -1/3))))))))
41.0ms
(log (exp (* im (* im -1/3))))
27.0ms
(* im (* im -1/3))
19.0ms
(* im -1/3)

simplify4.0s

Calls
28 calls:
Slowest
410.0ms
(* (* 0.5 (sin re)) (- (* im (- 2 (log (exp (* im (* im -1/3))))))))
401.0ms
(* (* 0.5 (sin re)) (- (* im (- 2 (log (exp (* im (* im -1/3))))))))
336.0ms
(- (+ (* 0.16666666666666666 (* (sin re) (pow im 3))) (+ (* 1.0 (* (sin re) im)) (* 0.008333333333333333 (* (sin re) (pow im 5))))))
330.0ms
(* (- (* im (- 2 (log (exp (* im (* im -1/3))))))) (* 0.5 (sin re)))
316.0ms
(* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (- (* (pow im 5) -1/60) (* im (- 2 (log (exp (* im (* im -1/3))))))) (- (* (pow im 5) -1/60) (* im (- 2 (log (exp (* im (* im -1/3)))))))) (- (* (pow im 5) -1/60) (* im (- 2 (log (exp (* im (* im -1/3)))))))))

prune970.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

regimes453.0ms

Accuracy

0% (0.7b remaining)

Error of 0.8b against oracle of 0.1b and baseline of 0.8b

bsearch3.0ms

end0.0ms

sample12.9s

Algorithm
intervals
Results
6.2s4779×body1280valid
4.1s3807×body640valid
932.0ms1903×body320valid
914.0ms4547×body80valid
376.0ms936×body160valid